Introducing an Artifact-driven language for Service Composition | Zendy

Willy Kengne Kungne | Zendy; Georges-Edouard Kouamou | Zendy; Claude Tangha | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Introducing an Artifact-driven language for Service Composition

Author(s) -

Willy Kengne Kungne,

Georges-Edouard Kouamou,

Claude Tangha

Publication year - 2019

Publication title -

hal (le centre pour la communication scientifique directe)

Language(s) - English

Resource type - Conference proceedings

ISBN - 978-1-4503-6089-0

DOI - 10.1145/3333165.3333173

Subject(s) - computer science , orchestration , programming language , workflow , web service , choreography , operational semantics , scalability , semantics (computer science) , notation , artifact (error) , service (business) , business process execution language , formal semantics (linguistics) , formal grammar , software engineering , rule based machine translation , service oriented architecture , natural language processing , artificial intelligence , database , linguistics , art , musical , philosophy , literature , economy , dance , economics , visual arts

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research