Integrating UML activity diagrams with temporal logic expressions

Research output: Contribution to journalConference articlepeer-review


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 languageEnglish
Pages (from-to)91-98
Number of pages8
JournalCEUR Workshop Proceedings
Publication statusPublished - 1 Dec 2005
Event10th 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 200514 Jun 2005


  • Requirements engineering
  • Temporal logic
  • Unified modeling language (UML)


Dive into the research topics of 'Integrating UML activity diagrams with temporal logic expressions'. Together they form a unique fingerprint.

Cite this