M. Object and . Group, Unified Modeling Language: Superstructure, version 2.2, pp.2009-2011, 2009.

A. Pnueli, Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends, Current Trends in Concurrency. Overviews and Tutorials, pp.510-584, 1986.
DOI : 10.1007/BFb0027047

R. Braek and Ø. Haugen, Engineering Real Time Systems: An Object-Oriented Methodology Using SDL, 1993.

F. A. Kraemer, V. Slåtten, and P. Herrmann, Model-Driven Construction of Embedded Applications Based on Reusable Building Blocks ??? An Example, SDL 2009, pp.1-18, 2009.
DOI : 10.1016/S1389-1286(00)00089-X

A. Herstad, E. Nersveen, H. Samset, A. Storsveen, S. Svaet et al., Connected objects: Building a service platform for M2M, 2009 13th International Conference on Intelligence in Next Generation Networks, 2009.
DOI : 10.1109/ICIN.2009.5357057

F. A. Kraemer and P. Herrmann, Automated Encapsulation of UML Activities for Incremental Development and Verification, Model Driven Engineering Languages and Systems, 12th International Conference, pp.571-585, 2009.
DOI : 10.1007/3-540-45102-1_14

F. A. Kraemer and P. Herrmann, Transforming Collaborative Service Specifications into Efficiently Executable State Machines, 6th Int. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT), Proceedings. Electronic Communications of the EASST, 2007.

H. Yamaguchi, K. El-fakih, G. Von-bochmann, and T. Higashino, Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets, Distributed Computing, vol.16, issue.1, pp.21-35, 2003.
DOI : 10.1007/s00446-002-0074-4

L. A. Gunawan, P. Herrmann, and F. A. Kraemer, Towards the Integration of Security Aspects into System Development Using Collaboration-Oriented Models, Security Technology. International Conference on Security Technology Proceedings. Communications in Computer and Information Science, pp.72-85, 2009.
DOI : 10.1007/978-3-642-10847-1_10

C. Bock, UML 2 Activity and Action Models, Part 4: Object Nodes., The Journal of Object Technology, vol.3, issue.1, pp.27-41, 2004.
DOI : 10.5381/jot.2004.3.1.c3

R. Eshuis, Symbolic model checking of UML activity diagrams, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, pp.1-38, 2006.
DOI : 10.1145/1125808.1125809

R. Eshuis and R. Wieringa, Comparing Petri Net and Activity Diagram Variants for Workflow Modelling ??? A Quest for Reactive Petri Nets, Petri Net Technology for Communication-Based Systems, pp.321-351, 2003.
DOI : 10.1007/978-3-540-40022-6_16

H. Störrle, Semantics and Verification of Data Flow in UML 2.0 Activities, Electronic Notes in Theoretical Computer Science, vol.127, issue.4, pp.35-52, 2005.
DOI : 10.1016/j.entcs.2004.08.046

H. Störrle and J. H. Hausmann, Towards a Formal Semantics of UML 2.0 Activities, Software Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik, LNI, pp.117-128, 2005.

J. P. Barros and L. Gomes, Actions as Activities and Activities as Petri Nets, Workshop on Critical Systems Development with UML, 2003.

M. L. Crane and J. Dingel, Towards a Formal Account of a Foundational Subset for Executable UML Models, Model Driven Engineering Languages and Systems, 11th Int. Conference, MoDELS 2008, Proceedings. LNCS, pp.675-689, 2008.
DOI : 10.1007/978-3-540-87875-9_47

M. L. Crane and J. Dingel, Towards a UML virtual machine, Proceedings of the 2008 conference of the center for advanced studies on collaborative research meeting of minds, CASCON '08, pp.96-110, 2008.
DOI : 10.1145/1463788.1463799

G. Engels, C. Soltenborn, and H. Wehrheim, Analysis of UML Activities Using Dynamic Meta Modeling, LNCS, vol.15, issue.1, pp.76-90, 2007.
DOI : 10.1007/3-540-45657-0_29

S. Sarstedt and W. Guttmann, An ASM Semantics of Token Flow in UML 2 Activity Diagrams, Ershov Memorial Conference, pp.349-362, 2006.
DOI : 10.1007/978-3-540-70881-0_30

S. Sarstedt, S. Gessenharter, J. Kohlmeyer, A. Raschke, and M. Schneiderhan, ActiveChartsIDE: An Integrated Software Development Environment Comprising a Component for Simulating UML 2 Activity Charts, European Simulation and Modelling Conference (ESM'05), Proceedings, pp.66-73, 2005.

W. Van-der-aalst and T. Hofstede, Workflow Patterns, Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools Proceedings. DAIMI, pp.1-20, 2002.
DOI : 10.1007/978-1-4899-7993-3_826-2

F. A. Kraemer, V. Slåtten, and P. Herrmann, Tool support for the rapid composition, analysis and implementation of reactive services, Journal of Systems and Software, vol.82, issue.12, pp.2068-2080, 2009.
DOI : 10.1016/j.jss.2009.06.057