Towards an Ontology-driven Framework for Workflow Analysis

Hlomani Hlomani, Deborah Stacey


Workflow management and the the whole field of business process management has seen a lot of research interest. This interest has evolved from the initial quest to automate manufacturing processes to the formalization of process models. The reason for this interest can arguably be attributed to the fact that process models form the core of workflow management systems. A plethora of modelling languages and notations have been created through the years, albeit with dominance of proprietary languages that has been argued to be lacking in terms of having formal semantics. The informal languages have seen more adoption at the expense of those that are termed “academic languages” even though academic languages are believed to be more formal. This paper considers the aspects of model transformation with the intension to bridge the gap between modelling and analysis. The paper proposes a semantic approach (using ontologies) to both the mapping and transformation of business process models written in one language (source) to another (target).


  1. Almeida, T., Vieira, S. C., and Casanova, M. A. (2004). Flexible workflow execution through an ontologybased approach. In Workshop on Ontologies as Software Engineering Artifacts (OOPSLA).
  2. Atsa, R., Marcel, E., Ndjodo, F., and Aloo, G. A. (2011). A formal framework for business process modeling. International Journal of Computer Applications, 12(6):27-32.
  3. Blake, M. and Nowlan, M. (2008). Taming web services from the wild. IEEE Internet computing, 12:62-69.
  4. Cardoso, J., Mendling, J., Neumann, G., and Reijers, H. (2006). A discourse on complexity of process models. In Eder, J. and Dustdar, S., editors, Business Process Management Workshops, volume 4103 of Lecture Notes in Computer Science, pages 117-128. Springer Berlin / Heidelberg.
  5. Cardoso, J. and Sheth, A. (2005). Introduction to Semantic Web Services and Web Process Composition, volume 3387 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, Berlin, Heidelberg.
  6. Charfi, A. and Mezini, M. (2007). AO4BPEL: An Aspectoriented Extension to BPEL. World wide web, 10:309-344.
  7. Consortium, W. W. W. (2009). OWL 2 Web Ontology Language, Document Overview: W3C Recommendation 27 October 2009. W3C. 2009/REC-owl2-overview-20091027/.
  8. Fan, W. and Weinstein, S. (1999). Specifying and reasoning about workflows with path constraints. In Hui, L. and Lee, D.-L., editors, Internet Applications, volume 1749 of Lecture Notes in Computer Science, pages 25-54. Springer Berlin / Heidelberg.
  9. Gillespie, M. G., Stacey, D. A., and Crawford, S. S. (2011). Designing Ontology-Driven System Composition Knowledge and Processes to Satisfy User Expectations (in publication). Lecture Notes in Computer Science. Springer-Verlag.
  10. Group, O. M. (2009). Ontology Definition Metamodel - OMG Document Number: formal/2009-05-01. OMG.
  11. Gruber, T. R. (1993). Toward principles for the design of ontologies used for knowledge sharing. In International Journal of Human-Computer Studies, pages 907-928. Kluwer Academic Publishers.
  12. Hlomani, H. and Stacey, D. A. (2009). An ontology driven approach to software systems composition. In International Conference of Knowledge Engineering and Ontology Development, pages 254-260. INSTICC.
  13. Jenz, D. E. (2003). Simplifyingthe software development value chain through ontology-driven software artifact generation.
  14. Jovanovic, J., Siadaty, M., Lages, B., and Spors, K. (2011). IntelLEO workflow ontology.
  15. Junginger, S. (2000). The workflow management coalition standard wpdl: First steps towards formalization. In 7th European Concurrent Engineering Conference (ECEC2000), pages 1-6.
  16. Kim, J., Gil, Y., and Spraragen, M. (2010). Principles for interactive acquisition and validation of workflows.
  17. Lohmann, N., Verbeek, E., and Dijkman, R. (2008). Petri net transformations for business processes - a survey. Transactions on Petri Nets and Other Models of Concurrency.
  18. Nyulas, C., OConnor, M., Tu, S., Buckeridge, D., Okhmatovskaia, A., and Musen, M. (2008). An ontologydriven framework for deploying jade agent systems.
  19. Salimifard, K. and Wright, M. (2001). Petri net-based modelling of workflow systems: An overview. European Journal of Operational Research, 134(3):664 - 676.
  20. van der Aalst, W. (2003). Pi calculus versus petri nets: Let us eat ”humble pie” rather than further inflate the ”pi hype”.
  21. van der Aalst, W. and Hofstede, A. H. M. T. (2002). Yawl: Yet another workflow language. Information Systems, 30:245-275.
  22. Wang, S., Shen, W., and Hao, Q. (2005). Agent based workflow ontology for dynamic business process composition. International Conference on Computer Supported Cooperative Work in Design, 1.
  23. Weske, M., Vossen, G., and Puhlmann, F. (2006). Workflow and service composition languages. In Bernus, P., Mertins, K., and Schmidt, G., editors, Handbook on Architectures of Information Systems, International Handbooks on Information Systems, pages 369-390. Springer Berlin Heidelberg.
  24. wide Web Consortium, W. (2004). Mark-up for Web Services. Submission/ OWL-S/”. OWL-S: Semantic ”http://

Paper Citation

in Harvard Style

Hlomani H. and Stacey D. (2012). Towards an Ontology-driven Framework for Workflow Analysis . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012) ISBN 978-989-8565-30-3, pages 405-410. DOI: 10.5220/0004165404050410

in Bibtex Style

author={Hlomani Hlomani and Deborah Stacey},
title={Towards an Ontology-driven Framework for Workflow Analysis},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012)},

in EndNote Style

JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2012)
TI - Towards an Ontology-driven Framework for Workflow Analysis
SN - 978-989-8565-30-3
AU - Hlomani H.
AU - Stacey D.
PY - 2012
SP - 405
EP - 410
DO - 10.5220/0004165404050410