一种形式化的构件模型框架

Formal component model framework

构件理论在软件工程领域正扮演着越来越重要的角色。为了规范化地描述和设计构件 ,提出了一种形式化的构件模型框架 ,利用偏序事件多集来表示构件的行为模式 ,取代了常用的形式语言表示法 ,使顺序进程控制的构件和并发控制的构件能够在该框架下得到一致的处理。论文关于构件模型、任务合同及系统模型的概念 ,结合构件完备性、服务可满足性和系统一致性的检验方法 ,可以直接被用于设计构件支撑环境的仿真算法。

Component theories are becoming more and more important in software engineering. A formal component model framework, which employs partial order event multisets rather than formal languages to describe the behavior patterns of components, was proposed to standardize components specifications and designs. Both sequentially controlled components and concurrently controlled components can be dealt with in a consistent way under this framework. The concepts of component model, task contract and system model, in combination with the verification approaches of component completeness, services satisfiability and system consistency, can be directly used to guide the design of simulation algorithms for in a components supporting environment.