Introducing an Artifact-driven language for Service Composition

Introduction d'un langage basé sur les artefacts pour la composition de services

Willy Kengne Kungne (1) , Georges-Edouard Kouamou (2) , Claude Tangha (2)

1 Département d'Informatique, Faculté de Sciences Université de Yaoundé I
2 LIRIMA - Laboratoire International de Recherche en Informatique et Mathématiques Appliquées

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.

Mots clés: Dynamic Service Composition; Formal Approach; GAG; Pi-calculus; Artifact-driven

Domaines: Génie logiciel [cs.SE]

Willy Kengne Kungne, Georges-Edouard Kouamou, Claude Tangha. Introducing an Artifact-driven language for Service Composition. ArabWIC conference Research (ArabWIC’19). ACM, Rabat, Morocco, Mar 2019, Rabat, Morocco. ⟨10.1145/3333165.3333173⟩. ⟨hal-02358867⟩