Abstract Service-oriented computing (SOC) represents a paradigm for building distributed
computing applications over the Internet. In the past decade, Web services composition has …

Service-oriented computing, an emerging paradigm for architecting and implementing
business collaborations within and across organizational boundaries, is currently of interest …

Approaches for modifying processes both at build time and at run time are commonly
referred to as process change, which play an increasingly important role in the enterprise …

By arranging multiple existing web services into workflows to create value-added services,
automatic web service composition has received much attention in service-oriented …

In scenarios where a set of independent business partners engage in complex
conversations, global interaction models are a means to specify the allowed interaction …

Choreography analysis has been a crucial problem in service oriented computing.
Interactions among services involve message exchanges across organizational boundaries …

Generating test cases for compositions of web services is complex, due to their distributed
nature and asynchronous behaviour. In this paper, a formal verification tool–the SPIN model …

Choreography-driven microservice composition has provided a better way to integrate
components in the Cyber-physical-Social System (CPSS). Choreography is a global contract …

A composite Web service consists of a set of individual services (or peers), which interact
with each other via messages. A conversation is a global sequence of messages exchanged …

Abstract Specification, modeling and analysis of interactions among peers that communicate
via messages are becoming increasingly important due to the emergence of service …