计算机科学 ›› 2014, Vol. 41 ›› Issue (7): 77-80.doi: 10.11896/j.issn.1002-137X.2014.07.015
杨艳,方贤文,刘祥伟
YANG Yan,FANG Xian-wen and LIU Xiang-wei
摘要： 对Petri网模型交互后的变化区域的责任分析,是模型交互一致性和兼容性研究的一个重要问题。已有的关于变化区域的研究只涉及到寻找变化区域的方法,对于引起变化区域的责任分析并没有做更多研究。给出了责任的定义,结合行为片段模式的概念,从动态的角度,提出一种基于行为片段模式来分析判断变化区域的责任方的方法,并通过实例分析验证了该方法的有效性。
| [1] Ezzedine H,Kolski C．Petri Net,Theory and Applications [M]．Croatia:Vedran Kordic,2008:131-148 [2] Bennoui H,Chaoui A,Barkaoui K．On Structural Analysis of Interacting Behavioral Petri Nets for Distributed Casual Model-Based Diagnosis[J]．International Journal of Foundations of Computer Science,2012,23(7):1523-1541 [3] Decker G,Weske M．Behavioral consistency for B2B process integration[C]∥CAiSE’07Proceedings of the 19th International Conference on Advanced Information Systems Engineering,2007．Berlin Heidelberg:Springer-Verlag,2007:81-95 [4] Weidlich M,Weske M,Mendling J．Change propagation inprocess models using behavioural profiles [C]∥IEEE Int.Conf.on Services Computing．Bangalore,2009:33-40 [5] Fang Xian-wen,Hao Wen-jun,Yin Zhi-xiang,et al．The Analysis Method about Change Domain of Business Process Model Based on the Behavior Profile of Petri Net[J]．Applied Mathematics & Information Sciences,2012,6(S3):943-949 [6] 朱俊.基于Petri网的Web服务组合的交互模型及其应用机理的研究[D]．长沙:国防科学技术大学,2011 (下转第85页)(上接第80页) [7] 朱俊,郭长国,吴泉源.基于Petri网的Web服务交互行为一致性检测方法[J]．计算机工程与科学,2013,35:28-33 [8] Murata T．Petri nets:Properties,analysis and applications[J]．Proceedings of the IEEE,1989,77(4):541-580 [9] Smirnov S,Weidlich M,Mendling J．Business Process ModelAbstraction Based on Synthesis From Well-Structured Beha-vioral Profiles[J]．Cooperative Information Systems,2012,21(1):55-83 [10] Weidlich M,Mendling J,Weske M,et al．Causal BehaviouralProfiles－Efficient Computation,Applications,and Evaluation[J]．Fundamenta Informaticae:Applications and Theory of Petri Nets and Other Models of Concurrency,2011,113(3/4):399-435 [11] Koskinen J,Kettunen M,Systa T．Behavioral profiles—a way to model and validate program behavior[J]．Software:Practice & Experience,2010,40(8):701-733 [12] Du Yu-yue,Jiang Chang-jun．A Formal Approach for Obligation Analysis of E-Commerce[J].Chinese Journal of Electronics,2008,17(2):200-204 [13] 钱柱中,陆桑璐,谢立.基于Petri网的Web服务自动组合研究[J]．计算机学报,2006,9(7):1057-1066 [14] 汤宪飞,蒋昌俊,丁志军.基于Petri网的语义Web服务自动组合方法[J]．软件学报,2007,8(12):2991-3000 [15] 吴哲辉．Petri网理论[M].北京:机械工业出版社,2006:6-42 |
| No related articles found! |
|
||
首页