计算机应用 ›› 2010, Vol. 30 ›› Issue (1): 266-269.

• 典型应用 • 上一篇    下一篇

基于事件的局部行为模型的合并

郭正虎1,陈中育2,张纪昌1   

  1. 1. 浙江师范大学
    2. 浙江师范大学软件研发中心
  • 收稿日期:2009-07-19 修回日期:2009-09-07 发布日期:2010-01-01 出版日期:2010-01-01
  • 通讯作者: 郭正虎

Event-based merging of partial behavior models

1,Zhong-yu CHEN   

  • Received:2009-07-19 Revised:2009-09-07 Online:2010-01-01 Published:2010-01-01

摘要: 采用模态迁移系统描述系统行为,针对局部行为模型中存在的不确定行为,提出一种基于事件的局部行为模型合并方法。该方法首先定义局部行为模型之间的精化关系,利用精化关系产生合并规则,运用合并规则产生行为模型的极小共同精化模型或最小共同精化模型,从而消除局部行为模型中存在的不确定行为。最后通过一个示例对该方法的有效性作出说明。

关键词: 模态迁移系统, 不确定行为, 精化, 合并规则

Abstract: System behaviors are described by modal transition systems. In allusion to unknown behaviors in partial behavior models, the authors formally defined model merging method based on event and refinement. Merging rules were defined based on refinement relation; with merging rules consistent models were merged for ruling out unknown behavior and resulted in a minimal common refinement or least common refinement. Finally, a case study illustrates the effectiveness of the method.

Key words: Modal Transition Systems (MTS), unknown behavior, refinement, merging rule