GENERAL INFORMATION
| ISSN: 2429-5396 (e) | www.american-jiras.com | |
| Web Site Form: v 0.1.05 | JF 22 Cours, Wellington le Clairval, Lillebonne | France |
| Web Site Form: v 0.1.05 | JF 22 Cours, Wellington le Clairval, Lillebonne | France |
ResearchBib, Google Scholar, SIS database, i.f.s.i.j, Scribd, IISJ, Eurasian Scientific Journal Index (ESJI), Indianscience.in, arastirmax, Directory of Research Journals Indexing, Pak Academic Sesearch, AcademicKeays, CiteSeerX, UDL Library, CAS Abstracts, J-Gate, WorldCat, Scirus, IET Inspec Direct, and getCited
Indexed by:
| HOME | ABOUT US | ARCHIVE | AIMS AND SCOP | AUTHORS | REVIEW | SUMIBMIT MANUSCRIPT | EDITORIAL BOARED | PUBLICATION FEE |
| | ARTICLES | Am. J. innov. res. appl. sci. Volume 10, Issue 4, Pages 148-164 (April 2020) |
| Revew Article 2 |
|
American Journal of innovative
Research & Applied Sciences
Research & Applied Sciences
ISSN 2429-5396 (Online)
OCLC Number: 920041286
OCLC Number: 920041286
| HOME || ABOUT US || ARCHIVES || AIMS AND SCOP || AUTHORS || REVIEW|| SUBMIT MANUSCRIPT || EDITORIAL BOARD || CONTACT US |
| APRIL | VOLUME 10 | N° 4 | 2020 |
| Info-AJIRAS-® Journal ISSN 2429-5396 (Online) / Reference CIF/15/0289M |
American Journal of Innovative Research & Applied Sciences
*Corresponding author Author & Copyright Author © 2020: | Khawla Bouafia |. All Rights Reserved. All articles published in American Journal of Innovative Research and Applied Sciences are the property of Atlantic
Center Research Sciences, and is protected by copyright laws CC-BY. See: http://creativecommons.org/licenses/by-nc/4.0/
Authors Contact
*Correspondant author and authors Copyright © 2020:
| Khawla Bouafia *1 | Ali Khebizi 2 | and | Bálint Molnár 3 |
Affiliation.
1. Eötvös Loránd University | Département des systèmes d’information | Faculté d’informatiques | Budapest | La Hongrie|
2. Université 8 Mai 45 | Département d’Informatique | Guelma | Algérie |
3. Eötvös Loránd University | Département des systèmes d’information | Faculté d’informatiques | Budapest | La Hongrie |
This article is made freely available as part of this journal's Open Access: ID | Khawla-Ref.1-ajira060420 |
Resume
Aujourd’hui, les services web sont devenus très utilisés notamment pour les entreprises afin de rendre accessibles leurs processus métiers et leurs données via le Web. Dans de tels environnements ; la composition des services web est un sujet qui suscite l'intérêt des chercheurs et des utilisateurs. Elle offre la possibilité de traitement de procédures complexes, même avec des services existants simples, tout en coopérant entre eux. Toutefois, cette tâche reste très complexe et nécessite pour son accomplissement des techniques, des langages et des outils pour sa vérification. Le sujet que nous abordons dans cet article entre dans ce contexte et vise à proposer une approche qui consolide l'aspect vérification des programmes écrits dans le langage de composition BPEL. En même temps l'approche permet d'extraire des spécifications formelles reflétant le comportement contenu dans les programmes BPEL. Dans notre travail nous proposons une approche de transformation de modèle pour convertir un code BPEL vers un automate d'états finis déterministe (AFD). Dans cette optique, nous abordons le problème en utilisant l'approche de transformation verticale basée sur le pattern Matching. Enfin, nous présentons un outil logiciel qui implémente l'approche proposée.
Mots-clés : Service Web, Composition de services Web, Pattern, BPEL, Automates d'états finis déterministe (AFD), Transformation de modèles.
ABSTRACT
Nowadays, web services have become very used especially by organizations to make available their business and data via the Web. The composition of web services is a topic of interest among researchers and final users. It offers the possibility of handling complex business even with simple existing services while cooperating with each other. However, this task is very complex and requires for its fulfillment techniques, languages, and verification tools. In this paper we deal with such context and we aim to suggest an approach that manages BPEL programs verification and which allows extracting formal specifications contained in BPEL programs. Additionally, the resulting abstract model is very useful for maintenance and verification tasks. In our work we propose a model transformation approach to convert a BPEL code to a finite state machine. With this in mind, we address the problem using the vertical transformation approach based on pattern matching. Finally, we present a software tool that implements our proposed approach.
Aujourd’hui, les services web sont devenus très utilisés notamment pour les entreprises afin de rendre accessibles leurs processus métiers et leurs données via le Web. Dans de tels environnements ; la composition des services web est un sujet qui suscite l'intérêt des chercheurs et des utilisateurs. Elle offre la possibilité de traitement de procédures complexes, même avec des services existants simples, tout en coopérant entre eux. Toutefois, cette tâche reste très complexe et nécessite pour son accomplissement des techniques, des langages et des outils pour sa vérification. Le sujet que nous abordons dans cet article entre dans ce contexte et vise à proposer une approche qui consolide l'aspect vérification des programmes écrits dans le langage de composition BPEL. En même temps l'approche permet d'extraire des spécifications formelles reflétant le comportement contenu dans les programmes BPEL. Dans notre travail nous proposons une approche de transformation de modèle pour convertir un code BPEL vers un automate d'états finis déterministe (AFD). Dans cette optique, nous abordons le problème en utilisant l'approche de transformation verticale basée sur le pattern Matching. Enfin, nous présentons un outil logiciel qui implémente l'approche proposée.
Mots-clés : Service Web, Composition de services Web, Pattern, BPEL, Automates d'états finis déterministe (AFD), Transformation de modèles.
ABSTRACT
Nowadays, web services have become very used especially by organizations to make available their business and data via the Web. The composition of web services is a topic of interest among researchers and final users. It offers the possibility of handling complex business even with simple existing services while cooperating with each other. However, this task is very complex and requires for its fulfillment techniques, languages, and verification tools. In this paper we deal with such context and we aim to suggest an approach that manages BPEL programs verification and which allows extracting formal specifications contained in BPEL programs. Additionally, the resulting abstract model is very useful for maintenance and verification tasks. In our work we propose a model transformation approach to convert a BPEL code to a finite state machine. With this in mind, we address the problem using the vertical transformation approach based on pattern matching. Finally, we present a software tool that implements our proposed approach.
| Khawla Bouafia *1 | Ali Khebizi 2 | and | Bálint Molnár 3 |. Am. J. innov. res. appl. sci. 2020; 10(4):148-164.
| PDF FULL TEXT | | Received | March 2, 2020 | | Accepted | April 17, 2020 | | Published | April 22, 2020 |