Unified Modeling Language

From Wikipedia, the free encyclopedia - View original article

 
Jump to: navigation, search
UML logo

The Unified Modeling Language (UML) is a general-purpose modeling language in the field of software engineering. It provides a set of graphic notation techniques to create visual models of object-oriented software-intensive systems. It was developed by Grady Booch, Ivar Jacobson and James Rumbaugh at Rational Software in the 1990s.[1] It was adopted by the Object Management Group (OMG) in 1997, and has been managed by this organization ever since. In 2000 the Unified Modeling Language was accepted by the International Organization for Standardization (ISO) as a standard for modeling software-intensive systems.

Overview[edit]

A collage of UML diagrams.

Unified Modeling Language (UML) combines techniques from data modeling (entity relationship diagrams), business modeling (work flows), object modeling, and component modeling. It can be used with all processes, throughout the software development life cycle, and across different implementation technologies.[2]

The Unified Modeling Language (UML) offers a standard way to visualize a system's architectural blueprints, including elements such as:

UML has synthesized the notations of the Booch method, the Object-modeling technique (OMT) and Object-oriented software engineering (OOSE) by fusing them into a single, common and widely usable modeling language.[4] UML aims to be a standard modeling language which can model concurrent and distributed systems.

UML models may be automatically transformed to other representations (e.g. Java) by means of QVT-like transformation languages. UML is extensible, with two mechanisms for customization: profiles and stereotypes.

History[edit]

History of object-oriented methods and notation.

UML has been evolving since the second half of the 1990s and has its roots in the object-oriented methods developed in the late 1980s and early 1990s. The timeline (see image) shows the highlight of the history of object-oriented modeling methods and notation.

Before UML 1.x[edit]

After Rational Software Corporation hired James Rumbaugh from General Electric in 1994, the company became the source for two of the most popular object-oriented modeling approaches of the day:[5] Rumbaugh's Object-modeling technique (OMT) and Grady Booch's method known as Object-oriented design (OOD). They were soon assisted in their efforts by Ivar Jacobson, the creator of the object-oriented software engineering (OOSE) method. Jacobson joined Rational in 1995, after his company, Objectory AB,[6] was acquired by Rational. The three methodologists were collectively referred to as the "Three Amigos".

In 1996, Rational concluded that the abundance of modeling languages was slowing the adoption of object technology,[citation needed] so repositioning the work on a unified method, they tasked the "Three Amigos" with the development of a non-proprietary Unified Modeling Language. Representatives of competing object technology companies were consulted during OOPSLA '96;[citation needed] they chose boxes for representing classes rather than the cloud symbols that were used in Booch's notation.

Under the technical leadership of the "Three Amigos", an international consortium called the UML Partners was organized in 1996 to complete the Unified Modeling Language (UML) specification, and propose it as a response to the OMG RFP. The UML Partners' UML 1.0 specification draft was proposed to the OMG in January 1997. During the same month the UML Partners formed a Semantics Task Force, chaired by Cris Kobryn and administered by Ed Eykholt, to finalize the semantics of the specification and integrate it with other standardization efforts. The result of this work, UML 1.1, was submitted to the OMG in August 1997 and adopted by the OMG in November 1997.[7]

UML 1.x[edit]

As a modeling notation, the influence of the OMT notation dominates (e. g., using rectangles for classes and objects). Though the Booch "cloud" notation was dropped, the Booch capability to specify lower-level design detail was embraced. The use case notation from Objectory and the component notation from Booch were integrated with the rest of the notation, but the semantic integration was relatively weak in UML 1.1, and was not really fixed until the UML 2.0 major revision.[citation needed]

Concepts from many other OO methods were also loosely integrated with UML with the intent that UML would support all OO methods. Many others also contributed, with their approaches flavouring the many models of the day, including: Tony Wasserman and Peter Pircher with the "Object-Oriented Structured Design (OOSD)" notation (not a method), Ray Buhr's "Systems Design with Ada", Archie Bowen's use case and timing analysis, Paul Ward's data analysis and David Harel's "Statecharts"; as the group tried to ensure broad coverage in the real-time systems domain. As a result, UML is useful in a variety of engineering problems, from single process, single user applications to concurrent, distributed systems, making UML rich but also large.

The Unified Modeling Language is an international standard:

ISO/IEC 19501:2005 Information technology – Open Distributed Processing – Unified Modeling Language (UML) Version 1.4.2

