V. Rajsiri, J. P. Lorré, F. Bénaben, and H. Pingaud, Knowledge-based system for collaborative process specification, Computers in Industry, vol.61, issue.2, pp.161-175, 2010.
DOI : 10.1016/j.compind.2009.10.012
URL : https://hal.archives-ouvertes.fr/hal-01207242

T. W. Malone, K. Crowston, and G. A. Herman, Organizing business knowledge: the MIT process handbook, 2003.

D. Neiger, L. Churilov, and A. Flitman, Business Objectives Modelling, Value- Focused Business Process Engineering : a Systems Approach, pp.1-26, 2009.
DOI : 10.1007/978-0-387-09521-9_4

C. Menzel and R. J. Mayer, The IDEF Family of Languages, Handbook on Architectures of Information Systems, pp.215-249, 2006.

R. M. Smullyan, First-Order Logic, 1995.
DOI : 10.1201/b10689-23

F. Benaben, J. Touzi, V. Rajsiri, and J. P. Lorré, Mediation Information System Design in a collaborative SOA context through a MDD Approach, Proceedings of MDISIS'08, pp.1-17, 2008.

W. Sun, K. Zhang, S. K. Chen, X. Zhang, and H. Liang, Software as a Service: An Integration Perspective, Service-Oriented Computing?ICSOC 2007, pp.558-569, 2010.
DOI : 10.1007/978-3-540-74974-5_52

B. Wu, S. Deng, Y. Li, J. Wu, and J. Yin, Reference Models for Saas Oriented Business Workflow Management Systems, 2011 IEEE International Conference on Services Computing, pp.242-249, 2011.
DOI : 10.1109/SCC.2011.118

A. T. Endo and A. Simao, Model-Based Testing of Service-Oriented Applications via State Models, 2011 IEEE International Conference on Services Computing, pp.432-439, 2011.
DOI : 10.1109/SCC.2011.77

F. Bénaben, N. Boissel-dallier, J. P. Lorré, and H. Pingaud, Semantic Reconciliation in Interoperability Management through Model-Driven Approach, Collaborative Networks for a Sustainable World, pp.705-712, 2010.
DOI : 10.1007/978-3-642-15961-9_83

S. Zribi, F. Bénaben, A. B. Hamida, and J. P. Lorré, Towards a Service and Choreography Governance Framework for Future Internet, 2012.
DOI : 10.1007/978-1-4471-2819-9_25

W. Mu, F. Bénaben, H. Pingaud, N. Boissel-dallier, and J. Lorré, A Model-Driven BPM Approach for SOA Mediation Information System Design in a Collaborative Context, 2011 IEEE International Conference on Services Computing, pp.747-748, 2011.
DOI : 10.1109/SCC.2011.66