首页 | 本学科首页   官方微博 | 高级检索  
     

一种形式化的构件模型框架
引用本文:张晓东,柴跃廷,任守榘. 一种形式化的构件模型框架[J]. 清华大学学报(自然科学版), 2000, 40(3): 64-67
作者姓名:张晓东  柴跃廷  任守榘
作者单位:清华大学,自动化系,北京,100084
基金项目:国家“八六三”高技术项目 !863 - 5 11- 93 0 -0 0 3 ,863 - 5 11- 84 4- 0 10
摘    要:构件理论在软件工程领域正扮演着越来越重要的角色。为了规范化地描述和设计构件 ,提出了一种形式化的构件模型框架 ,利用偏序事件多集来表示构件的行为模式 ,取代了常用的形式语言表示法 ,使顺序进程控制的构件和并发控制的构件能够在该框架下得到一致的处理。论文关于构件模型、任务合同及系统模型的概念 ,结合构件完备性、服务可满足性和系统一致性的检验方法 ,可以直接被用于设计构件支撑环境的仿真算法。

关 键 词:软件工程  构件  偏序  任务合同  服务可满足性
修稿时间:1999-06-09

Formal component model framework
ZHANG Xiaodong,CHAI Yueting,REN Shouju. Formal component model framework[J]. Journal of Tsinghua University(Science and Technology), 2000, 40(3): 64-67
Authors:ZHANG Xiaodong  CHAI Yueting  REN Shouju
Abstract: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.
Keywords:software engineering  component  partial order  task contract  services satisfiability
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号