Reactive Semantics for Distributed UML Activities

Frank Alexander Kraemer and Peter Herrmann

Formal Techniques for Distributed Systems Joint 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. Proceedings. Volume 6117 of Lecture Notes in Computer Science, Springer.

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.

Springerlink via DOI

@inproceedings{KrHe:10,
  author    = {Frank Alexander Kraemer and Peter Herrmann},
  title     = {Reactive Semantics for Distributed UML Activities},
  booktitle = {Formal Techniques for Distributed Systems},
  year      = {2010},
  pages     = {17-31},
  crossref  = {DBLP:conf/forte/2010}  
}
@proceedings{DBLP:conf/forte/2010,
  editor    = {John Hatcliff and
               Elena Zucca},
  title     = {Formal Techniques for Distributed Systems, Joint 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. Proceedings},
  booktitle = {Formal Techniques for Distributed Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6117},
  year      = {2010}
}