Last Thursday, 25th of April 2008, Dr. Guido Governatori from University of Queensland (UQ) in Brisbane, Australia, visited DSV. Guido gave a presentation on Compliance Checking between Business Process and Business Contracts.
Abstract: It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts but also because of the traditional mindset of treating contracts separately from business processes. This talk will provide a solution to one specific problem that arises from this situation, namely the lack of mechanisms to check whether business processes are compliant with business contracts. The central part of this talk focuses on a logic based formalism for describing both the semantics of contract and the semantics of compliance checking procedures.
Thanks Guido for your visit and for an interesting presentation.
