UML 2.0 interactions with OCL/RT constraints
2008
The Unified Modeling Language 2.0 Interactions language describes inter-component behavior. However, it cannot define meaningful time constraints. OCL for real time is a language for real-time constraints specification well-suited for describing constraints on interactions. This work defines a formal semantics for the merger of those languages. The semantics allows the recognition of valid and invalid behaviors of a system with time constraints. An analysis of the properties derived from the semantics is also done. In particular, the notions of refinement of interactions and refinement of constraints, intended for formal verification, are explored.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
16
References
9
Citations
NaN
KQI