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

• 作者: 周翔 薛炳蔚 邵志清
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 统一建模语言 活动图 鉴别器 抽象状态自动机 工作流
• 年，卷（期）: 2009,（19）
• 所属期刊栏目: 开发与应用
• 页码范围: 4536-4539,4543
• 页数: 5页
• 分类号: TP311
• 字数: 5381字
• 语种: 中文

摘要

从概念的角度分析了活动图并发结构的不足,系统地研究了时序模糊状态下的语义描述,以工作流的循环模式鉴别器作为实例,提出了活动图与形式化规范相结合的解决方法.最后结合抽象状态自动机ASM作为语Y,-~b充构造了鉴别器的活动图模型,从分支、合并、事件捕获等方面定义了详尽的规则,提高了模型的正确性、可验证性和一致性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邵志清	华东理工大学信息科学与工程学院	90	761	14.0	24.0
2	周翔	华东理工大学信息科学与工程学院	4	8	2.0	2.0
6	薛炳蔚		1	2	1.0	1.0