用例模型的Z语言形式化描述方法  

Z language formal description of use case models

作　　者：景燕敏[1] 吴晟[1] 宫传琪[1] 刘妮娜[1] 

机构地区：[1]昆明理工大学信息工程及自动化学院,昆明650500

出　　处：《信息技术》2013年第3期158-161,共4页Information Technology

摘　　要：以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.

关 键 词：用例模型 Z语言 形式化方法 描述 UML 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]