For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
470
views
1
references
 Top references
cited by
0
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
1 collections
    4
    shares
      456
      similar
       All similar
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Structured Axiomatic Semantics for UML Models

      proceedings-article

      Author(s): , ,

      Publication date (Print):

      Conference name: Rigorous Object-Oriented Methods 2000 (ROOM)

      Conference theme: Rigorous Object-Oriented Methods

      Conference date: 17 January 2000

      Keywords:

      Bookmark

            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.

            Content

            Author and article information

            Conference
            Publication date: January 2000
            Publication date (Print): January 2000
            Pages: 1-15
            Affiliations
            [0001]Dept. of Computer Science, King’s College London

            Strand, London, WC2R 2LS
            [0002]Rutherford Appleton Laboratory

            Oxford OX11 0QX
            [0003]Dept. of Computing, University of York
            Article
            DOI: 10.14236/ewic/ROOM2000.5
            SO-VID: 1010e67f-80dd-4628-8332-f9935d1f0f5f
            Copyright statement: © K. Lano et al. Published by BCS Learning and Development Ltd. Rigorous Object-Oriented Methods 2000
            License:

            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/

            Conference name: Rigorous Object-Oriented Methods 2000
            Conference acronym: ROOM
            Conference number:
            Conference location: York, UK
            Conference date: 17 January 2000
            Conference sponsor: Electronic Workshops in Computing (eWiC)
            Conference theme: Rigorous Object-Oriented Methods
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Series title: Electronic Workshops in Computing

            Data availability:

            ScienceOpen disciplines: Applied computer science, Computer science, Security & Cryptology, Graphics & Multimedia design, General computer science, Human-computer-interaction

            Comments

            Comment on this article