Introducing an Artifact-driven language for Service Composition
| Autor: | kungne, willy, Kouamou, Georges-Edouard, Tangha, Claude |
|---|---|
| Přispěvatelé: | Département d'Informatique, Faculté de Sciences Université de Yaoundé I, Laboratoire International de Recherche en Informatique et Mathématiques Appliquées (LIRIMA), Centre National de la Recherche Scientifique et Technologique (CNRST)-Université Gaston Bergé Sénégal-Université d'Antananarivo-Université Joseph Ki-Zerbo [Ouagadougou] (UJZK)-Université Badji Mokhtar - Annaba [Annaba] (UBMA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Yaoundé I |
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: | |
| Zdroj: | ArabWIC conference Research (ArabWIC’19). ACM, Rabat, Morocco ArabWIC conference Research (ArabWIC’19). ACM, Rabat, Morocco, Mar 2019, Rabat, Morocco. ⟨10.1145/3333165.3333173⟩ |
| DOI: | 10.1145/3333165.3333173⟩ |
| Popis: | International audience; The 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|