Karawash Ahmad, Mcheick Hamid et Dbouk Mohamed. (2013). Intelligent web based on mathematic theory. Case study : service composition validation via distributed compiler and graph theory. Dans R. Lee (dir.), Computer and information science. (p. 201-213). Studies in Computational Intelligence, 493. Cham, Suisse : Springer.
Prévisualisation |
PDF
- Version acceptée
362kB |
URL officielle: http://dx.doi.org/doi:10.1007/978-3-319-00804-2_15
Résumé
This paper discusses a model for verifying service composition by building a distributed semi-compiler of service process. In this talk, we introduce a technique that solves the service composition problems such as infinite loops,deadlock and replicate use of the service. Specifically, the client needs to build a composite service by invoking other services but without knowing the exact design of these loosely coupled services. The proposed Distributed Global Service Compiler, by this article, results dynamically from the business process of each service. As a normal compiler cannot detect loops, we apply a graph theory algorithm, a Depth First Search, on the deduced result taken from business process files.
| Type de document: | Chapitre de livre |
|---|---|
| Date: | 2013 |
| Lieu de publication: | Cham, Suisse |
| Sujets: | Sciences naturelles et génie > Sciences mathématiques > Informatique Sciences naturelles et génie > Sciences mathématiques > Mathématiques appliquées |
| Département, module, service et unité de recherche: | Départements et modules > Département d'informatique et de mathématique |
| Éditeurs: | Lee, R. |
| Mots-clés: | SOA, Service Oriented Architecture, compiler, Business Process Execution Language, BPEL, Depth First Search, DFS, Distributed Global Service Compiler, DGSC |
| Déposé le: | 30 nov. 2016 01:34 |
|---|---|
| Dernière modification: | 02 mars 2018 02:27 |
Éditer le document (administrateurs uniquement)
Altmetric
Altmetric