摘要: 采用模态迁移系统描述系统行为,针对局部行为模型中存在的不确定行为,提出一种基于事件的局部行为模型合并方法。该方法首先定义局部行为模型之间的精化关系,利用精化关系产生合并规则,运用合并规则产生行为模型的极小共同精化模型或最小共同精化模型,从而消除局部行为模型中存在的不确定行为。最后通过一个示例对该方法的有效性作出说明。
郭正虎 陈中育 张纪昌. 基于事件的局部行为模型的合并[J]. 计算机应用, 2010, 30(1): 266-269.
Zhong-yu CHEN. Event-based merging of partial behavior models[J]. Journal of Computer Applications, 2010, 30(1): 266-269.