Interoperability in Information Systems

Advanced Information Systems Engineering

Volume 1080 of the series Lecture Notes in Computer Science pp 193-209


Interoperable transactions in business models — A structured approach

  • H. WeigandAffiliated withInfolab, Tilburg University
  • , E. VerharenAffiliated withInfolab, Tilburg University
  • , F. DignumAffiliated withFac. of Maths. & Comp. Sc., Eindhoven University of Technology

* Final gross prices may vary according to local VAT.

Get Access


Recent database research has given much attention to the specification of “flexible” transactions that can be used in interoperable systems. Starting from a quite different angle, Business Process Modelling has approached the area of communication modelling as well (the Language/Action perspective). The main goal of this paper is to provide some useful structuring mechanisms for interoperable transactions based on the Language/Action perspective. The paper thus tries to build a bridge between two rather separated worlds: the research on interoperable transactions on the one hand, and the research on business process models on the other. Extended deontic logic provides the material for this bridge. To better structure the specification, a distinction is proposed between the transaction level, the task level, and the contract.


cooperative information systems business process models communication interoperable transactions deontic logic