W. Van-der-aalst and K. Van-hee, Workflow Management: Models, Methods, and Systems, 2002.

M. Hepp and D. Roman, An Ontology Framework for Semantic Business Process Management, Proceedings of the 8th International Conference Wirtschaftsinformatik, 2007.

K. Liu, Semiotics in Information Systems Engineering, 2000.
DOI : 10.1017/CBO9780511543364

R. J. Back, Refinement calculus, part II: Parallel and reactive programs, Stepwise Refinement of Distributed Systems, pp.67-93, 1990.
DOI : 10.1007/3-540-52559-9_61

M. Ehrig, A. Koschmider, and A. Oberweis, Measuring Similarity Between Semantic Business Process Models, Fourth Asia-Pacific Conference on Conceptual Modelling (APCCM2007), Conferences in Research and Practice in Information Technology, pp.71-80, 2007.

S. Halle, R. Villemaire, O. Cherkaoui, and B. Ghandour, Model Checking Data-Aware Workflow Properties with CTL-FO+, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp.267-278, 2007.
DOI : 10.1109/EDOC.2007.36

M. A. Aslam, S. Auer, and M. Böttcher, From BPEL4WS Process Model to Full OWL-S Ontology, Proc. of the 3rd European Semantic Web Conference, 2006.

M. Inverno and M. Luck, Understanding Agent Systems, Series on Agent Technology, 2004.

C. Castelfranchi and R. Conte, Paolucci: Normative Reputation and the Costs of Compliance, Journal of Artificial Societies and Social Simulation, vol.1, issue.3, 1998.

A. Rodríguez, E. Fernández-medina, and M. Piattini, CIM to PIM Transformation: A Reality, International Conference on Research and Practical Issues of Enterprise Information Systems (2). International Federation For Information Processing, pp.1239-1249, 2007.
DOI : 10.1007/978-0-387-76312-5_50

A. Rodríguez, E. Fernández-medina, and M. Piattini, Towards CIM to PIM Transformation: From Secure Business Processes Defined in BPMN to Use-Cases, Process Management, pp.408-415, 2007.
DOI : 10.1007/978-3-540-75183-0_30

W. Van-der-aalst and K. Lassen, Translating Workflow Nets to BPEL, BETA Working Paper Series, vol.145, 2005.

A. Rezazadeh, N. Evans, and M. Butler, Redevelopment of an Industrial Case Study Using Event-B and Rodin, The British Computer Society -Formal Aspects of Computing Science Christmas 2007 Meeting Formal Methods In Industry, pp.1-8, 2007.