 |
Formal Techniques for Distributed Systems 12th IFIP WG 6.1 International Conference FMOODS 2010 and 30th IFIP WG 6.1 International Conference FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010 |
 |
Conference papers
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.
Cited literature [22 references]
https://hal.inria.fr/hal-01055149
Contributor : Hal Ifip <>
Submitted on : Monday, August 11, 2014 - 4:24:15 PM
Last modification on : Tuesday, February 23, 2021 - 7:24:05 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 10:11:44 PM
Contributor : Hal Ifip <>
Submitted on : Monday, August 11, 2014 - 4:24:15 PM
Last modification on : Tuesday, February 23, 2021 - 7:24:05 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 10:11:44 PM
File
61170017.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License