S. M. Sutton-jr, P. L. Tarr, and L. J. Osterweil, An Analysis of Process Languages, CMPSCI, 1995.

C. Montangero, J. C. Derniame, and B. A. Kaba, The Software Process: Modelling and Technology, Lecture Notes In Computer Science, vol.1500, pp.1-14, 1999.
DOI : 10.1007/3-540-49205-4_1

A. Ieee, IEEE Standard for Software Verification and Validation Plans, 1987.

S. M. Sutton-jr, D. Heimbigner, and L. J. Osterweil, APPL/A: a language for software process programming, ACM Transactions on Software Engineering and Methodology, vol.4, issue.3, pp.221-286, 1995.
DOI : 10.1145/214013.214017

J. Lonchamp, A structured conceptual and terminological framework for software process engineering, [1993] Proceedings of the Second International Conference on the Software Process-Continuous Software Process Improvement, pp.41-53, 1993.
DOI : 10.1109/SPCON.1993.236823

F. Ruiz-gonzalez and G. Canfora, Software Process: Characteristics, Technology and Environments " UPGrade, The European Journal for the Informatics Professional, vol.5, pp.6-10, 2004.

G. E. Kaiser, N. S. Barghouti, and M. H. Sokolsky, Preliminary experience with process modeling in the MARVEL software development environment kernel, Twenty-Third Annual Hawaii International Conference on System Sciences, pp.131-140, 1990.
DOI : 10.1109/HICSS.1990.205161

S. Bandinelli, A. Fuggetta, and C. Ghezzi, Software process model evolution in the SPADE environment, IEEE Transactions on Software Engineering, vol.19, issue.12, pp.1128-1144, 1993.
DOI : 10.1109/32.249659

R. Conradi, M. L. Jaccheri, and C. Mazzi, Design, Use and Implementation of SPELL, a language for Software Process Modelling and Evolution, Proceedings of the 2nd European Workshop on Software Process Technology, pp.167-177, 1992.

E. , D. Nitto, L. Lavazza, and M. Schiavoni, Deriving executable process descriptions from UML, Proceedings of the 24th International Conference on Software Engineering, pp.155-165, 2002.

B. Henderson-sellers and C. A. González-pérez, A comparison of four process metamodels and the creation of a new generic standard, Information and Software Technology, vol.47, issue.1, pp.49-65, 2005.
DOI : 10.1016/j.infsof.2004.06.001

A. Finkelstein, J. Kramer, and B. Nuseibeh, Software process modelling and technology: Advanced Software development Series, 1994.

M. Dumas, A. Ter-hofstede, and H. M. , UML Activity Diagrams as a Workflow Specification Language, Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pp.76-90, 2001.
DOI : 10.1007/3-540-45441-1_7

W. Van-der-aalst, A. Ter-hofstede, and B. Kiepuszewski, Workflow Patterns, Journal of Distributed and Parallel Databases, vol.26, issue.8, pp.5-51, 2003.
DOI : 10.1007/978-1-4899-7993-3_826-2

S. White, Process modeling notations and workflow patterns, Lighthouse Point, pp.265-294, 2004.

S. Jablonski and C. Bussler, Workflow Management: Modeling Concepts, Architecture and Implementation, 1996.

P. Wohed, W. Van-der-aalst, and M. Dumas, Pattern-based analysis of UML activity diagrams, Proceedings of the 25th International Conference on Conceptual Modeling (ER'2005), pp.63-78, 2005.

N. Russell, A. Ter-hofstede, and D. Edmond, Workflow Data Patterns: Identification, Representation and Tool Support, Proceedings of the 25th International Conferenceon Conceptual Modeling, pp.353-368, 2005.
DOI : 10.1007/11568322_23

N. Russell, W. Van-der-aalst, and A. Ter-hofstede, Workflow resource patterns:Identification, representation and tool support, Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), pp.216-232, 2005.

