Formal Transformation of UML Diagram: Use Case, Class, Sequence Diagram with Z Notation for Representing the Static and
The two most critical phases of SDLC are the specification and the designing phase as they involve the transformation of the semantics from real world domain to computer software systems. Unified Modelling Language (UML) has been accepted as blue print fo
- PDF / 517,960 Bytes
- 14 Pages / 439.37 x 666.142 pts Page_size
- 9 Downloads / 213 Views
Abstract The two most critical phases of SDLC are the specification and the designing phase as they involve the transformation of the semantics from real world domain to computer software systems. Unified Modelling Language (UML) has been accepted as blue print for design and specification of software critical systems. But, UML structures have the weakness in preciously defining the semantics of a system. Any misinterpretation in safety critical system’s specification may risks loss of lives. Formal methods are mathematical tools and techniques which are proven very adequate, principally, at requirement specification and design level. However, formal methods are not welcomed because of rigorous use of mathematics. Therefore, a bridge is required between UML and formal methods to overcome the above insufficiencies. The endeavour of this paper is to propose a new approach by integrating UML and Z notation, a formal specification language. The main focus of this paper is on transforming the UML diagram: use case diagram, class diagram and sequence diagram to Z Schema for capturing both the syntax and semantics, particularly for safety critical system. The resultant formal model of the approach are analyzed and verified by using Z/Eves tool. Keywords Safety critical system
UML Z notation Schema Z/Eves
M. Singh (&) A.K. Sharma College of Engineering and Technology, Mody University of Science and Technology, Lakshmangarh 332311, India e-mail: [email protected] A.K. Sharma e-mail: [email protected] R. Saxena Department of Computer Science and Engineering, Thapar University, Patiala 147004, India e-mail: [email protected] © Springer Science+Business Media Singapore 2016 S.C. Satapathy et al. (eds.), Proceedings of International Conference on ICT for Sustainable Development, Advances in Intelligent Systems and Computing 409, DOI 10.1007/978-981-10-0135-2_3
25
26
M. Singh et al.
1 Introduction The advancements of the computing, control and communication technologies increased the complexity of hardware and software systems such as computing critical systems, automated systems, distributed system, networked or embedded systems, etc. Due to the increase in complexity, the likelihood of errors and flaws in the systems grown and design of ultimate bug-free systems becomes more difficult. Design of such a complex system can be possible with the help of advanced mathematical methodologies and step by step design process. One of the best ways of achieving this goal is by using the formal methods. Formal methods are mathematical tool and techniques that use First order predicates, Discrete and set theory. Formal methods are proposed to systematize and introduce stubbornness into all the phases of software development life cycle. This helps us to refrain from overlooking critical issues, form basis for consistency, and provide standard means to record a range of assumptions and decisions, among many related activities. Formal specifications assist the understanding required to integrate the various phases of
Data Loading...
