Web service composition is an important reuse way of service resources, through which large scale and complex applications based on Internet can get the newer and more reliable resources among the distributed nodes. An important challenge for web services composition is how to ensure the correctness and reliability of the composition process. CPN(Colored Petri Net)as a formal modeling and verif...

Cross-organisational interoperability is a key issue for success in B2B e-commerce applications. To achieve this interoperability, choreography descriptions are necessary that describe how the business partners can cooperate. In existing approaches, these choreography descriptions are independent of the internal workflows of the partners. We present a framework for extracting choreography inter...

Developers have began to wrap desired functionalities into widgets based on Web 2.0 techniques on mobile devices. Demand for these light-weight Web applications is expected to grow rapidly in near future. Since a widgets can be recognized as a unit providing a specific service, from the perspective of choreography, this paper adapts widgets into a mobile Peer-to-Peer (P2P) environment and propo...

This paper presents an architecture centric approach applied to Web services oriented architectures and Web services composition. We aim at providing a high level Web services choreography specific language: π-Diapason. This later is formally based on the πcalculus and reuses most characteristics of Web services choreography languages. We were interested in interpreting π-Diapason description b...

The greater and greater quantity of services that are available over the web causes a growing attention to techniques that facilitate their reuse. A web service specification can be quite complex, including various operations and message exchange patterns. In this work, we give a declarative representation of services, and in particular of WSDL operations, that enables the application of techni...

The Web Service Choreography Description Language (WSCDL) has been put forward as language for capturing sets of web service interactions and their control and data dependencies, seen from a global perspective. However the suitability of WS-CDL for this purpose has not been assessed in a systematic manner. This paper presents such an assessment by adopting a two-pronged approach. First, the pap...

Choreographies have been proposed as decentralized and scalable solutions for composing web services. Nevertheless, inherent characteristics of SOA such as dynamicity, scale, and governance issues make the automated testing of choreographies difficult. The goal of our research is to adapt the automated testing techniques used by the Agile Software Development community to the SOA context. To ac...

service oriented enterprises (soes) are subject to constant change and variation. in this paper, the changes are considered from an economic perspective based on service culture notion. once a change is implemented, the costs of some member services may increase, whereas the costs of some other services may reduce. we construct a game theoretic model trying to capture the possible conflicting i...

The talk and demonstrations will illustrate a rigorous approach to the engineering of services for service-oriented architectures and in particular, web service compositions. We use formal model checking techniques to cover aspects of architecture, orchestration, choreography and deployment configurations for service compositions. A demonstration will illustrate our techniques using an Eclipse ...