信息技术
信息技術
신식기술
INFORMATION TECHNOLOGY
2013年
3期
158-161
,共4页
景燕敏%吴晟%宫传琪%刘妮娜
景燕敏%吳晟%宮傳琪%劉妮娜
경연민%오성%궁전기%류니나
用例模型%Z语言%形式化方法%描述%UML
用例模型%Z語言%形式化方法%描述%UML
용례모형%Z어언%형식화방법%묘술%UML
以UML用例模型为主要研究对象,通过对UML用例模型概念和Z抽象符号的分析,采用Z形式化语言对用例模型建模元素的抽象语法和语义进行形式化的描述,提出了用例模型到Z形式语言的映射规约,并建立了UML用例模型图到Z形式规约的映射与转换机制.
以UML用例模型為主要研究對象,通過對UML用例模型概唸和Z抽象符號的分析,採用Z形式化語言對用例模型建模元素的抽象語法和語義進行形式化的描述,提齣瞭用例模型到Z形式語言的映射規約,併建立瞭UML用例模型圖到Z形式規約的映射與轉換機製.
이UML용례모형위주요연구대상,통과대UML용례모형개념화Z추상부호적분석,채용Z형식화어언대용례모형건모원소적추상어법화어의진행형식화적묘술,제출료용례모형도Z형식어언적영사규약,병건립료UML용례모형도도Z형식규약적영사여전환궤제.
