Using Relational and Behavioural Semantics in the Verification of Object Models

@inproceedings{Marr2000UsingRA,
  title={Using Relational and Behavioural Semantics in the Verification of Object Models},
  author={Christie Marr and Jim Davies},
  booktitle={FMOODS},
  year={2000}
}
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.