基于ASM的活动图一致性规则研究.PDFVIP

( ) 计算机工程与设计 Computer Engineering and Design 4536 2009,30 19 计算机工程与设计 Computer Engineering and Design 开发与应用 基于ASM 的活动图一致性规则研究 1,2 1 3 周 翔 ， 邵志清 ， 薛炳蔚 (1. 华东理工大学信息科学与工程学院，上海200237 ；2. 青岛大学信息工程学院，山东青岛266071； 3. 青岛市广播电视局，山东青岛266071) 摘 要：从概念的角度分析了活动图并发结构的不足，系统地研究了时序模糊状态下的语义描述，以工作流的循环模式鉴 别器作为实例，提出了活动图与形式化规范相结合的解决方法。最后结合抽象状态自动机ASM 作为语义补充构造了鉴别器 的活动图模型，从分支、合并、事件捕获等