Text size
  • Small
  • Medium
  • Large
Contrast
  • 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

    AUTHORS

    K. Lano, J. Bicarregui & A. Evans

    ABSTRACT

    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.

    PAPER FORMATS

    PDF filePDF Version of this Paper (109kb)