A Method of Automatic Web Services Composition Based on Directed Graph

Y, Li

doi:10.1109/cmc.2010.91

Cited by 2 publications

(2 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The process of web service composition consists of creation of a workflow that realizes the functionality of a new service. In the literature, several approaches are proposed in order to compose web services; these approaches can be grouped into four classes: workflow-based approaches [2], approaches based on artificial intelligence planning techniques [3], approaches based on dependence graphs [4], and modeldriven approaches [1]. The comparative study of these approaches leads us to develop the summary table 1.…”

Section: Overview Of Web Services Composition Approachesmentioning

confidence: 99%

Modeling and Formal Verification of Web Services Composition Using CADP

Adadi¹

2019

IJATCSE

View full text Add to dashboard Cite

A growing number of companies are using web services to make their expertise and data available through the network. The current problem is the integration of these services with the aim of implementing business-to-business (B2B) collaboration. This task of collaboration is called the composition of web services. The main objective of this research work is proposing a new approach of modeling and verifying web services composition. This approach allows a clear and structured modeling and easy verification regardless of the number of services to be composed and the degree of complexity of composition. Concerning the contribution, we firstly propose a modeling of the composed system based on the multi agent systems and precisely the Multi-agent reactive decisional system (MARDS), and using the BPM (Business Process Management) standards in particular the BPMN notation. Secondly, we seek to verify this modeling to prove its correctness before implementing it. For verification, we propose a transformation of the BPMN model to a formal LOTOS specification, which has the advantage of being supported by formal verification tools such as the CADP toolkit, which allows to apply the behavioral properties and validate the system of Web services composition.

show abstract

Section: Overview Of Web Services Composition Approachesmentioning

confidence: 99%

Modeling and Formal Verification of Web Services Composition Using CADP

Adadi¹

2019

IJATCSE

View full text Add to dashboard Cite

show abstract

“…Constructing a composition approach is not a trivial task and is a problem that has been the subject of many research studies over the last decade. The approaches presented and studied in the literature to solve this problem can be grouped into four classes (Figure 1): workflow-based approaches [1], approaches based on artificial intelligence planning techniques [2], approaches based on dependence graphs [3], and model-driven approaches [4]. All of these approaches differ in how they perceive the composition of Web services and use techniques that are compatible with that vision.…”

Section: Classification Of Web Services Composition Approachesmentioning

confidence: 99%

Modeling and Implementation of Web Services Composition Based on MARDS

Adadi¹

2019

IJATCSE

View full text Add to dashboard Cite

Since the emergence of Service Oriented Architecture (SOA) and its implementation with the Web services technology, combining several Web services to response to a complex request presented a hard challenge. This is an area that has attracted the interest of many research organizations and manufactories. The goal ofthis research work is proposing a new approach of modeling and implementing web services composition. This approach allows a clear and structured modeling and easy implementation by generating automatically the executable code from the model. In this paper, we firstly propose a modeling of the composed system using the BPM (Business Process Management) standards and based on Multi-agent reactive decisional system (MARDS). Secondly, we seek to generate the executable code BPEL (Business Process Executable Language) from this modeling to implement the composite web service. Finally, we present a case study to prove the feasibility and reliability of our proposed approach.

show abstract

A Method of Automatic Web Services Composition Based on Directed Graph

Cited by 2 publications

References 9 publications

Modeling and Formal Verification of Web Services Composition Using CADP

Modeling and Formal Verification of Web Services Composition Using CADP

Modeling and Implementation of Web Services Composition Based on MARDS

Contact Info

Product

Resources

About