Contracts for Abstract Processes in Service Composition

Details Contracts for Abstract Processes in Service Composition Contracts for Abstract Processes in Service Composition

2011-01-25

arxiv.org/abs/1101.4732v1

EPTCS 46, 2011, pp. 9-27

Computer Science

Programming Languages

In Proceedings FIT 2010, arXiv:1101.4266

Scientific paper

10.4204/EPTCS.46.2

Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every possible interaction between compatible clients and servers will complete successfully. It is generally agreed that real applications often require the ability of exposing just partial descriptions of their behaviors, which are usually known as abstract processes. We propose a formal characterization of abstraction as an extension of the usual symbolic bisimulation and we recover the notion of abstraction in the context of contracts.

Affiliated with

Also associated with

No associations

Rating

Contracts for Abstract Processes in Service Composition does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Contracts for Abstract Processes in Service Composition, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Contracts for Abstract Processes in Service Composition will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-541823