<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Analysis of service oriented software systems with the conversation calculus"^^ . "We overview some perspectives on the concept of service-based computing, and discuss the motivation of a small set of modeling abstractions for expressing and analyzing service based systems, which have led to the design of the Conversation Calculus. Distinguishing aspects of the Conversation Calculus are the adoption of a very simple, context sensitive, local message-passing communication mechanism, natural support for modeling multi-party conversations, and a novel mechanism for handling exceptional behavior. In this paper, written in a tutorial style, we review some Conversation Calculus based analysis techniques for reasoning about properties of service-based systems, mainly by going through a sequence of illustrating examples."^^ . "2012" . . "6921" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . "Hugo "^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "Luis"^^ . "Caires"^^ . "Luis Caires"^^ . . . . . . "Analysis of service oriented software systems with the conversation calculus (PDF)"^^ . . . "TorresVieira_LNCS_6921.pdf"^^ . . . "Analysis of service oriented software systems with the conversation calculus (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Analysis of service oriented software systems with the conversation calculus (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Analysis of service oriented software systems with the conversation calculus (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Analysis of service oriented software systems with the conversation calculus (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2323 \n\nAnalysis of service oriented software systems with the conversation calculus\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .