The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool is limited due to a lack of precise semantics and practical analysis techniques. This paper proposes a rigorous analysis technique for UML based on the use of diagrammatical transformations. A precise description of a subset of UML class diagrams is presented. This is then used to identify a number of deductive transformations on class diagrams. Conditions for checking the soundness of the rules are also given. Because the reasoning system is based on the manipulation of diagrams, it is proposed that they can be successfully used by practitioners without re-course to complex linguistic proof techniques.
Did you find this white paper useful?
25 out of 50 users found this white paper useful
Related white papers
ASP.NET Development using IBM Rational ClearCase
This white paper outlines the steps that a typical user might take to create and maintain web application in a Rational ClearCase Unified Change Management (UCM) environment. Web application development...
Component Based Development and Use: Managing the Component Life Cycle
This paper will discuss the challenges and issues related to component based development and reuse. It will describe the players involved in component production and consumption, and the various methodologies,...
UML Based Model-Driven Development for C
The Unified Modeling Language (UML) and Model-Driven Development (MDD) are rapidly becoming very hot topics and many companies are realizing the advantages made available by these technologies of better, standardized...
ECI Telecom Employs I-Logix' Rhapsody and UML Graphical Coding Techniques to Develop Embedded Digital Cross Connect Applications
ECI Telecom is Israel's largest telecommunications company with over 4000 employees. It is widely accepted in the telecommunications world that application software is the key to providing market differentiation: and...
Model Driven Development for Systems Webinar
Rhapsody is fast becoming the leading MDD environment within the Mil/Aero community, being a major player in programs such as the Joint Strike Fighter (JSF), Future Combat Systems (FCS) and...
Bridging the Gap Between Systems, Software, and Test
Building off its initial and very successful UML 2.0 based Model-Driven Development (MDD) solution, Rhapsody 5.0, I-Logix has created a new generation solution to allow Systems, Software, and Test engineers...
Ericsson Puts the UML Suite to the Test
In search of an appropriate tool to improve their software development, Ericsson Nikola Tesla (ETK) in Croatia decided to put the Telelogic Tau UML Suite to the test. Based on...
