A Comparison of Visual Modeling Notations for Web Services Choreography

The Web Services Choreography Description Language (WS-CDL) is an XML-based language for specifying business protocols for \emph{web services enabled} collaborative processes. The use of visual notations in modeling web services choreography has so far been done in an ad hoc fashion as seen in the literature. This paper presents a choreography example in four different visual modeling notations and compares them with regard to the semantics of WS-CDL. The results are useful for establishing a reliable visual approach to modeling web services choreography

Distribution pattern-driven development of service architectures

Distributed systems are being constructed by composing a number of discrete components. This practice is particularly prevalent within the Web service domain in the form of service process orchestration and choreography. Often, enterprise systems are built from many existing discrete applications such as legacy applications exposed using Web service interfaces. There are a number of architectural configurations or distribution patterns, which express how a composed system is to be deployed in a distributed environment. However, the amount of code required to realise these distribution patterns is considerable. In this paper, we propose a distribution pattern-driven approach to service composition and architecting. We develop, based on a catalog of patterns, a UML-compliant framework, which takes existing Web service interfaces as its input and generates executable Web service compositions based on a distribution pattern chosen by the software architect

Introduction d'un langage basé sur les artefacts pour la composition de services

International audienceThe most recent service composition approaches rely on the mechanism, which involves scalable and decentralized execution of services. Although some formal tools have been used to this effect, they are influenced by the standard of web service orchestration and choreography based mainly on workflow languages or notation. In this paper, we describe the formal semantics of a novel service composition language through which the services are declaratively composed and executed following a peer-to-peer paradigm. The proposed language named GSLang is inspired by the GAG (Guarded Attribute Grammars) model that has been defined for the modeling collaborative systems. Pi-calculus is used to define the basic elements of the language and its operational semantics. Then its properties are highlighted through a case study

Verification and Analysis of Web Service Composition

Ph.DDOCTOR OF PHILOSOPH

Research Article Novel Security Conscious Evaluation Criteria for Web Service Composition

Abstract: This study aims to present a new mathematical based evaluation method for service composition with respects to security aspects. Web service composition as complex problem solver in service computing has become one of the recent challenging issues in today's web environment. It makes a new added value service through combination of available basic services to address the problem requirements. Despite the importance of service composition in service computing, security issues have not been addressed in this area. Considering the dazzling growth of number of service based transactions, making a secure composite service from candidate services with different security concerns is a demanding task. To deal with this challenge, different techniques have been employed which have direct impacts on secure service composition efficiency. Nonetheless, little work has been dedicated to deeply investigate those impacts on service composition outperformance. Therefore, the focus of this study is to evaluate the existing approaches based on their applied techniques and QoS aspects. A mathematicalbased security-aware evaluation framework is proposed wherein Analytic Hierarchy Process (AHP), a multiple criteria decision making technique, is adopted. The proposed framework is tested on state-of-the-art approaches and the statistical analysis of the results presents the efficiency and correctness of the proposed work