Sammendrag
This talk will present novel techniques for modeling and reasoning about service contracts with the help of Concurrent Transaction Logic and introduce a unifying framework called UniLFS — a Unifying Logical Framework for Service modeling and contracting. This framework significantly extends the modeling power of the previous works by allowing expressive data constraints and iterative processes in the specification of services. This approach not only captures typical procedural constructs found in established business process languages such as BPMN, but also greatly extends their functionality, enables declarative specification and reasoning about them, and opens a way for automatic generation of executable business processes from service contracts.