摘要
针对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.
出处
《计算机应用与软件》
CSCD
2015年第10期49-53,共5页
Computer Applications and Software
关键词
SYSML
活动图
活动演算
形式化描述
SysML activity diagram
Activities calculus
Formal description
