Abstract
UML is a standard modelling language that is able to specify a wide range of object-oriented concepts. However, the diagrams it offers are many times accused of lack of rigour to specify precisely some critical requirements and therefore it is often needed to complement the semantics of the UML diagrams using OCL or any other formal language. In the case of activity diagrams (used here to describe use cases), OCL is not the most appropriate formal language, as it does not represent temporal aspects directly. Our aim is to complement the well-accepted simplicity of activity diagrams with a temporal logic specification to give a more precise semantics to the final model. This specification can be further used to validate requirements against the stakeholders using animation techniques.
| Original language | English |
|---|---|
| Pages (from-to) | 91-98 |
| Number of pages | 8 |
| Journal | CEUR Workshop Proceedings |
| Volume | 363 |
| Publication status | Published - 1 Dec 2005 |
| Event | 10th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2005 - Held in Conjunction with the 17th Conference on Advanced Information Systems, CAiSE 2005 - Porto, Portugal Duration: 13 Jun 2005 → 14 Jun 2005 |
Keywords
- Requirements engineering
- Temporal logic
- Unified modeling language (UML)