%0 Journal Article
%T Analyzing and Verifying of SysML Activity Diagram Based on Petri Net<br>基于Petri网的SysML活动图的分析与验证
%A WANG Song-feng
%A XIONG Xuan-dong
%A FU Jian-dan
%A ZHANG Liang-zhong
%A <br>王松锋
%A 熊选东
%A 付建丹
%A 张亮忠
%J 计算机科学
%D 2012
%I 
%X Systems modeling language is the latest international standard systems engineering modeling language. It contains two parts of semantics and notations which is lack of analysis and verification tools. For solving the questions, this paper presented a method for conversing the SysML activity diagram to the Petri net,mainly defined six transfor- mation rules for converting SysMI. activity diagram to a Petri net executable model. Using these transformation rules, SysML activity can be transformed into Petri net, and thus realizing its simplication, analysis and verification. Besides of this,it can detect concurrency-related code of conduct nature,such as dcadlocks,boundness,etc. And the consistency of the model was verified by the list method and simulate method. Finally, an example was used to verify the feasibility of the method.
%K SysMIL
%K Pctri net
%K Activity diagram
%K Modeling<br>系统建模语言
%K Petri网
%K 活动图
%K 建模
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=75AFC294F2AFDCB1D66328389ABB5F1D&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=9CF7A0430CBB2DFD&sid=09E495F616948E78&eid=E22B6B8FE86DD8F9&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0