Using relational and behavioural semantics in the verification of object models
Bolton C., Davies J.
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.