|
|
 |
|
Jeudi 19 Février
| Heure: |
16:00 - 17:00 |
| Lieu: |
Salle B107, bâtiment B, Université de Villetaneuse |
| Résumé: |
Modelling Timed Concurrent Systems Using Activity Diagram Patterns |
| Description: |
Étienne André UML is the de facto standard for modelling concurrent systems in the industry.
Activity diagrams allow designers to model workflows or business processes.
Unfortunately, their informal semantics prevents the use of automated verification techniques.
In this paper,
we first propose activity diagram patterns for modelling timed concurrent systems;
we then devise a modular mechanism to compose timed diagram fragments into a UML activity diagram that also allows for refinement, and
we formalise the semantics of our patterns using time Petri nets.
Our approach guides the modeller task% (helping to avoid common mistakes), and allows for automated verification.
Joint work with Christine Choppy and Thierry Noulamo |
|
|
