Reactive Semantics for Distributed UML Activities
Résumé
We define a reactive semantics for a subset of UML activities that is suitable as precise design language for reactive software systems. These semantics identify run-to-completion steps for execution on the level of UML activities as so-called activity steps. We show that activities adhering to these semantics and a set of rules lead to event-driven and bounded specifications that can be implemented automatically by model transformations and executed efficiently using runtime support systems.
Domaines
Bibliothèque électronique [cs.DL]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...