●数据一致性验证引擎
数据正确性验证自动机，它验证用户的每一个输入是否合法，正确。它的输入是数据一致性规则集。
●数据访问控制引擎
用来屏蔽对数据库的直接访问，实现应用系统同数据库系统的相对独立。
●消息交换引擎
用来协调代理之间的互动工作。
上述引擎的实现，无疑已经基本实现了业务逻辑与计算机技术的隔离。而业务逻辑的描述和软件的表示层是容易工程化的。这样就实现了软件开始过程的相对透明化。上述叙述讨论的是，如何在已经得到正确需求的情况下，如何开发出高质量软件。但是对于如何得到正确需求没有涉及。
众所周知，需求获取过程是难以工程化的。但是如果能对已获得的需求进行形式化，并且在上面建立演绎系统，则对于需求分析是有助的。因此本项研究还涉及需求的形式表达方法和表达平台，并且具备一定的推导能力。这个平台可发现可能的错误和不完善。但是这个系统不试图对需求进行一致性和正确性判定，因为这是不可解问题。
5.4 开发过程控制工具
事实上，目前已经存在着许多软件开发过程控制工具（SDPC），例如各种case工具，微软公司的project，北大青鸟等。但是当软件开发技术和结构发生变化时，软件开发过程控制工具也应当是不同的，因此本项研究也包括SDPC。明显，SDPC的开发不存在理论和技术上的困难，或者说是"可工程化的"，因此不存在"关键技术"。
六 基础理论
第一，已被分离和分解的业务逻辑说明性表达方法，基础理论为说明性程序设计。
第二，操作控制和对象状态引擎的实现，基础理论是情景演算和动作逻辑。
第三，分层结构的软件开发方法，基础理论是元程序设计。
七 结束语
如果没有理论上的突破，则无论用任何方未来解决软件工程问题都是困难的，CMM也是如此。
文章来源于领测软件测试网 https://www.ltesting.net/
