摘要
以UML用例模型为主要研究对象,通过对UML用例模型概念和Z抽象符号的分析,采用Z形式化语言对用例模型建模元素的抽象语法和语义进行形式化的描述,提出了用例模型到Z形式语言的映射规约,并建立了UML用例模型图到Z形式规约的映射与转换机制。
The UML use case model as the main object of study. Through analyzing the UML use case model concept and Z abstract symbols, formal describe the abstract syntax and semantics of the use case model modeling elements by the Z formal language, this paper proposes the mapping statute of the use case model to the Z form language, establishes the mapping and switching mechanism of UML use case model diagram to Z formal specification.
出处
《信息技术》
2013年第3期158-161,共4页
Information Technology
