%0 Conference Proceedings
%T Reactive Semantics for Distributed UML Activities
%+ Department of Telematics
%A Kraemer, Frank Alexander
%A Herrmann, Peter
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 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)
%C Amsterdam, Netherlands
%Y John Hatcliff; Elena Zucca
%I Springer
%3 Formal Techniques for Distributed Systems
%V LNCS-6117
%P 17-31
%8 2010-06-07
%D 2010
%R 10.1007/978-3-642-13464-7_3
%K UML Activities
%K UML Semantics
%K Reactive Systems
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01055149/document
%2 https://inria.hal.science/hal-01055149/file/61170017.pdf
%L hal-01055149
%U https://inria.hal.science/hal-01055149
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-LNCS-6117
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-FORTE
%~ IFIP-FMOODS
%~ IFIP-2010