Buscemi, Maria Grazia and Melgratti, Hernán C. Contracts for Abstract Processes in Service Composition. In: Proceedings Foundations for Interface Technologies (FIT’10). Electronic Proceedings in Theoretical Computer, 46 . Electronic Proceedings in Theoretical Computer Science, pp. 9-27. (2011)
- Published Version
Available under License Creative Commons Attribution.
Download (294kB) | Preview
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.
|Item Type:||Book Section|
|Additional Information:||©M.G. Buscemi & H. Melgratti This work is licensed under the Creative Commons Attribution License.|
|Funders:||Research supported by the EU FET-GC2 IST-2004-16004 Integrated Project SENSORIA|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Research Area:||Computer Science and Applications|
|Depositing User:||Users 29 not found.|
|Date Deposited:||03 Mar 2011 11:38|
|Last Modified:||11 Jul 2011 14:33|
Actions (login required)