This paper shows how a combination of relational and behavioural semantics might be used in the creation and verification of object models. Specifications written in UML may be expressed in terms of abstract data types and processes; different notions of refinement may then be used to establish consistency between diagrams, or to verify that a design is faithful to the specification. © 2000 International Federation for Information Processing.

Original publication

DOI

10.1007/978-0-387-35520-7_8

Type

Conference paper

Publication Date

01/12/2000

Volume

49 AICT

Pages

163 - 182