A Rule-Based Language and Verification Framework of Dynamic Service Composition
| Autor: | Georges Edouard Kouamou, Claude Tangha, Willy Kengne Kungne |
|---|---|
| Přispěvatelé: | Université de Yaoundé I, Ecole Nationale Supérieure Polytechnique de Yaoundé (ENSPY), 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, Université de Yaoundé I-Université Badji Mokhtar Annaba (UBMA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université Joseph Ki-Zerbo [Ouagadougou] (UJZK)-Université d'Antananarivo-Université Gaston Bergé Sénégal-Centre National de la Recherche Scientifique et Technologique (CNRST) |
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
Model checking
Computer Networks and Communications Computer science Semantics (computer science) 02 engineering and technology [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] Operational semantics DSL 020204 information systems rule-based approach 0202 electrical engineering electronic engineering information engineering service choreography Declarative programming computer.programming_language lcsh:T58.5-58.64 lcsh:Information technology business.industry flexibility by change Service choreography adaptability 020207 software engineering Business process modeling model checking Imperative programming Promela Software engineering business computer |
| Zdroj: | Future internet Future internet, MDPI, 2020, 12 (2), pp.23. ⟨10.3390/fi12020023⟩ Future internet, 2020, 12 (2), pp.23. ⟨10.3390/fi12020023⟩ Future Internet Volume 12 Issue 2 Future Internet, Vol 12, Iss 2, p 23 (2020) |
| ISSN: | 1999-5903 |
| DOI: | 10.3390/fi12020023⟩ |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|