Blog
About

137
views
0
recommends
+1 Recommend
1 collections
    4
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: 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

            Conference
            January 2000
            January 2000
            : 1-15
            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
            Article
            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-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article