Abstract
This paper presents a method to analyse the consistency and completeness of process models according to the principles of the ψ-theory and the underlying concept of business transaction. Transactions specify the collaborative behaviour between actors while services are being requested and provided. The method assesses the consistency of a process in terms of the business transactions that can be inferred from it. To do so, it takes as input a process model that is converted to a transactional model. The transactional model is then analysed and revised so that all transactions become consistent and complete according to the transactional pattern. This enables to identify the problems on the original process model and to prompt areas of improvement.
This work is partially supported by the EU-FP7 grant 269940, project TIMBUS, “Digital Preservation for Timeless Business Processes and Services”.
Chapter PDF
Similar content being viewed by others
References
Van Nuffel, D., Mulder, H., Van Kervel, S.: Enhancing the Formal Foundations of BPMN by Enterprise Ontology. In: Albani, A., Barjis, J., Dietz, J.L.G. (eds.) CIAO!/EOMAS 2009. LNBIP, vol. 34, pp. 115–129. Springer, Heidelberg (2009)
Dijkmana, M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information and Software Technology 50(12), 1281–1294 (2008)
Zimmermann, O., Schlimm, N., Waller, G., Pestel, M.: Analysis and Design Techniques for Service-Oriented Development and Integration. In: INFORMATIK 2005, Bonn, Germany (2005)
Sousa, P., Caetano, A., Vasconcelos, A., Pereira, C., Tribolet, J.: Enterprise architecture modeling with the UML 2.0. In: Rittgen, P. (ed.) Enterprise Modeling and Computing with UML, pp. 67–94. Idea Group Inc. (2006)
Caetano, A., Rito Silva, A., Tribolet, J.: A Role-Based Enterprise Architecture Framework. In: 24th Annual ACM Symposium on Applied Computing, Hawaii, USA (2009)
Barjis, J.: Automatic business process analysis and simulation based on DEMO. In: Enterprise Information Systems, vol. 1(4). Taylor & Francis (2007)
Recker, J., Indulska, M., Rosemann, M.: How Good is BPMN Really? Insights from Theory and Practice. In: Ljungberg, J., Andersson, M. (eds.) Proceedings of the 14th ECIS, Goeteborg, Sweden (2006)
Searle, J.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)
Dignum, F., Dietz, J.: Communication Modelling: The Language/Action Perspective. In: Second International Workshop on Communication Modeling (LAP 1997), The Netherlands (1997)
Habermas, J.: The theory of communicative action - reason and the rationalization of society. Beacon Press, Boston (1984)
Langefors, B.: Information System Theory. Information Systems 2, 207–210 (1977)
Dietz, J.: Enterprise Ontology: Theory and Methodology, p. 244. Springer, New York (2006)
Ettema, R., Dietz, J.L.G.: ArchiMate and DEMO – Mates to Date? In: Albani, A., Barjis, J., Dietz, J.L.G. (eds.) CIAO!/EOMAS 2009. LNBIP, vol. 34, pp. 172–186. Springer, Heidelberg (2009)
Nuffel, D.V., Huysmans, P., Bellens, D., Ven, K.: Translating Ontological Business Transactions into Evolvable Information Systems. In: International Conference on Software Engineering Advances, France, pp. 58–63 (2010)
OMG, Business Process Model and Notation (BPMN), version 2.0 (2011)
Carlsen, S.: Comprehensible Business Process Models for Process Improvement and Process Support. In: Constantopoulos, P., et al. (eds.) Advances on Information Systems Engineering. Springer (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 IFIP International Federation for Information Processing
About this paper
Cite this paper
Caetano, A., Assis, A., Borbinha, J., Tribolet, J. (2013). An Application of the ψ-Theory to the Analysis of Business Process Models. In: Poels, G. (eds) Enterprise Information Systems of the Future. Lecture Notes in Business Information Processing, vol 139. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36611-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-36611-6_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36610-9
Online ISBN: 978-3-642-36611-6
eBook Packages: Computer ScienceComputer Science (R0)