本文的研究背景是某飞机显控系统对嵌入式数据库的应用需求预研项目。为提高事务管理器事务调度的成功率及软件的构架性能,对事务管理器的混合事务调度、并发控制及软件构架模型进行研究。首先通过引入工作流参考模型、元模型等工作流技术来分析调度流程,构建事务管理器的功能模型,并采用BPEL语言对事务调度过程进行形式化描述。进而针对事务调度,引入混合事务调度的概念,给出混合事务调度模型,并对非周期性事务调度进行研究。通过TB*算法缩短非周期性事务截止期,促进非周期事务的响应时间,从而减少事务的截止期错失率。其次,在事务管理器领域设计阶段,以面向对象和面向构件方法论为指导,建立初始类模型、细化类模型等来描述对象的结构关系,并使用交互模型和状态模型来描述对象行为。引入算法模式和代理机制对软件构架模型进行优化,提高软件构架性能。在进一步细化的基础上,针对存在的不必要的事务重启,引入时间戳矢量的概念,提出改进的基于时间戳矢量的乐观并发控制算法,解决事务不必要重启的问题。最后,给出事务管理器的软件构架及其ACME描述,并给出基于时间戳矢量的乐观并发控制算法的程序实现。文中提到的事务管理器功能模型、混合事务调度模型等方法论被用于事务管理器的研究和实现中,规范了整个软件的研究开发过程,提高了模型分析与设计效率,所给出的改进的TB*算法和基于时间戳矢量的乐观并发控制算法,具有一定的理论意义和工程实用价值。