摘要
构件理论在软件工程领域正扮演着越来越重要的角色。为了规范化地描述和设计构件 ,提出了一种形式化的构件模型框架 ,利用偏序事件多集来表示构件的行为模式 ,取代了常用的形式语言表示法 ,使顺序进程控制的构件和并发控制的构件能够在该框架下得到一致的处理。论文关于构件模型、任务合同及系统模型的概念 ,结合构件完备性、服务可满足性和系统一致性的检验方法 ,可以直接被用于设计构件支撑环境的仿真算法。
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.
出处
《清华大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2000年第3期64-67,共4页
Journal of Tsinghua University(Science and Technology)
基金
国家"八六三"高技术项目 !863 - 5 11- 93 0 -0 0 3
863 - 5 11- 84 4- 0 10
关键词
软件工程
形式化
构件模型框架
任务合同
software engineering
component
partial order
task contract
services satisfiability