A Rule-Based Language and Verification Framework of Dynamic Service Composition Willy Kengne Kungne, Georges-Edouard Kouamou, Claude Tangha To cite this version: Willy Kengne Kungne, Georges-Edouard Kouamou, Claude Tangha. A Rule-Based Language and Verification Framework of Dynamic Service Composition. Future internet, MDPI, 2020, 12 (2), pp.23. 10.3390/fi12020023. hal-02457316 HAL Id: hal-02457316 https://hal.archives-ouvertes.fr/hal-02457316 Submitted on 21 Apr 2021 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. future internet Article A Rule-Based Language and Verification Framework of Dynamic Service Composition Willy Kengne Kungne 1,∗ , Georges-Edouard Kouamou 2 and Claude Tangha 3 1 Department of Computer Sciences, Faculty of Sciences, University of Yaoundé I, P.O. Box 812 Yaoundé, Cameroon 2 Department of Computer Sciences, National Advanced School of Engineering, University of Yaoundé I, P.O. Box 8390 Yaoundé, Cameroon;
[email protected] 3 Faculty of Information Technologies and Communication, Protestant University of Central Africa, P.O. Box 4011 Yaoundé, Cameroon;
[email protected] * Correspondence:
[email protected]; Tel.: +237-675-978-859 Received: 8 December 2019; Accepted: 23 January 2020; Published: 26 January 2020 Abstract: The emergence of BPML (Business Process Modeling Language) has favored the development of languages for the composition of services.