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

• 作者: 严亚伟 周雁舟 惠文涛 邵楠
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: SysML 活动图 活动演算 形式化描述
• 年，卷（期）: 2015,（10）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 49-53
• 页数: 5页
• 分类号: TP311
• 字数: 5327字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2015.10.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周雁舟		16	79	5.0	8.0
2	惠文涛		3	7	2.0	2.0
3	邵楠		3	8	2.0	2.0
4	严亚伟		3	4	1.0	2.0