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

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

基于特征迹的局部场景演化

局部场景是不同的相关用户根据自己所关注的业务功能并结合自己的知识给出的。而不同用户由于各自的知识背景,所了解的工作领域的局限,描述的需求往往存在各种局限。采用模态迁移系统描述系统行为,并引入系统所属领域的特征知识,对场景工具捕获的局部场景进行演化操作,使其演化为更符合用户需求的局部场景。最后通过一个示例对这一方法的有效性进行了说明。