Reactive Semantics for Distributed UML Activities - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2010

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.
Fichier principal
Vignette du fichier
61170017.pdf (336.83 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01055149 , version 1 (11-08-2014)

Licence

Identifiants

Citer

Frank Alexander Kraemer, Peter Herrmann. Reactive Semantics for Distributed UML Activities. Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.17-31, ⟨10.1007/978-3-642-13464-7_3⟩. ⟨hal-01055149⟩
122 Consultations
181 Téléchargements

Altmetric

Partager

More