%0 Journal Article
%T Analysis and verification of SysML sequence diagrams based on colored Petri net<br>基于有色Petri网的SysML序列图的分析与验证
%A WANG Song-feng
%A XIONG Xuan-dong
%A ZHANG Liang-zhong
%A FU Jian-dan
%A <br>王松锋
%A 熊选东
%A 张亮忠
%A 付建丹
%J 计算机应用研究
%D 2012
%I 
%X Aiming at the problems of SysML sequence diagrams lack of analysis and verification methods,this paper presented a method for conversing sequence diagrams to the colored Petri net,defining the equivalent conversion rules for converting sequence diagrams of the common operations into a colored Petri net,mainly focusing on mapping sequence diagram’s common structure such as optional structures,alternate structures,parallel structure and loop structure into colored Petri nets.They not only contained structure elements,such as place,transition,input and output arcs,but also contained the logic elements,such as the global declaration of the color sets and variables,color sets and places,and the initial marking,arc expression.Using these transformation rules,the method could transform sequence diagrams into colored Petri nets,and made its simulation and analysis.Besides of this,it could verify the characters of the model,such as absence-deadlocks,boundness,liveness,etc.Finally,the examples of digital certificates updated analysed the semantic of the model before and after mapping,verified the correctness of the mapping.
%K SysML
%K colored Petri net（CPN）
%K sequence diagram
%K modeling
%K model transformation<br>系统建模语言
%K 有色Petri网
%K 序列图
%K 建模
%K 模型转换
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=22653CDAF59BBDC1F89675BBFCA97830&yid=99E9153A83D4CB11&vid=771469D9D58C34FF&iid=9CF7A0430CBB2DFD&sid=9F518D2586805022&eid=5CEA67B6F0808E47&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=29