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 …

In order to specify the composition of Web services, WSBPEL was defined as an
orchestrating language by an international standards consortium. In this paper, we propose …

Testing conceptually consists of three activities: test case generation, test case execution
and verdict assignment. Using online testing, test cases are generated and simultaneously …

This paper presents an automatic conformance testing tool with timing constraints from a
formal specification (TEFSM: Timed Extended Finite State Machine) of web services …

Abstract Service Oriented Architecture (SOA) is generally defined as a business-centric IT
architectural approach that supports integrating businesses as linked, repeatable business …

This paper addresses integration testing of data‐centric and event‐based dynamic service
compositions. The compositions under test define abstract services that are replaced by …

In open and changeful Internet, the enterprise business process needs to be organized or
restructured dynamically in order to adapt to environment changes and business logic …

BPEL is a standard language for Web services composition. To test a composite Web
service, the design of a formal model is very useful, because it facilitates the application and …

This paper proposes an approach to test (actively and passively) Web services composition
described in BPEL using TGSE (Test Generation, Simulation and Emulation), that is a tool …