Service‐oriented architecture (SOA) is gaining momentum as an emerging distributed
system architecture for business‐to‐business collaborations. This momentum can be …

Abstract The Service-Oriented Computing (SOC) paradigm is allowing computer systems to
interact with each other in new ways. According to the literature, SOC allows composition of …

WS-BPEL applications are a kind of service-oriented application. They use XPath
extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong …

BPEL (Business Process Execution Language) as a de-facto standard for web service
orchestration has drawn particularly attention from researchers and industries. BPEL is a …

Services are highly reusable, flexible and loosely coupled components whose changes
make the evolution and maintenance of composite services more complex. The changes of …

Service Oriented Architectures (SOAs) are becoming increasingly popular and powerful.
Fueling that growth is the availability of independent web services that can be cost …

We describe a relative-timed semantic model for Business Process Modelling Notation
(BPMN). We define the semantics in the language of Communicating Sequential Processes …

Business processes based in WS-BPEL compositions are rapidly becoming commonplace
in recent years, so it is important to pay special attention to testing in this context. Mutation …

The rise of Web Services and their WS-BPEL compositions in recent years makes it
necessary to pay special attention to testing in this context. Mutation analysis is a suitable …

Nowadays, service oriented architecture (SOA) has become one mainstream paradigm for
developing distributed applications. As the basic unit in SOA, web services can be …