In the commercial world, the value of ubiquitous computing applications is proportional to the range of business services that can be accessed in device-consumptive ways. Services originate in legacy applications of organizations, and are developed and operated typically in heterogeneous environments. Service-oriented architecture (SOA), supported by a complex stack of Web services standards, a...

Choreography description languages aim at specifying from a global point of view interactions among a set of services involved in a new system. From this specification, local implementations or peers can be automatically generated. Generation of peers that precisely implement the choreography specification is not always possible: this problem is known as realizability. When peers corresponding ...

Web services composition is an emerging paradigm for enabling inter and intra organizational integration, and a landscape of languages and techniques for modeling business processes in web service based environments has emerged and is continuously being enriched. With the advent of modeling standards, different business sectors are investigating the options for modeling their workflows. In term...

Designing and analysing multiparty distributed interactions can be achieved either by means of a global view (e.g. in choreography-based approaches) or by composing available computational entities (e.g. in service orchestration). This paper proposes a typing systems which allows, under some conditions, to synthesise a choreography (i.e. a multiparty global type) from a set of local session typ...

Self-healing software, and especially self-healing web services, is one of the challenging tasks for a next future. This paper is a step in this direction, insofar as it describes a framework for monitoring and diagnosing web services. One of the main difficulties is that faults may propagate from one service to another, which makes the diagnosis a crucial issue in order to react properly. We p...

This short note outlines two different ways of describing communication-centric software in the form of formal calculi and discuss their relationship. Two different paradigms of description, one centring on global message flows and another centring on local (end-point) behaviours, share the common feature, structured representation of communications. The global calculus originates from Web Serv...

Service-Oriented Architecture (SOA) and Web services are becoming the universally accepted architectural style for development of modern information systems of enterprises. But the methods of design in SOA are not well established yet. The most of current methodologies are focused on composition of business processes from services. In this work, SOA based design is considered as design of infor...

Service-based applications are based on modern architectures that require careful design of interfaces and protocols to allow smooth integration of service components. These design artifacts are not only useful for implementation, but could also be used for the derivation of integration tests. In order to be applied in these different activities of the development process, they have to conform ...