Unified Modeling Language: Superstructure, version 2.2, pp.2009-2011, 2009. ,
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
Engineering Real Time Systems: An Object-Oriented Methodology Using SDL, 1993. ,
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
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
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
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. ,
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
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
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
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
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
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
Towards a Formal Semantics of UML 2.0 Activities, Software Engineering, Fachtagung des GI-Fachbereichs Softwaretechnik, LNI, pp.117-128, 2005. ,
Actions as Activities and Activities as Petri Nets, Workshop on Critical Systems Development with UML, 2003. ,
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
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
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
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
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. ,
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
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