kirancodes.me
To Proof Maintenance & Beyond!
ASE 2003

Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations

Christopher J. Turner, T. C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman

DOI 10.1109/ase.2003.1240319dblp

Abstract

This paper presents visual constraint diagrams (VCD), an extension to UML (Unified Modeling Language) object diagrams for expressing constraints over object models. VCD allows designers to express well-formedness constraints that cannot be expressed using class diagrams alone; an example of such a constraint is that a linked list data structure cannot have any loops. VCD offers two advances over existing techniques: (1) they allow constraints to be expressed within the visual notation of UML, without resorting to complex textual notations such as OCL; and (2) VCD can be checked at runtime, increasing the value of design documents to developers. An editor and a checker for VCD have been implemented as part of the Rosetta software design tool.

BibTeX
@inproceedings{Turner-al:ASE03,
  author    = {Christopher J. Turner and
               T. C. Nicholas Graham and
               Christopher Wolfe and
               Julian Ball and
               David Holman and
               Hugh D. Stewart and
               Arthur G. Ryman},
  title     = {Visual Constraint Diagrams: Runtime Conformance Checking of {UML} Object Models versus Implementations},
  booktitle = {ASE},
  pages     = {271--276},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
}

Related papers