An Application of the ψ-Theory to the Analysis of Business Process Models

  • Artur Caetano
  • Aurélio Assis
  • José Borbinha
  • José Tribolet
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 139)


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.


business process modelling business transaction ψ-theory DEMO BPMN 


  1. 1.
    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)Google Scholar
  2. 2.
    Dijkmana, M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information and Software Technology 50(12), 1281–1294 (2008)CrossRefGoogle Scholar
  3. 3.
    Zimmermann, O., Schlimm, N., Waller, G., Pestel, M.: Analysis and Design Techniques for Service-Oriented Development and Integration. In: INFORMATIK 2005, Bonn, Germany (2005)Google Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    Caetano, A., Rito Silva, A., Tribolet, J.: A Role-Based Enterprise Architecture Framework. In: 24th Annual ACM Symposium on Applied Computing, Hawaii, USA (2009)Google Scholar
  6. 6.
    Barjis, J.: Automatic business process analysis and simulation based on DEMO. In: Enterprise Information Systems, vol. 1(4). Taylor & Francis (2007)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Searle, J.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)CrossRefGoogle Scholar
  9. 9.
    Dignum, F., Dietz, J.: Communication Modelling: The Language/Action Perspective. In: Second International Workshop on Communication Modeling (LAP 1997), The Netherlands (1997)Google Scholar
  10. 10.
    Habermas, J.: The theory of communicative action - reason and the rationalization of society. Beacon Press, Boston (1984)Google Scholar
  11. 11.
    Langefors, B.: Information System Theory. Information Systems 2, 207–210 (1977)CrossRefGoogle Scholar
  12. 12.
    Dietz, J.: Enterprise Ontology: Theory and Methodology, p. 244. Springer, New York (2006)CrossRefGoogle Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)Google Scholar
  15. 15.
    OMG, Business Process Model and Notation (BPMN), version 2.0 (2011)Google Scholar
  16. 16.
    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)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2013

Authors and Affiliations

  • Artur Caetano
    • 1
    • 2
    • 3
  • Aurélio Assis
    • 1
    • 3
  • José Borbinha
    • 1
    • 2
  • José Tribolet
    • 1
    • 3
  1. 1.Instituto Superior TécnicoTechnical University of LisbonLisboaPortugal
  2. 2.Information Systems GroupINESC-IDLisboaPortugal
  3. 3.Centre for Organizational Design and EngineeringINESC INOVLisboaPortugal

Personalised recommendations