文章基本信息

标题：State Based Static and Dynamic Formal Analysis of UML State Diagrams
本地全文：下载
作者：Fahad Alhumaidan
期刊名称：Journal of Software Engineering and Applications
印刷版ISSN：1945-3116
电子版ISSN：1945-3124
出版年度：2012
卷号：5
期号：7
页码：483-491
DOI：10.4236/jsea.2012.57056
出版社：Scientific Research Publishing
摘要：Design and specification is a serious issue in software engineering because of the semantics involved in transforming the real world problems to computer software systems. Unified Modeling Language (UML) has been accepted as a de facto standard for design and specification of object oriented systems. Unfortunately, UML structures lack defining semantics of a system. Formal methods are proved powerful, particularly, at requirement specification and design level. For a moment, formal methods are not welcomed because of much use of mathematics in formal languages. Therefore, a linkage between UML and formal methods is required to overcome the above deficiencies. In this paper, a new approach is developed by integrating UML and Z specification focusing on state diagram considering both the syntax and semantics. It is believed that this new approach will be effective and useful both at academics and industrial level. The resultant formal models of the approach are analyzed and validated using Z/Eves tool.
关键词：UML; State Diagram; Formal Methods; Z Notation; Validation and Verification