Towards verifying contract regulated service composition

Planning and verifying service composition

A static approach is proposed to study secure composition of services. We extend the λ-calculus with primitives for selecting and invoking services that respect given security requirements. Security-critical code is enclosed in policy framings with a possibly nested, local scope. Policy framings enforce safety and liveness properties. The actual run-time behaviour of services is over-approximat...

Contract based Web service composition

Service-oriented architecture (SOA) is focused on building loosely coupled distributed systems with minimal shared understanding among system components. The main building blocks in SOA are services. Services are selfdescriptive, self-contained, platform-independent and openly-available components that interact over the network. The main goal of SOA is transparent, flexible and dynamic interact...

Verifying Correctness of Web Service Composition

We evaluate current efforts for Web service orchestration and composition. Most approaches reduce composition to programming the flow of partner services, according to the specified goal. We show an alternative approach to Web service composition, where partners are modeled as state machines and composed into a single resulting state machine, which guarantees functional and non-functional prope...

User-centric Service Composition - Towards Personalised Service Composition and Delivery

With computing devices and the Internet becoming ubiquitous, users can make use of network-based software applications in different places and situations. Mobile devices with Internet connectivity are a good example of this trend. Network-based software applications are being exposed to users as web services, which makes them accessible on demand, when and where the users require them in their ...

Towards Zero-Code Service Composition