To main content

UniLFS: A Unifying Logical Framework for Service Modeling and Contracting

Abstract

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.

Category

Lecture

Client

  • Research Council of Norway (RCN) / SEMICOLON 2
  • Research Council of Norway (RCN) / Semicolon 2

Language

English

Author(s)

Affiliation

  • SINTEF Digital / Software and Service Innovation

Presented at

The 7th International Web Rule Symposium: Research Based and Industry Focused

Date

11.07.2013

Year

2013

View this publication at Cristin