Abstract
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might not be guaranteed to reach their goals. We propose that assigning ontological semantics to process modeling constructs can result in more meaningful models. Furthermore, the ontological semantics can impose constraints on the allowed process models which in turn can provide rules for developing process models. In particular, such models can be designed to be valid in the senses that the process can accomplish its goal when executed. We demonstrate this approach for Petri Net based process models.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
van der Aalst, W.M.P.: Formalization and Verification of Event-Driven Process Chains. Information and Software Technology 41(10), 639–650 (1999)
van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161–183. Springer, Heidelberg (2000)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)
Bunge, M.: Treatise on Basic Philosophy. In: Ontology I: The Furniture of the World, vol. 3. Reidel, Boston (1977)
Bunge, M.: Treatise on Basic Philosophy. In: Ontology II: A World of Systems, vol. 4, Reidel, Boston (1979)
Kiepuszewski, B., ter Hofstede, A.H.M., van der Aalst, W.M.P.: Fundamentals of control flow in workflows. Acta Informatica 39(3), 143–209 (2003)
Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models, PhD thesis, Vienna University of Economics and Business Administration (2007)
Object Management Group (OMG), Business Process Modeling Notation Specification (2006), www.bpmn.org
Rosemann, M., Recker, J., Indulska, M., Green, P.: A Study of the Evolution of the Representational Capabilities of Process Modeling Grammars. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 447–461. Springer, Heidelberg (2006)
Sadiq, W., Orlowska, M.E.: On Correctness Issues in Conceptual Modeling of Workflows. In: Proceedings of the 5th European Conference on Information Systems, Cork, Ireland, pp. 943–964 (1997)
Soffer, P., Wand, Y.: Goal-Driven Multi-Process Analysis. Journal of the Association of Information Systems 8(3), 175–203 (2007)
Soffer, P., Wand, Y., Kaner, M.: Semantic Analysis of Flow Patterns in Business Process Modeling. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 400–407. Springer, Heidelberg (2007)
Wand, Y., Weber, R.: On the Ontological Expressiveness of Information Systems Analysis and Design Grammars. Journal of Information Systems (3), 217–237 (1993)
Wand, Y., Weber, R.: Towards a Theory of Deep Structure of Information Systems. Journal of Information Systems 5(3), 203–223 (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Soffer, P., Kaner, M., Wand, Y. (2008). Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets. In: Bellahsène, Z., Léonard, M. (eds) Advanced Information Systems Engineering. CAiSE 2008. Lecture Notes in Computer Science, vol 5074. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69534-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-69534-9_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69533-2
Online ISBN: 978-3-540-69534-9
eBook Packages: Computer ScienceComputer Science (R0)