Structured Axiomatic Semantics for UML Models

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

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

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/ROOM2000.5

Self URI (journal page): https://ewic.bcs.org/

Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

Structured Axiomatic Semantics for UML Models

Abstract