This paper provides users and system integrators with an overview of service-oriented
architecture (SOA) testing's fundamental technical issues and solutions, focusing on Web …

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

Future software systems will operate in a highly dynamic world. Systems will need to operate
correctly despite of unespected changes in factors such as environmental conditions, user …

Abstract Testing of Service Oriented Architectures (SOA) plays a critical role in ensuring a
successful deployment in any enterprise. SOA testing must span several levels, from …

We propose several localized sensor area coverage protocols for heterogeneous sensors,
each with arbitrary sensing and transmission radii. Sensors are assumed to be time …

Business process execution language for Web services (BPEL) is becoming the industrial
standard for modeling Web-service-based business processes. Behavioral compatibility for …

In a previous work we have presented a formal framework devoted to show the relevance of
choreography and orchestration in the design of service oriented applications. Even if useful …

Abstract Model transformation is a core mechanism for model-driven engineering (MDE).
Writing complex model transformations is error-prone, and efficient testing techniques are …

Service oriented architectures and Web services are emerging technologies, which have
overall inherited problems and advantages from the component-based approach, but …

Service Oriented Computing is aimed at providing the bases for building software by
assembling independent, loosely coupled services. Industry has given birth to several …