Supporting Semantic Verification of Process Models-Reference-Cited by-同舟云学术

Supporting Semantic Verification of Process Models

Published:2012 Issue: Volume: Page:495-511
ISSN:
Container-title:Handbook of Research on E-Business Standards and Protocols
language:
Short-container-title:

Author:

Fellmann Michael¹,Thomas Oliver¹,Hogrebe Frank²

Affiliation:

1. University of Osnabrueck, Germany

2. Hessische Hochschule für Polizei und Verwaltung, Germany

Abstract

This chapter presents an ontology-driven approach that aims at supporting semantic verification of semi-formal process models. The ontology-driven approach suggested consists of two steps. The first step is the development of a model for ontology-based representation of process models. This representation allows enriching process models by annotating them with semantics specified in a formal ontology. In the second step, the authors use this model to support an ontology-based semantic verification possible with this representation and in conjunction with machine reasoning. To implement the approach, the authors use the standardized Web Ontology Language (OWL) and the SPARQL query language. They demonstrate the approach using real-life administrative process models taken from a capital city.

Publisher

IGI Global

Reference36 articles.

1. Abramowicz, W., Filipowska, A., Kaczmarek, M., & Kaczmarek, T. (2007). Semantically enhanced business process modelling notation. In M. Hepp, K. Hinkelmann, D. Karagiannis, R. Klein, & N. Stojanovic (Eds.), Proceedings of the Workshop SBPM 2007, held in conjunction with the 4th European Semantic Web Conference (ESWC 2007), June 3-7, Innsbruck, Austria, (CEUR Workshop Proceedings 251). Berlin, Germany: Springer.

2. Awad, A., Decker, G., & Weske, M. (2008). Efficient compliance checking using BPMN-Q and temporal logic. In M. Dumas, M. Reichert, & M.-C. Shan (Eds.), Proceedings of the 6th International Conference on Business Process Management (pp. 326–341). Berlin, Germany: Springer.

3. Becker, J., Delfmann, P., Herwig, S., Lis, L., & Stein, A. (2009). Towards increased comparability of conceptual models – Enforcing naming conventions through domain thesauri and linguistic grammars. Arbeitsberichte der Universität Münster. Retrieved from http://www.wi.uni-muenster.de/is/studieren/vorlesung/inmo_ss-2009/

4. Verification, validation, qualification and certification of enterprise models: Statements and opportunities

5. Desel, J. (2002) Model validation – A theoretical issue? In J. Esparza, & C. Lakos (Eds.), Proceedings of Application and Theory of Petri Nets 2002, (pp. 23–43). Berlin, Germany: Springer. Retrieved from http://dx.doi.org/ 10.1007/3-540-48068-4_2