|
Integrating UML Activity Diagrams with Temporal Logic Expressions |
|
João Araújo, Ana Moreira
|
|
maandag, 13 juni 2005 |
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.
[PDF]
[BibteX]
Alleen geregistreerde gebruikers kunnen reacties geven.
Log in of registreer. |
