Loading...
Please wait, while we are loading the content...
Similar Documents
OCL component invariants (2001)
| Content Provider | CiteSeerX |
|---|---|
| Author | Baumeister, Hubert Hennicker, Rolf Wirsing, Martin |
| Description | The “Object Constraint Language ” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for instance, can be used to state invariants and pre- and post-conditions in class diagrams. We discuss some problems in ensuring non-local, navigating OCL class invariants, as for bidirectional associations, in programming language implementations of UML diagrams, like in Java. As a remedy, we propose a component-based system specification method for using OCL constraints, distinguishing between global component invariants and local class invariants. 1 |
| File Format | |
| Language | English |
| Publisher Date | 2001-01-01 |
| Publisher Institution | Proc. Wsh. Montery - Engineering Automation for Software Intensive System Integration, U.S. Naval Postgraduate School |
| Access Restriction | Open |
| Subject Keyword | State Invariant Object Constraint Language Local Class Invariant Global Component Invariant Navigational Expression Language Class Diagram Uml Diagram Bidirectional Association Language Implementation Formal Notation Ocl Constraint Ocl Component Invariant Model Element Component-based System Specification Method Navigating Ocl Class Invariant |
| Content Type | Text |
| Resource Type | Article |
