Reactive Semantics for Distributed UML Activities

Abstract : 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.
Type de document :
Communication dans un congrès
John Hatcliff; Elena Zucca. 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. Springer, Lecture Notes in Computer Science, LNCS-6117, pp.17-31, 2010, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-13464-7_3〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01055149
Contributeur : Hal Ifip <>
Soumis le : lundi 11 août 2014 - 16:24:15
Dernière modification le : vendredi 11 août 2017 - 16:16:24
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 22:11:44

Fichier

61170017.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Frank Alexander Kraemer, Peter Herrmann. Reactive Semantics for Distributed UML Activities. John Hatcliff; Elena Zucca. 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. Springer, Lecture Notes in Computer Science, LNCS-6117, pp.17-31, 2010, Formal Techniques for Distributed Systems. 〈10.1007/978-3-642-13464-7_3〉. 〈hal-01055149〉

Partager

Métriques

Consultations de la notice

211

Téléchargements de fichiers

156