This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th IEEE International Conference on Automated Software Engineering (ASE'03)
Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations
Montreal, Quebec, Canada
October 06-October 10
ISBN: 0-7695-2035-9
ASCII Text
x 
 
Christopher J. Turner, T.C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman, "Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations," 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp. 271, 18th IEEE International Conference on Automated Software Engineering (ASE'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2003.1240319,
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},
journal ={2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)},
volume = {0},
year = {2003},
issn = {1527-1366},
pages = {271},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2003.1240319},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
TI - Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations
SN - 1527-1366
SP
EP
A1 - Christopher J. Turner,
A1 - T.C. Nicholas Graham,
A1 - Christopher Wolfe,
A1 - Julian Ball,
A1 - David Holman,
A1 - Hugh D. Stewart,
A1 - Arthur G. Ryman,
PY - 2003
KW - null
VL - 0
JA - 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)
ER -
 
Christopher J. Turner, Queen?s University, Kingston, Ontario,
T.C. Nicholas Graham, Queen?s University, Kingston, Ontario,
Christopher Wolfe, Queen?s University, Kingston, Ontario,
Julian Ball, Queen?s University, Kingston, Ontario,
David Holman, Queen?s University, Kingston, Ontario,
Hugh D. Stewart, Queen?s University, Kingston, Ontario,
Arthur G. Ryman, IBM Toronto Software Solutions Laboratory
This paper presents Visual Constraint Diagrams (VCD?s), an extension to UML object diagrams for expressing constraints over object models. VCD?s allow 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?s offer 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; 2) VCD?s can be checked at runtime, increasing the value of design documents to developers. An editor and a checker for VCD?s have been implemented as part of the Rosetta software design tool.
Citation:
Christopher J. Turner, T.C. Nicholas Graham, Christopher Wolfe, Julian Ball, David Holman, Hugh D. Stewart, Arthur G. Ryman, "Visual Constraint Diagrams: Runtime Conformance Checking of UML Object Models versus Implementations," ase, pp.271, 18th IEEE International Conference on Automated Software Engineering (ASE'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.