O. , S. Subset-for-executable, U. Models, and R. Omg, Semantics of UML 2.0 Activity Diagram for Business Modeling by Means of Virtual MachineSTL: The UML2,0 Semantics Project, Beta1/, 2005. [24] V. Vitolins, and A. Kalnins Proceedings of the 9th IEEE International EDOC Enterprise Computing Conference26] H. Störrle, and J. H. Hausmann Proceedings of Liggesmeyer, K. Pohl, and M, pp.181-194, 2005.

]. J. Goedicke27, L. Barros, S. Gomes, M. I. Sarstedt, J. Kellner et al., Process modeling Evaluating the Requirements for Software Process Modelling Languages and Systems Taxonomy of process modeling languages A Survey and Assessment of Software Process Representation Formalisms Unified Process Specification Language: Requirements for Modeling Process Fundamental Software Process Concepts Towards a Reference Framework for Process Concepts Software process development and enactment: concepts and definitionsA structured conceptual and terminological framework for software process engineering Software process: a roadmap Using Little-JIL to Coordinate Agents in Software Engineering Project Planning, Scheduling, and Control in Construction: An Encyclopedia of Terms and Applications A Knowledge-based Approach to Handling Exceptions in Workflow Systems An Experimental Investigation of Formality in UML-Based Development A general framework for formalizing UML with formal languages, Software Engineering Actions as Activities and Activities as Petri nets Process support for Distributed Team-based Software Development (PDTSD'99)IEEE International Conference on Computer Systems and Applications 1st European Workshop on Software Process Modeling 2nd European Workshop on Software Process Technology 2nd International Conference on Software Process. 'Continuous Software Process Improvement Conference on The Future of Software Engineering 15th IEEE international conference on Automated Software Engineering Proceedings of the 23rd International Conference on Software Engineering Meta-modelling semantics of UML: the pUML approach 2nd International Conference on the Unified Modeling Language ComProLab: A Component Programming Laboratory Proceedings 9th Software Engineering and Knowledge Engineering Conference. [46] X. Franch, and J. Rib, " A Structured Approach to Software Process Modelling Proceedings of the 24th Conference on EUROMICRO, pp.117-128, 1991.

S. Chou, A Process Modeling Language Consisting of High Level UML-based Diagrams and Low Level Process Language., The Journal of Object Technology, vol.1, issue.4, pp.137-163, 2002.
DOI : 10.5381/jot.2002.1.4.a3

R. Bendraou, M. Gervais, and X. Blanc, UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling, Proceedings of ACM/IEEE 8th MoDELS/UML, pp.17-38, 2005.
DOI : 10.1007/11557432_3
URL : https://hal.archives-ouvertes.fr/hal-01486927

B. Combemale, A. Caplain, and X. Cregut, Towards a rigorous process modeling with SPEM, Proceedings of the ICEIS'06, 2006.

. Osellus, Osellus IRIS Suite, www.Osellus.com

. Softeam, Objecteering

O. and D. Interchange, adopted specification, OMG document formal, 2006.

B. Omg, Business Process Modeling Notation final adopted specification, OMG document dtc/06-02-01, 2006.

R. Bendraou, A. Sadovykh, and M. Gervais, Software Process Modeling and Execution: The UML4SPM to WS-BPEL Approach, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007), pp.314-321, 2007.
DOI : 10.1109/EUROMICRO.2007.55
URL : https://hal.archives-ouvertes.fr/hal-01334845

C. A. Gunter and D. S. Scott, Semantic Domains, 1991.
DOI : 10.1016/B978-0-444-88074-1.50017-2

R. Bendraou, B. Combemale, and X. Cregut, Definition of an Executable SPEM 2.0, 14th Asia-Pacific Software Engineering Conference (APSEC'07), pp.390-397, 2007.
DOI : 10.1109/ASPEC.2007.60
URL : https://hal.archives-ouvertes.fr/hal-00371555

G. Cugola, E. D. Nitto, and A. Fuggetta, The JEDI event-based infrastructure and its application to the development of the OPSS WFMS, IEEE Transactions on Software Engineering, vol.27, issue.9, pp.827-850, 2001.
DOI : 10.1109/32.950318

S. Chou, Process Program Development Based on UML and Action Cases, Part 1: the Model, Journal of Object-Oriented Programming, vol.13, issue.2, pp.21-27, 2000.

. Modelware, Modelware, IST European Project contract no 511731

. Modelplex, Modelplex, IST European Project contract IST-3408

R. Bendraou, M. Gervais, and X. Blanc, UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), pp.297-306, 2006.
DOI : 10.1109/EDOC.2006.65

R. Bendraou, UML4SPM Publications, Prototype, notation and evaluation using the ISPW-6 Process example

R. Farahbod, U. Gläasser, M. Vajihollahi76, ]. D. Fahland, W. Reisig et al., Specification and Validation of the Business Process Execution Language for Web Services ASM-based semantics for BPEL: The negative control flow Transforming BPEL to Petri nets, Abstract State Machines Proceedings of the 12th International Workshop on Abstract State Machines Proceedings of 3rd International Conference on Business Process Management78] C. Ouyang, W. M. P. van der Aalst, S. Breutel et al., Formal Semantics and Analysis of Control Flow in WS-BPEL BPM Center Report BPM-05- 13, BPMcenter.org, pp.78-94, 2004.