<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Contracts for Abstract Processes in Service Composition"^^ . "Contracts are a well-established approach for describing and analyzing behavioral aspects of web service\r\ncompositions. The theory of contracts comes equipped with a notion of compatibility between\r\nclients and servers that ensures that every possible interaction between compatible clients and servers\r\nwill complete successfully. It is generally agreed that real applications often require the ability of exposing\r\njust partial descriptions of their behaviors, which are usually known as abstract processes. We\r\npropose a formal characterization of abstraction as an extension of the usual symbolic bisimulation\r\nand we recover the notion of abstraction in the context of contracts."^^ . "2011-01" . . "46" . . "Electronic Proceedings in Theoretical Computer Science"^^ . . . . . . . . . . . . . . . . . "Benoît"^^ . "Caillaud"^^ . "Benoît Caillaud"^^ . . "Hernán C."^^ . "Melgratti"^^ . "Hernán C. Melgratti"^^ . . "Maria Grazia"^^ . "Buscemi"^^ . "Maria Grazia Buscemi"^^ . . "Axel"^^ . "Legay"^^ . "Axel Legay"^^ . . . . . . "Contracts for Abstract Processes in Service Composition (PDF)"^^ . . . . . . . . . . . . "buscemi_melgratti_FIT10.pdf"^^ . . . "Contracts for Abstract Processes in Service Composition (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "Contracts for Abstract Processes in Service Composition (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #115 \n\nContracts for Abstract Processes in Service Composition\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .