loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Technology of Object-Oriented Languages and Systems
Constraint Diagrams: A Step Beyond UML
Santa Barbara, California
August 01-August 05
ISBN: 0-7695-0278-4
ASCII Text
x 
 
Joseph (Yossi) Gil, John Howse, Stuart Kent, "Constraint Diagrams: A Step Beyond UML," Technology of Object-Oriented Languages, International Conference on, pp. 453, Technology of Object-Oriented Languages and Systems, 1999.
 
 
BibTex
x
 
@article{ 10.1109/TOOLS.1999.10066,
author = {Joseph (Yossi) Gil and John Howse and Stuart Kent},
title = {Constraint Diagrams: A Step Beyond UML},
journal ={Technology of Object-Oriented Languages, International Conference on},
volume = {0},
year = {1999},
isbn = {0-7695-0278-4},
pages = {453},
doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10066},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Technology of Object-Oriented Languages, International Conference on
TI - Constraint Diagrams: A Step Beyond UML
SN - 0-7695-0278-4
SP
EP
A1 - Joseph (Yossi) Gil,
A1 - John Howse,
A1 - Stuart Kent,
PY - 1999
KW - Modelling
KW - visual formalism
KW - object-oriented software development
KW - formal methods
VL - 0
JA - Technology of Object-Oriented Languages, International Conference on
ER -
 
John Howse, University of Brighton
Stuart Kent, University of Kent
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It has become the de facto standard. Most of its notations are diagrammatic. An exception to this is the Object Constraint Language (OCL) which is essentially a textual, stylised form of first order predicate logic. We describe a notation, constraint diagrams, which were introduced as a visual technique intended to be used in conjunction with the UML for object-oriented modelling. Constraint diagrams provide a diagrammatic notation for expressing constraints (e.g., invariants) that could only be expressed in UML using OCL.
Index Terms:
Modelling, visual formalism, object-oriented software development, formal methods
Citation:
Joseph (Yossi) Gil, John Howse, Stuart Kent, "Constraint Diagrams: A Step Beyond UML," tools, pp.453, Technology of Object-Oriented Languages and Systems, 1999
Usage of this product signifies your acceptance of the Terms of Use.