基于扩展UML图化简的过程模型冲突消解

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:bestdzik
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为保证业务过程模型的结构正确性,使业务过程可以正常终止,需要进行业务过程模型的结构验证。提出基于扩展UML活动图的建模方法,扩展基本UML活动图的元素,使之适合描述复杂的业务过程;提出了相应的冲突检测方法,可以处理含有循环、重叠结构的复杂过程模型,实现对典型结构冲突(如死锁、同步缺失、活锁)的检测。针对过程模型中的各个冲突提出相应冲突消解策略,便于对过程模型进行修改。
其他文献
目的 观察依达拉奉在急性脑梗治疗中的临床效果,分析并总结依达拉奉在急性脑梗治疗中的安全性和不良反应,探究依达拉奉在急性脑梗治疗中的临床推广价值。方法 选取急性脑梗患
传统的贪婪地理路由算法通常选择离目的节点最近的邻居节点作为下一跳节点,这种单纯寻求最小跳数的路由算法可能会选择质量较差的链路传输数据,导致包的投递率较低,数据传输
<正>患者男,84岁,因咳嗽、咳痰、发热入院,经临床症状、体征、实验室检查、X线胸片检查确诊为下呼吸道感染。行青霉素皮试(-)后予哌拉西林/他唑巴坦(国产)4.5g+5%葡萄糖250mL
古树名木是自然界留给当今人们的宝贵遗产,其辉煌的生命形态,是城市历史的见证,更是社会文明程度的标志,加强古树名木的保护,有利于弘扬城市历史文化,加强生态保护。文章基于
目的总结保留括约肌挂线引流术联合英夫利昔单抗(infliximab,IFX)治疗肛周瘘管型克罗恩病(Crohn disease,CD)的短期临床疗效。方法回顾性分析江苏省中医院肛肠科于2010年3月