No abstract

No abstract

Quality attributes of software products like maintainability and reliability have been widely studied in the Software Engineering literature. Their understanding has proven instrumental for developing best practices and tooling support that ultimately result in higher-quality software. In this paper we investigate external quality attributes (i.e. aspects of quality visible to the end user) of service choreographies. Service choreographies are service compositions that specify completely distributed, message-based interactions among services. Our work is a first step towards the definition of a quality model for service choreographies.

No abstract

Abstract. Service networks comprise large numbers of long-running, highly dynamic complex end-to-end service interactions reflecting asynchronous message flows that typically transcend several organizations and span several geographical locations. At the communication level, service network business protocols can be flexible ranging from conventional inter-organizational point-to-point service interactions to fully blown dynamic multi-party interactions of global reach within which each participant may contribute its activities and services. In this paper we introduce a formal framework enriched with temporal constraints to describe multiparty business protocols for service networks. We extend this framework with the notion of multi-party business protocol soundness and show how it is possible to execute a multi-party protocol consistently in a completely distributed manner while guaranteeing eventual termination.