10.3969/j.issn.1000-386x.2015.10.011
基于新活动演算的 SysML 活动图形式化描述
针对 SysML（Systems Modeling Language）活动图自身缺乏精确语义描述的不足，提出使用新活动演算来表示 SysML 活动图形式化语义的方法。通过分析 SysML 活动图的基本图符及其特点，对活动演算进行重新设计，增加了概率因子，并且在新活动演算中针对性地定义相应语法和操作语义。利用改进后的新活动演算实现了对 SysML 活动图的形式化描述，最后通过实例证明了所提出方法的有效性和实用性。
SysML 活动图、活动演算、形式化描述
TP311(计算技术、计算机技术)
2015-11-13（万方平台首次上网日期，不代表论文的发表时间）
共5页
49-53
