CAJ | 학술논문

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