基于行为片段模式的流程模型Petri网交互变化区域的责任分析.pdfVIP

第41卷第7期 计算机科学 V01．41No．7 Science 2014 2014年7月 Computer July 杨艳1方贤文1刘祥伟2 (安徽理工大学信息管理系 淮南232001)2 (安徽理工大学信息与计算科学系 淮南232001)1 摘要对Petri网模型交互后的变化区域的责任分析，是模型交互一致性和兼容性研究的一个重要问题。已有的关 于变化区域的研究只涉及到寻找变化区域的方法，对于引起变化区域的责任分析并没有做更多研究。给出了责任的 定义，结合行为片段模式的概念，从动态的角度，提出一种基于行为片段模式来分析判断变化区域的责任方的方法，并 通过实例分析验证了该方法的有效性。 关键词Petri网，交互，行为片段模式，责任 文献标识码A DOI 1002137X．2014．07．015 中图法分类号TP391．9 10．11896／j．issm Methodof of inProcessModelBasedOnPetriNetBehavioralPattern Region ObligationAnalysisChange YANGYanIFANGXianwenILIU Xiang_wei2 ofInformationand Science，AnhuiofScienceand 232001，China) (Department Computing University Technology，Huainan ofInformation ofScienceand 232001，China) (Department Management，AnhuiUniversity Technology，Huainan intheinteractedmodelPetrinetsisan AbstractThe ofthe importantques obligationanalysischangeregion process of tionof and and of models．The changeregion consistencycompatibilityinteracting studyexisting checkingevaluating themethodtofind the isoutofthe onthe of dealswith obligationanalysis range．Basedconcept just changeregion，and andbehavioral of of was the