UML 2.x[edit]

UML has matured significantly since UML 1.1. Several minor revisions (UML 1.3, 1.4, and 1.5) fixed shortcomings and bugs with the first version of UML, followed by the UML 2.0 major revision that was adopted by the OMG in 2005.[8]

Although UML 2.1 was never released as a formal specification, versions 2.1.1 and 2.1.2 appeared in 2007, followed by UML 2.2 in February 2009. UML 2.3 was formally released in May 2010.[9] UML 2.4.1 was formally released in August 2011.[10] UML 2.5 was released in October 2012 as an "In process" version and has yet to become formally released.[11]

There are four parts to the UML 2.x specification:

  1. The Superstructure that defines the notation and semantics for diagrams and their model elements
  2. The Infrastructure that defines the core metamodel on which the Superstructure is based
  3. The Object Constraint Language (OCL) for defining rules for model elements
  4. The UML Diagram Interchange that defines how UML 2 diagram layouts are exchanged

The current versions of these standards follow: UML Superstructure version 2.4.1, UML Infrastructure version 2.4.1, OCL version 2.3.1, and UML Diagram Interchange version 1.0.[12]

Although many UML tools support some of the new features of UML 2.x, the OMG provides no test suite to objectively test compliance with its specifications.

Topics[edit]

Software development methods[edit]

UML is not a development method by itself;[13] however, it was designed to be compatible with the leading object-oriented software development methods of its time (for example OMT, Booch method, Objectory). Since UML has evolved, some of these methods have been recast to take advantage of the new notations (for example OMT), and new methods have been created based on UML, such as IBM Rational Unified Process (RUP). Others include Abstraction Method and Dynamic Systems Development Method.

Modeling[edit]

It is important to distinguish between the UML model and the set of diagrams of a system. A diagram is a partial graphic representation of a system's model. The model also contains documentation that drives the model elements and diagrams (such as written use cases).

UML diagrams represent two different views of a system model:[14]

UML models can be exchanged among UML tools by using the XML Metadata Interchange (XMI) interchange format.

Diagrams overview[edit]

UML 2.2 has 14 types of diagrams divided into two categories.[15] Seven diagram types represent structural information, and the other seven represent general types of behavior, including four that represent different aspects of interactions. These diagrams can be categorized hierarchically as shown in the following class diagram:

Hierarchy of UML 2.2 Diagrams, shown as a class diagram.

UML does not restrict UML element types to a certain diagram type. In general, every UML element may appear on almost all types of diagrams; this flexibility has been partially restricted in UML 2.0. UML profiles may define additional diagram types or extend existing diagrams with additional notations.

In keeping with the tradition of engineering drawings,[citation needed] a comment or note explaining usage, constraint, or intent is allowed in a UML diagram.

Structure diagrams[edit]

Structure diagrams emphasize the things that must be present in the system being modeled. Since structure diagrams represent the structure, they are used extensively in documenting the software architecture of software systems.

Behavior diagrams[edit]

Behavior diagrams emphasize what must happen in the system being modeled. Since behavior diagrams illustrate the behavior of a system, they are used extensively to describe the functionality of software systems.

Interaction diagrams[edit]

Interaction diagrams, a subset of behavior diagrams, emphasize the flow of control and data among the things in the system being modeled:

The Protocol State Machine is a sub-variant of the State Machine. It may be used to model network communication protocols.

Meta modeling[edit]

Illustration of the Meta-Object Facility.

The Object Management Group (OMG) has developed a metamodeling architecture to define the Unified Modeling Language (UML), called the Meta-Object Facility (MOF).[16] The Meta-Object Facility is designed as a four-layered architecture, as shown in the image at right. It provides a meta-meta model at the top layer, called the M3 layer. This M3-model is the language used by Meta-Object Facility to build metamodels, called M2-models.

The most prominent example of a Layer 2 Meta-Object Facility model is the UML metamodel, the model that describes the UML itself. These M2-models describe elements of the M1-layer, and thus M1-models. These would be, for example, models written in UML. The last layer is the M0-layer or data layer. It is used to describe runtime instance of the system.

Beyond the M3-model, the Meta-Object Facility describes the means to create and manipulate models and metamodels by defining Common Object Request Broker Architecture (CORBA) interfaces that describe those operations. Because of the similarities between the Meta-Object Facility M0-model and UML structure models, Meta-Object Facility metamodels are usually modeled as UML class diagrams. A supporting standard of the Meta-Object Facility is XMI, which defines an XML-based exchange format for models on the M3-, M2-, or M1-Layer.

