Title | ||
---|---|---|
Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel |
Abstract | ||
---|---|---|
Within the field of object technology it is becoming recognised that constraints are a good way to produce more precise and
formal specifications than with diagrams alone. Evidence of this is that UML incorporates a standard constraint language called
OCL (Object Constraint Language). The availability of OCL will encourage UML users to add constraints to their UML models.
This paper explains OCL and demonstrates its applicability. Probably the largest application of OCL to date was its use to
define the metamodel of UML, and the experiences gained in this application are discussed.
|
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/978-3-540-48480-6_12 | Uml |
Keywords | Field | DocType |
uml metamodel,object constraint language,informal formality,formal specification,computer programming | Specification language,Programming language,UML tool,Unified Modeling Language,Computer science,Formal specification,Applications of UML,Object Constraint Language,Metamodeling,Class diagram | Conference |
Volume | ISSN | ISBN |
1618 | 0302-9743 | 3-540-66252-9 |
Citations | PageRank | References |
15 | 6.15 | 2 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Anneke Kleppe | 1 | 184 | 27.68 |
Jos Warmer | 2 | 212 | 41.21 |
Steve Cook | 3 | 15 | 6.15 |