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.
CITATION STYLE
von Maltitz, M., Diekmann, C., & Carle, G. (2017). Privacy Assessment Using Static Taint Analysis. Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, 9688, 225–235. Retrieved from http://link.springer.com/10.1007/978-3-319-39570-8
Mendeley helps you to discover research relevant for your work.