SOAP-based Web Services are quickly becoming the standard solution to publish business services, both within corporate firewalls as well as externally to provide integration points with business partners. Two complementary developments in the world of software applications are the Service Oriented Enterprise model and Software-as-a-Service. With the continuing popularity of Web Services and the...

This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly in...

Nowadays, the necessity of rendering reliable services to the customers in business markets is assumed as a crucial matter for the service providers, and the importance of this subject in many fields is undeniable. Design of systems with high complexity and existence of different resources in network cloud leads the service providers to intend to provide the best services to their customers. On...

Composition of services has received much interest to support business-to-business and enterprise applications integration. The business world has developed a number of XML-based standards to formalize the specification of web services, their composition and their execution. On the other hand, the semantic web community focuses on reasoning about web resources by explicitly declaring their prec...

The Service Component Architecture (SCA) provides a platform-independent component model for serviceoriented development. A service component with different communication mechanisms and implementation languages can be modeled in SCA. However, it lacks a formal foundation for SCA-based system specification and verification. This paper presents a formal service component signature model with resp...

Service composition methods range from industry standard approaches based on Web Services and BPEL to Semantic Web approaches that rely on AI techniques to automate service discovery and composition. Service composition research mostly focuses on the dynamic (workflow) aspects of compositions. In this paper we consider the static component of service composition and discuss the importance of co...

Web service technologies are best exploited by composing services, and BPEL (Web Services Business Process Execution Language) is adopted industrial-wide as the de facto service composition standard. However, a BPEL composite service is typically treated as a fully automated service flow that orchestrates multiple web services and involves no user interactions – a desirable feature for service ...

Web service composition is a mature and effective way to realize the rapidly changing requirements of business in service-oriented solutions. Testing the compositions of web services is complex, due to their distributed nature and asynchronous behaviour. Control flow testing focuses on the transfer of control, while data flow testing focuses on the definitions of data and their subsequent use. ...

WS-BPEL is way to orchestrate web services. It defines business processes that interact with external entities through web service operations using WSDL. The existing system defines service flow using Web Services based on WSDL. We have proposed BPEL-TC, an extension to existing WS-BPEL which uses temporally customized Web Services as a model for process decomposition and assembly. WSDL-TC hand...