• Record: found
  • Abstract: found
  • Article: found
Is Open Access

Structured Axiomatic Semantics for UML Models

, ,

Rigorous Object-Oriented Methods 2000 (ROOM)

Rigorous Object-Oriented Methods

17 January 2000

Read this article at

      There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.


      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.

      Related collections

      Most cited references 1

      • Record: found
      • Abstract: not found
      • Article: not found

      Logical specification of reactive and real-time systems

       K Lano (1998)

        Author and article information

        Dept. of Computer Science, King’s College London

        Strand, London, WC2R 2LS
        Rutherford Appleton Laboratory

        Oxford OX11 0QX
        Dept. of Computing, University of York
        January 2000
        January 2000
        : 1-15
        © K. Lano et al. Published by BCS Learning and Development Ltd. Rigorous Object-Oriented Methods 2000

        This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit

        Rigorous Object-Oriented Methods 2000
        York, UK
        17 January 2000
        Electronic Workshops in Computing (eWiC)
        Rigorous Object-Oriented Methods
        Product Information: 1477-9358 BCS Learning & Development
        Self URI (journal page):
        Electronic Workshops in Computing


        Comment on this article