Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Structured Axiomatic Semantics for UML Models

    Rigorous Object-Oriented Methods 2000

    York, UK. 17 January 2000


    K. Lano, J. Bicarregui & A. Evans


    In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of the properties of these models, and the verification of one model against another.

    We extend previous work by providing a structured logical interpretation for sequence diagrams, in which object communication is represented using theory morphisms.

    As an application of the formalisation, we show how the introduction of particular design patterns can be proved to be refinement transformations.


    PDF filePDF Version of this Paper (109kb)