Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-01055149
Contributor : Hal Ifip <>
Submitted on : Monday, August 11, 2014 - 4:24:15 PM
Last modification on : Friday, August 11, 2017 - 4:16:24 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

Identifiers

Citation

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⟩

Share

Metrics

Record views

314

Files downloads

347