Contracts for Abstract Processes in Service Composition
The work
| Authors | Maria Grazia Buscemi; Hernán Melgratti |
|---|---|
| Editors | |
| Type | article |
| Year | 2010 |
| Also known as | buscemi2011contracts |
| Citekey | buscemi2010contracts |
Where it appeared
| Published in | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Publisher | Open Publishing Association |
| Volume | 46 |
| Pages | 9--27 |
Identifiers
| arXiv | 1101.4732 from its oa_pdf_url |
|---|---|
| DOI | 10.4204/eptcs.46.2 |
| OpenAlex | W2038038108 |
Access
| Landing page | https://doi.org/10.4204/eptcs.46.2 |
|---|---|
| Free full text | https://arxiv.org/pdf/1101.4732 |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
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.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 19:23 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{buscemi2010contracts,
title = {Contracts for Abstract Processes in Service Composition},
author = {Maria Grazia Buscemi and Hernán Melgratti},
year = {2010},
journal = {Electronic Proceedings in Theoretical Computer Science},
publisher = {Open Publishing Association},
volume = {46},
pages = {9--27},
doi = {10.4204/eptcs.46.2},
}
This record lives at https://refs.drheap.org/buscemi2010contracts/ and will keep
doing so. It used to be called buscemi2011contracts, and those addresses still resolve to this one.