Workflow Management: Models, Methods, and Systems, 2002. ,
An Ontology Framework for Semantic Business Process Management, Proceedings of the 8th International Conference Wirtschaftsinformatik, 2007. ,
Semiotics in Information Systems Engineering, 2000. ,
DOI : 10.1017/CBO9780511543364
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
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. ,
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
From BPEL4WS Process Model to Full OWL-S Ontology, Proc. of the 3rd European Semantic Web Conference, 2006. ,
Understanding Agent Systems, Series on Agent Technology, 2004. ,
Paolucci: Normative Reputation and the Costs of Compliance, Journal of Artificial Societies and Social Simulation, vol.1, issue.3, 1998. ,
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
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
Translating Workflow Nets to BPEL, BETA Working Paper Series, vol.145, 2005. ,
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. ,