|
 
|
[DBB18] Architectural method to design and control dynamic composite web services
Revue Internationale avec comité de lecture : Journal International Journal of Computer Applications in Technology (IJCAT), vol. 57(1), pp. 1-12, 2018, (doi:10.1504/IJCAT.2018.090032)Mots clés: service-oriented architecture, dynamic web service composition, Meta-Open ECATNets, MDA, Maude.
Résumé:
NNowadays, Web services constitute the core technology of IT infrastructure that has emerged in response to a fundamental shift in the way enterprises conduct their business. A componentised model emerges as the natural architecture for Web services-based applications. Using Mop-ECATNets formalism (Meta-Open Extended Concurrent Algebraic Term Nets) a sort of high-level Petri nets we show, in this paper, how we can ensure the formal specification of the dynamic Web services and control their interactions as well as their dynamic composition. Furthermore, in order to formally verify and execute Web services-based systems specifications, we implement Mop-ECATNet model in Maude system using an MDA (Model-Driven Architecture)-based approach.
Collaboration:
LIRE
BibTeX
| @article { | |||
| DBB18, | |||
| title | = | "{Architectural method to design and control dynamic composite web services}", | |
| author | = | "M. Djenouhat and F. Belala and K. Barkaoui", | |
| journal | = | " International Journal of Computer Applications in Technology (IJCAT)", | |
| year | = | 2018, | |
| volume | = | 57, | |
| number | = | 1, | |
| pages | = | "1-12", | |
| doi | = | "10.1504/IJCAT.2018.090032", | |
| } | |||
