By Topic

Improving system reliability via rigorous software modeling: the UML case

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
A. Toval ; Dept. of Inf. & Syst., Murcia Univ., Spain ; J. L. F. Aleman

Within Object Orientation (OO), the UML (Unified Modeling Language) is the standard language adopted by the Object Management Group to analyze and design information systems. However, UML has been criticized since its appearance due to the ambiguity and the lack of a truly formal definition of its semantics. This situation hinders the rigorous statement of properties related to the models constructed using this language, something which is crucial in the aerospace industry, given the high level of reliability that these systems require. With this in mind, a proposal to formalize a set of components described by UML class diagrams, using the algebraic specifications theory, is presented. Within this formal framework, specifications of software concerning aerospace systems constructed by UML class diagrams can be transformed into equivalent formal representations. Thus, the diagram can be mathematically verified and manipulated by using its equivalent formal representation. The formal model obtained has been described in an executable formal specification language called Maude

Published in:

Aerospace Conference, 2001, IEEE Proceedings.  (Volume:6 )

Date of Conference:

2001