文章基本信息

标题：Transformation of Class Diagrams into Formal Specification
本地全文：下载
作者：Nazir Ahmad Zafar ; Fahad Alhumaidan
期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2011
卷号：11
期号：5
页码：289-295
出版社：International Journal of Computer Science and Network Security
摘要：Requirements analysis and design specification is a serious issue in software engineering because of semantics involved in the transformation of real world problems to computational models. Unified Modeling Language (UML) has been accepted as a standard for design and development of object oriented systems. Unfortunately, most of UML structures are based on graphical notations and are prone to causing errors. That means UML has a lack of notations for description of a complete functional system and its semantics is still semi-formal allowing ambiguities at design level. Formal methods have played a vital role, particularly, at requirement analysis and design level but, for a moment, are not fully welcomed because of involving much mathematics. Therefore, a concrete linkage of UML and formal methods is needed to overcome the above issues. In this paper, an integration of UML and Z notation is defined for class diagrams considering both the syntax and semantics at an abstract level of specification. Four major kinds of relationships, i.e., association, generalization, aggregation and composition are addressed. The formal specification is analyzed and validated using Z/Eves tool.
关键词：UML; Class diagrams; Formal methods; Z notation; Integration; Validation