UML White Papers
Reasoning with UML Class Diagrams
Overview 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.
| Publisher | University of York | File Format | PDF, requires Acrobat Rdr 5 |
|---|---|---|---|
| Date Published | August 2003 | Downloads | 1 |
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful?
White Paper RSSModel Driven Development for Systems Webinar
DownloadRhapsody 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...
Contribution to Methodology of Business Intelligence Systems Object Oriented Developing
In current literature are many approaches or methodologies for business intelligence systems design and developing. However, it is no consensus about which methodology is the best because that depends of...
Borland Software Case Study: BT
The IT services and telecommunications industries have become extremely competitive. To increase its efficiency, BT Group set out to transform the way it brings products and services to market, to...
Modeling Demystified, Part 3: Extend UML for User Models - Associations, Relationships, and Stereotypes
A user model is a description of a set of people and how they will work with an IT solution. This type of modeling, which is based on leading usability...
Modeling Demystified, Part 2: Building a User Model - Identify Potential Gaps in Your Requirements
A user model is a description of a set of people and how they will work with an IT solution. This type of modeling, which is based on leading usability...
/AMD_logo_gb-uk_60x40.jpg "Advanced Micro Devices (AMD)"){kind=logo}
