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

摘要

针对 SysML（Systems Modeling Language）活动图自身缺乏精确语义描述的不足，提出使用新活动演算来表示 SysML 活动图形式化语义的方法。通过分析 SysML 活动图的基本图符及其特点，对活动演算进行重新设计，增加了概率因子，并且在新活动演算中针对性地定义相应语法和操作语义。利用改进后的新活动演算实现了对 SysML 活动图的形式化描述，最后通过实例证明了所提出方法的有效性和实用性。%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.