Blog
About

  • 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

Bookmark
      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.

      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.

      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)
        Bookmark

        Author and article information

        Affiliations
        Dept. of Computer Science, King’s College London

        Strand, London, WC2R 2LS
        Rutherford Appleton Laboratory

        Oxford OX11 0QX
        Dept. of Computing, University of York
        Conference
        January 2000
        January 2000
        : 1-15
        10.14236/ewic/ROOM2000.5
        © 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 http://creativecommons.org/licenses/by/4.0/

        Rigorous Object-Oriented Methods 2000
        ROOM
        York, UK
        17 January 2000
        Electronic Workshops in Computing (eWiC)
        Rigorous Object-Oriented Methods
        Product
        Product Information: 1477-9358 BCS Learning & Development
        Self URI (journal page): https://ewic.bcs.org/
        Categories
        Electronic Workshops in Computing

        Comments

        Comment on this article