基于新活动演算的SysML活动图形式化描述  

FORMAL DESCRIPTION OF SYSML ACTIVITY DIAGRAM BASED ON NEW ACTIVITIES CALCULUS

作　　者：惠文涛[1] 周雁舟[1] 邵楠[1] 严亚伟 

机构地区：[1]信息工程大学,河南郑州450004

出　　处：《计算机应用与软件》2015年第10期49-53,共5页Computer Applications and Software

摘　　要：针对Sys ML(Systems Modeling Language)活动图自身缺乏精确语义描述的不足,提出使用新活动演算来表示Sys ML活动图形式化语义的方法。通过分析Sys ML活动图的基本图符及其特点,对活动演算进行重新设计,增加了概率因子,并且在新活动演算中针对性地定义相应语法和操作语义。利用改进后的新活动演算实现了对Sys ML活动图的形式化描述,最后通过实例证明了所提出方法的有效性和实用性。SysML （Systems Modelling Language）activity diagrams lack the precise semantics description of their own,for this deficiency, we propose a method to express the formal semantics of SysML activity diagrams with new activity calculus.By analysing the basic symbols and characteristics of SysML activity diagram,we redesign the activity calculus,add the probability factor,and pertinently define the correla-ted grammar and operational semantics in new activities calculus,thus achieve the formal description on SysML activity diagrams by using the improved new activity calculus.At last the effectiveness and practicality of the proposed method are verified by an example.

关 键 词：SYSML 活动图 活动演算 形式化描述 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]