基于ASM的活动图一致性规则研究
从概念的角度分析了活动图并发结构的不足,系统地研究了时序模糊状态下的语义描述,以工作流的循环模式鉴别器作为实例,提出了活动图与形式化规范相结合的解决方法.最后结合抽象状态自动机ASM作为语Y,-~b充构造了鉴别器的活动图模型,从分支、合并、事件捕获等方面定义了详尽的规则,提高了模型的正确性、可验证性和一致性.
统一建模语言、活动图、鉴别器、抽象状态自动机、工作流
30
TP311(计算技术、计算机技术)
上海市科技发展基金项目06dz15004-1
2009-11-30(万方平台首次上网日期,不代表论文的发表时间)
共5页
4536-4539,4543