Introducing an Artifact-driven language for Service Composition

The emergence of BPML (Business Process Modeling Language) has favored the development of languages for the composition of services. Process-oriented approaches produce imperative languages, which are rigid to change at run-time because they focus on how the processes should be built. Despite the fact that semantics is introduced in languages to increase their flexibility, dynamism is limited to find services that have disappeared or become defective. They do not offer the possibility to adapt the composite service to execution. Although rules-based languages were introduced, they remain very much dependent on the BPML which is the underlying technology. This article proposes the specification of a rule-based declarative language for the composition of services. It consists of the syntactic categories which make up the concepts of the language and a formal description of the operational semantics that highlights the dynamism, the flexibility and the adaptability of the language thus defined. This paper also presents a verification framework made of a formal aspect and a toolset. The verification framework translates service specifications into Promela for model checking. Then, a validation framework is proposed that translates the verified specifications to the operational system. Finally, a case study is presented.

show abstract

“…The language is called GSLang and was introduced in [30]. This section presents GSLang and shows how the defined services can be resolved.…”

Section: A Formal Syntax and Semantic Of The Service Composition Langmentioning

confidence: 99%

A Rule-Based Language and Verification Framework of Dynamic Service Composition

2020

Self Cite

View full text Add to dashboard Cite

show abstract

Guarded attribute grammars and publish/subscribe for implementing distributed collaborative business processes with high data availability

Tchendji

Tagueu

2021

SOCA

View full text Add to dashboard Cite

With the ever-increasing development of the Internet and the diversification of communication media, business processes of companies are increasingly collaborative and distributed. This contrasts with traditional solutions deployed for their management which are usually centralized, based on the activity flow or on the exchanged documents. Moreover, the users who are usually the main actors in collaborations are often relegated to second place. Recently, a distributed, data-driven and user-centric approach called Guarded Attributed Grammar (GAG) has been proposed for the modeling of such processes; it thus provides an answer to most of these limitations. In this paper, we present an approach for implementing business processes modeled using GAG in which communications are done by publish/subscribe with redirection of subscription (pub/sub-RS). The pub/sub-RS-which we propose-guarantees high data availability during the process execution by ensuring that an actor, perceived as a subscriber, will always receive a data he needs to perform a task as soon as it is produced. Moreover, if the data is semi-stuctured, and produced collaboratively and incrementally by several actors, its subscribers will be notified as soon as one of its components (a prefix) is produced simultaneously, as they will be subscribed in a transparent way to the remaining components (the suffix).RÉSUMÉ. Avec le développement toujours croissant de l'Internet et la diversification des moyens de communication, les processus métiers sont de plus en plus collaboratifs et distribués. Ceci contraste avec les solutions traditionnelles déployées pour leur gestion qui sont habituellement centralisées, basées sur le flux d'activités ou sur les documents échangés. Bien plus, les utilisateurs qui sont généralement les acteurs principaux dans la collaboration y sont souvent relégués au second rang. Récemment, une approche distribuée, centrée sur l'utilisateur et pilotée par les données appelée Grammaires Attribuées Gardées (GAG), a été proposée pour la modélisation de tels processus; elle fournit donc une réponse à la plupart de ces limitations. Dans ce papier, nous présentons une approche de mise en oeuvre de processus métiers modélisés à l'aide des GAG dans laquelle les communications se font par publish/subscribe avec redirection de souscriptions (pub/sub-RS). Le pub/sub-RS (que nous proposons) garantit une haute disponibilité des données pendant l'exécution d'un processus en assurant qu'un acteur (perçu comme un abonné) recevra toujours une donnée dont il a besoin pour effectuer une tâche dès qu'elle est produite. De plus, si la donnée est semi-structurée et produite collaborativement et incrémentalement par plusieurs acteurs, ses abonnés seront notifiés dès qu'une de ses composantes (un préfixe) est produite en même temps qu'ils seront abonnés de manière transparente aux composantes résiduelles (le suffixe).

show abstract

Introducing an Artifact-driven language for Service Composition

Cited by 2 publications

References 17 publications

A Rule-Based Language and Verification Framework of Dynamic Service Composition

A Rule-Based Language and Verification Framework of Dynamic Service Composition

Guarded attribute grammars and publish/subscribe for implementing distributed collaborative business processes with high data availability

Contact Info

Product

Resources

About