{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,14]],"date-time":"2025-10-14T00:41:06Z","timestamp":1760402466932,"version":"build-2065373602"},"reference-count":50,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2020,1,26]],"date-time":"2020-01-26T00:00:00Z","timestamp":1579996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Internet"],"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3390\/fi12020023","type":"journal-article","created":{"date-parts":[[2020,1,27]],"date-time":"2020-01-27T07:41:11Z","timestamp":1580110871000},"page":"23","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A Rule-Based Language and Verification Framework of Dynamic Service Composition"],"prefix":"10.3390","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0361-6690","authenticated-orcid":false,"given":"Willy","family":"Kengne Kungne","sequence":"first","affiliation":[{"name":"Department of Computer Sciences, Faculty of Sciences, University of Yaound\u00e9 I, P.O. Box 812 Yaound\u00e9, Cameroon"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8814-7995","authenticated-orcid":false,"given":"Georges-Edouard","family":"Kouamou","sequence":"additional","affiliation":[{"name":"Department of Computer Sciences, National Advanced School of Engineering, University of Yaound\u00e9 I, P.O. Box 8390 Yaound\u00e9, Cameroon"}]},{"given":"Claude","family":"Tangha","sequence":"additional","affiliation":[{"name":"Faculty of Information Technologies and Communication, Protestant University of Central Africa, P.O. Box 4011 Yaound\u00e9, Cameroon"}]}],"member":"1968","published-online":{"date-parts":[[2020,1,26]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Rao, J., and Su, X. (2004, January 6). A survey of automated web service composition methods. Proceedings of the International Workshop on Semantic Web Services and Web Process Composition, San Diego, CA, USA.","DOI":"10.1007\/978-3-540-30581-1_5"},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1016\/j.ins.2014.04.054","article-title":"Web services composition: A decade\u2019s overview","volume":"280","author":"Sheng","year":"2014","journal-title":"Inf. Sci."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/j.future.2016.12.003","article-title":"Adaptive composition in dynamic service environments","volume":"80","author":"Barakat","year":"2018","journal-title":"Future Gener. Comput. Syst."},{"key":"ref_4","doi-asserted-by":"crossref","unstructured":"Nagl, C., Rosenberg, F., and Dustdar, S. (2006, January 16\u201320). VIDRE\u2013A Distributed Service-Oriented Business Rule Engine based on RuleML. Proceedings of the 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC\u201906), Hong Kong, China.","DOI":"10.1109\/EDOC.2006.67"},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Kamada, A., and Mendes, M. (2007, January 17\u201319). Business rules in a service development and execution environment. Proceedings of the 2007 International Symposium on Communications and Information Technologies, Sydney, Australia.","DOI":"10.1109\/ISCIT.2007.4392229"},{"key":"ref_6","first-page":"609","article-title":"On the evolution of services","volume":"3","author":"Papazoglou","year":"2012","journal-title":"IEEE Trans. Softw. Eng."},{"key":"ref_7","unstructured":"Weigand, H., van den Heuvel, W.J., and Hiel, M. (2008, January 17). Rule-based service composition and service-oriented business rule management. Proceedings of the International Workshop on Regulations Modelling and Deployment (ReMoD\u201908), Montpellier, France."},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1145\/2835260.2835261","article-title":"Active workspaces: Distributed collaborative systems based on guarded attribute grammars","volume":"15","author":"Badouel","year":"2015","journal-title":"ACM SIGAPP Appl. Comput. Rev."},{"key":"ref_9","unstructured":"Sangiorgi, D., and Walker, D. (2003). The pi-Calculus: A Theory of Mobile Processes, Cambridge University Press."},{"key":"ref_10","first-page":"5","article-title":"Web services business process execution language version 2.0","volume":"11","author":"Jordan","year":"2007","journal-title":"OASIS stand."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Dijkman, R., Hofstetter, J., and Koehler, J. (2011). Business Process Model and Notation, Springer.","DOI":"10.1007\/978-3-642-25160-3"},{"key":"ref_12","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., and Lafon, Y. (2005). Web Services Choreography Description Language Version 1.0, W3c Candidate Recommendation, W3C. Technical Report."},{"key":"ref_13","unstructured":"Assaf, A., Intalio, A.A., Intalio, S.A., Fordin, S., Sap, W.J., Kawaguchi, K., and Orchard, D. (2020, January 25). Web Service Choreography Interface 1.0. Available online: http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?doi=10.1.1.3.879&rep=rep1&type=pdf."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"711","DOI":"10.4236\/jsea.2012.59084","article-title":"Towards an UML profile for web service composition based on behavioral descriptions","volume":"5","author":"Sabraoui","year":"2012","journal-title":"J. Softw. Eng. Appl."},{"key":"ref_15","unstructured":"Newcomer, E. (2002). Understanding Web Services: XML, Wsdl, Soap, and UDDI, AddisonWesley Professional."},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/s00778-007-0044-3","article-title":"Service oriented architectures: Approaches, technologies and research issues","volume":"16","author":"Papazoglou","year":"2007","journal-title":"VLDB j."},{"key":"ref_17","doi-asserted-by":"crossref","unstructured":"Yang, H., Zhao, X., Qiu, Z., Pu, G., and Wang, S. (2006, January 18\u201322). A formal model forweb service choreography description language (WS-CDL). Proceedings of the 2006 IEEE International Conference on Web Services (ICWS\u201906), Chicago, IL, USA.","DOI":"10.1109\/ICWS.2006.3"},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Martin, D., Paolucci, M., McIlraith, S., Burstein, M., McDermott, D., McGuinness, D., Parsia, B., Payne, T., Sabou, M., and Solanki, M. (2004, January 6). Bringing semantics to web services: The OWL-S approach. Proceedings of the International Workshop on Semantic Web Services and Web Process Composition, San Diego, CA, USA.","DOI":"10.1007\/978-3-540-30581-1_4"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1017\/S1471068407003213","article-title":"N3logic: A logical framework for the world wide web","volume":"8","author":"Connolly","year":"2008","journal-title":"Theory Pract. L. Program."},{"key":"ref_20","unstructured":"Rosenberg, F., and Dustdar, S. (2005, January 19\u201322). Business rules integration in BPEL-a service-oriented approach. Proceedings of the Seventh IEEE International Conference on E-Commerce Technology (CEC\u201905), Munich, Germany."},{"key":"ref_21","doi-asserted-by":"crossref","unstructured":"Yao, Y., and Chen, H. (2010, January 7\u201313). A rule-based web service composition approach. Proceedings of the 2010 Sixth International Conference on Autonomic and Autonomous Systems, Cancun, Mexico.","DOI":"10.1109\/ICAS.2010.29"},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1002\/spe.2434","article-title":"Modeling and verification of web services composition based on model transformation","volume":"47","author":"Zhu","year":"2017","journal-title":"Softw. Pract. Exp."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2009.10.022","article-title":"Model-checking web services orchestrations using bp-calculus","volume":"255","author":"Abouzaid","year":"2009","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"ref_24","doi-asserted-by":"crossref","unstructured":"Bianculli, D., Ghezzi, C., and Spoletini, P. (2007, January 19\u201320). A model checking approach to verify BPEL4WS workflows. Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (SOCA \u201907), Newport Beach, CA, USA.","DOI":"10.1109\/SOCA.2007.5"},{"key":"ref_25","unstructured":"Paschke, A., and Kozlenkov, A. (2020, January 23). A Rule-Based Middleware for Business Process Execution. Available online: https:\/\/vsis-www.informatik.uni-hamburg.de\/events\/mas2\/paschke.pdf."},{"key":"ref_26","doi-asserted-by":"crossref","unstructured":"Orri\u00ebns, B., Yang, J., and Papazoglou, M.P. (2003). A framework for business rule driven service composition. International Workshop on Technologies for E-Services, Springer.","DOI":"10.1007\/978-3-540-39406-8_2"},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s11280-006-0016-3","article-title":"Ao4bpel: An aspect-oriented extension to bpel","volume":"10","author":"Charfi","year":"2007","journal-title":"World Wide Web"},{"key":"ref_28","unstructured":"Schonenberg, H., Mans, R., Russell, N., Mulyar, N., and van der Aalst, W.M. (2008, January 18\u201320). Towards a Taxonomy of Process Flexibility. Proceedings of the Forum at the CAiSE\u201908 conference, Montpellier, France."},{"key":"ref_29","doi-asserted-by":"crossref","unstructured":"Knuth, D.E. (1990). The genesis of attribute grammars. Attribute Grammars and Their Applications, Springer.","DOI":"10.1007\/3-540-53101-7_1"},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Kungne, W.K., Kouamou, G.E., and Tangha, C. (2019, January 6\u20138). Introducing an Artifact-driven language for Service Composition. Proceedings of the ArabWIC 6th Annual International Conference Research Track, Rabat, Morocco.","DOI":"10.1145\/3333165.3333173"},{"key":"ref_31","unstructured":"Holzmann Gerard, J. (2003). SPIN Model Checker: The Primer and Reference Manual, Addison Wesley."},{"key":"ref_32","first-page":"9","article-title":"Interpreting \u03c0-calculus with Spin\/Promela","volume":"8","author":"Wu","year":"2003","journal-title":"Comput. Sci."},{"key":"ref_33","unstructured":"Song, H., and Compton, K.J. (2020, January 23). Verifying \u03c0-calculus processes by Promela translation. Available online: https:\/\/www.researchgate.net\/profile\/Kevin_Compton\/publication\/244354070_Verifying_-calculus_Processes_by_Promela_Translation\/links\/00b4953232bc753d31000000.pdf."},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"Eysholdt, M., and Behrens, H. (2010, January 17\u201321). Xtext: Implement your language faster than the quick and dirty way. Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, Reno\/Tahoe, NE, USA.","DOI":"10.1145\/1869542.1869625"},{"key":"ref_35","unstructured":"Bettini, L. (2016). Implementing Domain-Specific Languages with Xtext and Xtend, Packt Publishing."},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","article-title":"ATL: A model transformation tool","volume":"72","author":"Jouault","year":"2008","journal-title":"Sci. Comput. Program."},{"key":"ref_37","unstructured":"Gentile, U. (2016). A Model-driven Approach for the Automatic Generation of System-Level Test Cases. [Ph.D. Thesis, University of Naples Federico II]."},{"key":"ref_38","unstructured":"White, S.A. (2008). BPMN Modeling and Reference Guide: Understanding and Using BPMN, Future Strategies Inc."},{"key":"ref_39","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1080\/10864415.2005.11044328","article-title":"JOpera: A toolkit for efficient visual composition of web services","volume":"9","author":"Pautasso","year":"2005","journal-title":"Int. J. Electron. Commer."},{"key":"ref_40","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.entcs.2007.01.051","article-title":"Jolie: A java orchestration language interpreter engine","volume":"181","author":"Montesi","year":"2007","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"ref_41","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/MS.2015.11","article-title":"Microservices","volume":"32","year":"2015","journal-title":"IEEE softw."},{"key":"ref_42","doi-asserted-by":"crossref","unstructured":"Shadija, D., Rezai, M., and Hill, R. (2017, January 7\u20138). Towards an understanding of microservices. Proceedings of the 2017 23rd International Conference on Automation and Computing (ICAC), Huddersfield, UK.","DOI":"10.23919\/IConAC.2017.8082018"},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Decker, G., Kopp, O., Leymann, F., and Weske, M. (2007, January 9\u201313). BPEL4Chor: Extending BPEL for modeling choreographies. Proceedings of the IEEE International Conference on Web Services (ICWS 2007), Salt Lake City, UT, USA.","DOI":"10.1109\/ICWS.2007.59"},{"key":"ref_44","doi-asserted-by":"crossref","unstructured":"Kitchin, D., Quark, A., Cook, W., and Misra, J. (2009). The Orc programming language. Formal Techniques for Distributed Systems, Springer.","DOI":"10.1007\/978-3-642-02138-1_1"},{"key":"ref_45","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1016\/j.jss.2013.10.057","article-title":"Selfmotion: A declarative approach for adaptive service-oriented mobile applications","volume":"92","author":"Cugola","year":"2014","journal-title":"J. Syst. Softw."},{"key":"ref_46","first-page":"3","article-title":"Declarative specification and verification of service choreographiess","volume":"4","author":"Montali","year":"2010","journal-title":"ACM Trans. Web (TWEB)."},{"key":"ref_47","doi-asserted-by":"crossref","unstructured":"Greenwood, D., and Rimassa, G. (2007, January 19\u201325). Autonomic goal-oriented business process management. Proceedings of the Third International Conference on Autonomic and Autonomous Systems (ICAS\u201907), Athens, Greece.","DOI":"10.1109\/CONIELECOMP.2007.61"},{"key":"ref_48","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MIC.2003.1167338","article-title":"The self-serv environment for web services composition","volume":"7","author":"Benatallah","year":"2003","journal-title":"IEEE Internet Comput."},{"key":"ref_49","doi-asserted-by":"crossref","first-page":"1019","DOI":"10.1007\/s00778-007-0049-y","article-title":"The Active XML project: An overview","volume":"17","author":"Abiteboul","year":"2008","journal-title":"VLDB J."},{"key":"ref_50","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1016\/j.jnca.2015.11.020","article-title":"RESTful service composition at a glance: A survey","volume":"60","author":"Garriga","year":"2016","journal-title":"J. Netw. Comput. Appl."}],"container-title":["Future Internet"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1999-5903\/12\/2\/23\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T13:44:41Z","timestamp":1760363081000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1999-5903\/12\/2\/23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,26]]},"references-count":50,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2020,2]]}},"alternative-id":["fi12020023"],"URL":"https:\/\/doi.org\/10.3390\/fi12020023","relation":{},"ISSN":["1999-5903"],"issn-type":[{"type":"electronic","value":"1999-5903"}],"subject":[],"published":{"date-parts":[[2020,1,26]]}}}