Skip to main content
Article thumbnail
Location of Repository

The Unified Modeling Language

By Stuart Kent


A subset of the UML is presented which has been found useful for notating what may loosely be called specification models. A model of aspects of the ODP trader case study is developed (a) to provide a vehicle for introducing the notation, and (b) to demonstrate how the notations can be used together in harmony. In the course of the presentation, some issues concerning the precise definition of UML, and its possible future status as a formal method are discussed

Topics: QA76
Publisher: Cambridge University Press
Year: 2001
OAI identifier:

Suggested articles


  1. (1994). A behavioural notion of subtyping. doi
  2. (1999). A classi of stereotypes for object-oriented modeling languages. In doi
  3. (1997). Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design.
  4. (1999). Black and white diamonds. doi
  5. (1997). Constraint Diagrams: Visualizing Invariants in OO Modelling. doi
  6. (1999). Core meta-modelling semantics of UML: The pUML approach. doi
  7. (1999). Design Task Force of the OMG. UML 2.0 RFI. Available from,
  8. (1999). Design Task Force of the OMG. UML pro for scheduling RFP. Available from,
  9. (1999). Enhancing the pre- and postcondition technique for more expressive speci doi
  10. (1999). Formalizing Spider Diagrams. doi
  11. (1999). JML: A notation for detailed design. doi
  12. (1999). Mixing visual and textual constraint languages. In doi
  13. (2000). ModelRun case tool (beta). Available from,
  14. (1998). Objects, Components and Frameworks With UML: The Catalysis Approach.
  15. (1998). Odp enterprise language: Uml perspective. doi
  16. (1996). ODP Trading Function. Draft Rec.
  17. (1998). On formalizing the UML Object Constraint Language OCL. doi
  18. (1999). Options for expressing ODP enterprise communities and their policies by using UML. doi
  19. (1999). Reasoning with Spider Diagrams. doi
  20. (1999). The common information model (CIM) speci v2.2. Available from,
  21. (1998). The Object Constraint Language: Precise Modeling with UML. doi
  22. (2000). The precise UML group.,
  23. (2000). The university of bremen UML bibliography.,
  24. (1999). UML Semantics FAQ. doi
  25. (2000). Validating UML models and OCL constraints. doi
  26. (1998). Visualising Action Contracts in OO Modelling. doi
  27. (2000). Writing Eective Use Cases.

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.