构件式系统的建模与验证

• 作者: 曾红卫 缪淮扣
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 构件消息自动机 可控性 验证 构件组合
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 学术研究
• 页码范围: 198-205
• 页数: 8页
• 分类号: TP311
• 字数: 6547字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2008.02.008

摘要

构件的组合与安全性是构件式系统开发的一个挑战性问题.提出了一种新的描述构件交互行为的模型-构件消息自动机,其特点是保留了构件的所有交互特性以便进一步进行构件的验证.给出了使用同步积操作将多个构件组合成单个复杂的组合构件的方法.基于监控理论的可控性概念,设计了一个验证构件系统安全性质的算法.为了说明论文建议的方法,详细讨论了一个简单的、贯穿整个论文的示例系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	曾红卫	上海大学计算机工程与科学学院	31	341	11.0	17.0