Criticisms[edit]

Although UML is a widely recognized and used modeling standard, it is frequently[citation needed] criticized for the following:

Standards bloat
Bertrand Meyer, in a satirical essay framed as a student's request for a grade change, apparently criticized UML as of 1997 for being unrelated to object-oriented software development; a disclaimer was added later pointing out that his company nevertheless supports UML.[17] Ivar Jacobson, a co-architect of UML, said that objections to UML 2.0's size were valid enough to consider the application of intelligent agents to the problem.[18] It contains many diagrams and constructs that are redundant or infrequently used.
Problems in learning and adopting
The problems cited in this section make learning and adopting UML problematic, especially when required of engineers lacking the prerequisite skills.[19] In practice, people often draw diagrams with the symbols provided by their CASE tool, but without the meanings those symbols are intended to provide. Simple user narratives e.g. "what I do at work ..." have shown to be much simpler to record and more immediately useful.[citation needed]
Linguistic incoherence
The standards have been cited as being ambiguous and inconsistent.[20][21][22] The UML 2.0 standard still suffers many issues.[23][24]
Capabilities of UML and implementation language mismatch
Typical of other notational systems, UML is able to represent some systems more concisely or efficiently than others. Thus a developer gravitates toward solutions that reside at the intersection of the capabilities of UML and the implementation language. This problem is particularly pronounced if the implementation language does not adhere to orthodox object-oriented doctrine, since the intersection set between UML and implementation language may be that much smaller or equal in size.[citation needed]
Dysfunctional interchange format
While the XMI (XML Metadata Interchange) standard is designed to facilitate the interchange of UML models, it has been largely ineffective in the practical interchange of UML 2.x models. This interoperability ineffectiveness is attributable to several reasons. Firstly, XMI 2.x is large and complex in its own right, since it purports to address a technical problem more ambitious than exchanging UML 2.x models. In particular, it attempts to provide a mechanism for facilitating the exchange of any arbitrary modeling language defined by the OMG's Meta-Object Facility (MOF). Secondly, the UML 2.x Diagram Interchange specification lacks sufficient detail to facilitate reliable interchange of UML 2.x notations between modeling tools. Since UML is a visual modeling language, this shortcoming is substantial for modelers who don't want to redraw their diagrams.[25] The Diagram Definition OMG project is another alternative.[26]
Cardinality notation
As with database Chen, Bachman, and ISO ER diagrams, class models are specified to use "look-across" cardinalities, even though several authors (Merise,[27] Elmasri & Navathe [28] amongst others [29]) prefer same-side or "look-here" for roles and both minimum and maximum cardinalities. Recent researchers (Feinerer,[30] Dullea et. alia [31]) have shown that the "look-across" technique used by UML and ER diagrams is less effective and less coherent when applied to n-ary relationships of order >2.
In Feinerer it says "Problems arise if we operate under the look-across semantics as used for UML associations. Hartmann [32] investigates this situation and shows how and why different transformations fail." (Although the "reduction" mentioned is spurious as the two diagrams 3.4 and 3.5 are in fact the same) and also "As we will see on the next few pages, the look-across interpretation introduces several difficulties which prevent the extension of simple mechanisms from binary to n-ary associations."
Exclusive
The term "unified" applies only to the unification of the many prior existing and competing object-oriented languages. Important well known and popular techniques, almost universally used in industry, such as data flow diagrams and structure charts were not included in the specification.[citation needed]

Modeling experts have written criticisms of UML, including Brian Henderson-Sellers and Cesar Gonzalez-Perez in "Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0".[33]

Complexity
UML has been criticized for being extremely complex compared to other tools.[34]

See also[edit]

Screenshot of Umbrello UML Modeller.

References[edit]

