%0 Conference Proceedings
%T An Application of the ψ-Theory to the Analysis of Business Process Models
%+ Technical University of Lisbon
%+ Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa (INESC-ID)
%+ INOV [Lisbon]
%A Caetano, Artur
%A Assis, Aurélio
%A Borbinha, José
%A Tribolet, José
%Z Part 2: Short Papers
%< avec comité de lecture
%( Lecture Notes in Business Information Processing
%B 6th Conference on Research and Practical Issues in Enterprise Information Systems (CONFENIS)
%C Ghent, Belgium
%Y Geert Poels
%I Springer
%3 Enterprise Information Systems of the Future
%V LNBIP-139
%P 258-267
%8 2012-09-19
%D 2012
%R 10.1007/978-3-642-36611-6_24
%K business process modelling
%K business transaction
%K ψ-theory
%K DEMO
%K BPMN
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X 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.
%G English
%Z TC 8
%Z WG 8.9
%2 https://inria.hal.science/hal-01484688/document
%2 https://inria.hal.science/hal-01484688/file/978-3-642-36611-6_24_Chapter.pdf
%L hal-01484688
%U https://inria.hal.science/hal-01484688
%~ SHS
%~ IFIP
%~ IFIP-TC
%~ IFIP-LNBIP
%~ IFIP-WG
%~ IFIP-TC8
%~ IFIP-WG8-9
%~ IFIP-CONFENIS
%~ IFIP-LNBIP-139