系统工程与电子技术
繫統工程與電子技術
계통공정여전자기술
SYSTEMS ENGINEERING AND ELECTRONICS
2011年
12期
2662-2667
,共6页
王智学%张炜钟%赵文%姜志平
王智學%張煒鐘%趙文%薑誌平
왕지학%장위종%조문%강지평
统一建模语言%能力需求%动作语义%可执行模型
統一建模語言%能力需求%動作語義%可執行模型
통일건모어언%능력수구%동작어의%가집행모형
针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言( unified modeling language,UML)动作语义,提出了可执行能力需求建模方法.该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示.最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证.
針對目前基于能力的需求建模方法在形式化以及驗證方麵的不足,藉鑒統一建模語言( unified modeling language,UML)動作語義,提齣瞭可執行能力需求建模方法.該方法在能力需求建模語言的基礎上,添加可執行動作語義,提齣瞭動作語義元模型,描述瞭動作語義的基本內容、執行機製以及錶示.最後構建瞭可執行能力需求模型的倣真平檯,併通過案例證明瞭可執行能力需求建模方法不僅能精確形式化描述能力需求模型的動態行為語義,同時也實現瞭能力需求模型的倣真和驗證.
침대목전기우능력적수구건모방법재형식화이급험증방면적불족,차감통일건모어언( unified modeling language,UML)동작어의,제출료가집행능력수구건모방법.해방법재능력수구건모어언적기출상,첨가가집행동작어의,제출료동작어의원모형,묘술료동작어의적기본내용、집행궤제이급표시.최후구건료가집행능력수구모형적방진평태,병통과안예증명료가집행능력수구건모방법불부능정학형식화묘술능력수구모형적동태행위어의,동시야실현료능력수구모형적방진화험증.
