Software Abstractions: logic, language and analysis, 2011. ,
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
A Process-Algebraic Approach to Workflow Specification and Refinement, In: Software Composition, pp.51-65, 2007. ,
DOI : 10.1007/978-3-540-77351-1_5
A static compliance-checking framework for business process models, IBM Systems Journal, vol.46, issue.2, pp.335-361, 2007. ,
DOI : 10.1147/sj.462.0335
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows, pp.425-439, 2009. ,
DOI : 10.1093/comjnl/44.4.246
Instantaneous Soundness Checking of Industrial Business Process Models, pp.278-293, 2009. ,
DOI : 10.1007/978-3-540-85758-7_10
Soundness of workflow nets: classification, decidability, and analysis, Formal Aspects of Computing, vol.179, issue.6, pp.333-363, 2011. ,
DOI : 10.1007/s00165-010-0161-4
A formal semantics of timed activity diagrams and its PROMELA translation, 12th Asia-Pacific Software Engineering Conference (APSEC'05), p.8, 2005. ,
DOI : 10.1109/APSEC.2005.7
THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT, Journal of Circuits, Systems and Computers, vol.08, issue.01, pp.21-66, 1998. ,
DOI : 10.1142/S0218126698000043
Transformation of an activity model into a Colored Petri Net model, Trendz in Information Sciences & Computing(TISC2010), pp.32-37, 2010. ,
DOI : 10.1109/TISC.2010.5714602
Workflow patterns: On the expressive power of (petri-net-based) workflow languages, In: of DAIMI Citeseer, 2002. ,
Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams, Conceptual Modeling?ER 2005, pp.63-78, 2005. ,
DOI : 10.1007/11568322_5
Bounded model checking of temporal formulas with alloy. arXiv preprint arXiv:1207, p.2746, 2012. ,
DOI : 10.1007/978-3-662-43652-3_29
URL : http://arxiv.org/abs/1207.2746
UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling, MoDELS, pp.17-38, 2005. ,
DOI : 10.1007/11557432_3
URL : https://hal.archives-ouvertes.fr/hal-01486927
A comparison of six uml-based languages for software process modeling. Software Engineering, IEEE Transactions on, vol.36, issue.5, pp.662-675, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00477520
Applying UML and software simulation for process definition, verification, and validation, Information and Software Technology, vol.50, issue.9-10, pp.897-911, 2008. ,
DOI : 10.1016/j.infsof.2007.10.015
Analyzing control-flow and data-flow in workflow processes in a unified way, Computer Science Report, pp.8-31, 2008. ,
Formalization of fUML: An Application to Process Verification, 2014. ,
DOI : 10.1007/978-3-319-07881-6_24
URL : https://hal.archives-ouvertes.fr/hal-01088190
Coloured petri nets. Petri nets: central models and their properties, pp.248-299, 1987. ,
DOI : 10.1007/978-3-642-60794-3
Temporal Logic Model Checking in Alloy, Abstract State Machines , Alloy, B, VDM, and Z, pp.150-163, 2012. ,
DOI : 10.1007/978-3-642-30885-7_11
UML2Alloy: A Challenging Model Transformation, Model Driven Engineering Languages and Systems, pp.436-450, 2007. ,
DOI : 10.1007/978-3-540-75209-7_30
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.101.7905
Generation of process using multi-objective genetic algorithm, Proceedings of the 2013 International Conference on Software and System Process, ICSSP 2013, 2013. ,
DOI : 10.1145/2486046.2486076
URL : https://hal.archives-ouvertes.fr/hal-01088189
Change patterns and change support features ??? Enhancing flexibility in process-aware information systems, Data & Knowledge Engineering, vol.66, issue.3, pp.438-466, 2008. ,
DOI : 10.1016/j.datak.2008.05.001
Using ??-calculus to formalize UML activity diagram for business process modeling, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings., pp.47-54, 2003. ,
DOI : 10.1109/ECBS.2003.1194782
Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP, Formal Methods and Software Engineering, pp.371-387, 2010. ,
DOI : 10.1007/978-3-642-16901-4_25
Analyzing process models using graph reduction techniques, Information Systems, vol.25, issue.2, pp.117-134, 2000. ,
DOI : 10.1016/S0306-4379(00)00012-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.737
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8