DocumentCode :
2207894
Title :
Visual constraint diagrams: runtime conformance checking of UML object models versus implementations
Author :
Turner, Christopher J. ; Graham, T. C Nicholas ; Wolfe, Christopher ; Ball, Julian ; Holman, David ; Stewart, Hugh D. ; Ryman, Arthur G.
Author_Institution :
Sch. of Comput., Queen´´s Univ., Kingston, Ont., Canada
fYear :
2003
fDate :
6-10 Oct. 2003
Firstpage :
271
Lastpage :
276
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.
Keywords :
constraint handling; object-oriented programming; program debugging; program testing; software engineering; specification languages; Rosetta software design tool; UML object models; UML visual notation; Unified Modeling Language; VCD; linked list data structure; runtime conformance checking; visual constraint diagrams; well-formedness constraints; Computer aided software engineering; Data structures; Documentation; Laboratories; Meetings; Programming profession; Runtime; Software design; Software systems; Unified modeling language;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on
ISSN :
1938-4300
Print_ISBN :
0-7695-2035-9
Type :
conf
DOI :
10.1109/ASE.2003.1240319
Filename :
1240319
Link To Document :
بازگشت