This article is based on material taken from the Free On-line Dictionary of Computing prior to 1 November 2008 and incorporated under the "relicensing" terms of the GFDL, version 1.3 or later.

  1. ^ Marc Hamilton (1999) Software Development: A Guide to Building Reliable Systems p.48
  2. ^ Satish Mishra (1997). "Visual Modeling & Unified Modeling Language (UML) : Introduction to UML". Rational Software Corporation. Accessed 9 November 2008.
  3. ^ Grady Booch, Ivar Jacobson & James Rumbaugh (2000) OMG Unified Modeling Language Specification[dead link], Version 1.3 First Edition: March 2000. Retrieved 12 August 2008.
  4. ^ "OMG Unified Modeling Language (OMG UML), Superstructure. Version 2.4.1". Object Management Group. Retrieved 2013-03-28. 
  5. ^ Andreas Zendler (1997) Advanced Concepts, Life Cycle Models and Tools for Objeckt-Oriented Software Development. p.122
  6. ^ Objectory AB, known as Objectory System, was founded in 1987 by Ivar Jacobson. In 1991, It was acquired and became a subsidiary of Ericsson.
  7. ^ "UML Specification version 1.1 (OMG document ad/97-08-11)". Omg.org. Retrieved 2011-09-22. 
  8. ^ "UML 2.0". Omg.org. Retrieved 2011-09-22. 
  9. ^ "UML". Omg.org. Retrieved 2011-09-22. 
  10. ^ "UML". Omg.org. Retrieved 2012-02-21. 
  11. ^ "UML". Omg.org. Retrieved 2013-08-07. 
  12. ^ OMG. "Catalog of OMG Modeling and Metadata Specifications". Retrieved 2012-02-21. 
  13. ^ John Hunt (2000). The Unified Process for Practitioners: Object-oriented Design, UML and Java. Springer, 2000. ISBN 1-85233-275-1. p.5.door
  14. ^ Jon Holt Institution of Electrical Engineers (2004). UML for Systems Engineering: Watching the Wheels IET, 2004, ISBN 0-86341-354-4. p.58
  15. ^ UML Superstructure Specification Version 2.2. OMG, February 2009.
  16. ^ Iman Poernomo (2006) "The Meta-Object Facility Typed" in: Proceeding SAC '06 Proceedings of the 2006 ACM symposium on Applied computing. pp. 1845-1849
  17. ^ Bertrand Meyer. "UML: The Positive Spin". Retrieved 2008-03-31. 
  18. ^ "Ivar Jacobson on UML, MDA, and the future of methodologies" [1] (video of interview, transcript available), 24 October 2006. Retrieved 2009-05-22
  19. ^ See the ACM article "Death by UML Fever" for an amusing account of such issues.
  20. ^ Génova et alia 2004 "Open Issues in Industrial Use Case Modeling"
  21. ^ "Metamodeling and Meta-Object Facility (MOF)" (PDF). Retrieved 2011-09-22. 
  22. ^ "Will UML 2.0 Be Agile or Awkward?" (PDF). Retrieved 2011-09-22. 
  23. ^ "A Precise Approach for the Analysis of the UML Models Consistency". Mendeley.com. doi:10.1007/11568346_9. Retrieved 2011-09-22. 
  24. ^ "OMG UML Issues". Omg.org. Retrieved 2011-09-22. 
  25. ^ UML Forum. "UML FAQ". Retrieved 2013-02-21. 
  26. ^ OMG (2012-07-01). "Diagram Definition, Version 1.0". Retrieved 2013-02-21. 
  27. ^ Hubert Tardieu, Arnold Rochfeld and René Colletti La methode MERISE: Principes et outils (Paperback - 1983)
  28. ^ Elmasri, Ramez, B. Shamkant, Navathe, Fundamentals of Database Systems, third ed., Addison-Wesley, Menlo Park, CA, USA, 2000.
  29. ^ ER 2004 : 23rd International Conference on Conceptual Modeling, Shanghai, China, 8-12 November 2004[dead link]
  30. ^ "A Formal Treatment of UML Class Diagrams as an Efficient Method for Configuration Management 2007" (PDF). Retrieved 2011-09-22. 
  31. ^ "James Dullea, Il-Yeol Song, Ioanna Lamprou - An analysis of structural validity in entity-relationship modeling 2002" (PDF). Retrieved 2011-09-22. 
  32. ^ ""Reasoning about participation constraints and Chen's constraints" S Hartmann - 2003" (PDF). Retrieved 2013-08-17. 
  33. ^ B. Henderson-Sellers; C. Gonzalez-Perez (2006). "Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0". in: Model Driven Engineering Languages and Systems. Springer Berlin / Heidelberg.
  34. ^ Uriel (May 2011). "[dev] Suckless UML". 

Further reading[edit]

External links[edit]