1 paper · 1 filter
Andreas Bauer, Peter Baumgartner, Michael Norrish
We describe an approach to modelling and reasoning about data-centric business processes and present a form of general model checking. Our technique extends existing approaches, wh…