IDEAS home Printed from https://ideas.repec.org/a/gam/jftint/v12y2020i2p23-d313287.html
   My bibliography  Save this article

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

Author

Listed:
  • Willy Kengne Kungne

    (Department of Computer Sciences, Faculty of Sciences, University of Yaoundé I, P.O. Box 812 Yaoundé, Cameroon)

  • Georges-Edouard Kouamou

    (Department of Computer Sciences, National Advanced School of Engineering, University of Yaoundé I, P.O. Box 8390 Yaoundé, Cameroon)

  • Claude Tangha

    (Faculty of Information Technologies and Communication, Protestant University of Central Africa, P.O. Box 4011 Yaoundé, Cameroon)

Abstract

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.

Suggested Citation

  • Willy Kengne Kungne & Georges-Edouard Kouamou & Claude Tangha, 2020. "A Rule-Based Language and Verification Framework of Dynamic Service Composition," Future Internet, MDPI, vol. 12(2), pages 1-27, January.
    • Handle: RePEc:gam:jftint:v:12:y:2020:i:2:p:23-:d:313287
    as

    Download full text from publisher

    File URL: https://www.mdpi.com/1999-5903/12/2/23/pdf
    Download Restriction: no
    File URL: https://www.mdpi.com/1999-5903/12/2/23/
    Download Restriction: no
    ---><---

    References listed on IDEAS

    as
    1. Papazoglou, M. & van den Heuvel, W.J.A.M., 2007. "Service oriented architectures : Approaches, technologies and research issues," Other publications TiSEM c0ca7265-f37f-42ed-a261-1, Tilburg University, School of Economics and Management.
    2. Orriëns, B. & Yang, J. & Papazoglou, M., 2003. "A framework for business rule driven service composition," Other publications TiSEM 885b94c8-3495-4e5b-a475-e, Tilburg University, School of Economics and Management.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Abderrahmane Maaradji & Hakim Hacid & Assia Soukane, 2023. "From Service Composition to Mashup Editor: A Multiperspective Taxonomy," Future Internet, MDPI, vol. 15(2), pages 1-32, January.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Tröger, Ralph & Alt, Rainer, 2011. "Serviceorientiertes Supply Chain Event Management (SCEM) – Nutzen und Architektur für globale Lieferketten am Beispiel der Modeindustrie," Die Unternehmung - Swiss Journal of Business Research and Practice, Nomos Verlagsgesellschaft mbH & Co. KG, vol. 65(2), pages 115-129.
    2. Alexander Becker & Thomas Widjaja & Peter Buxmann, 2011. "Value Potentials and Challenges of Service-Oriented Architectures," Business & Information Systems Engineering: The International Journal of WIRTSCHAFTSINFORMATIK, Springer;Gesellschaft für Informatik e.V. (GI), vol. 3(4), pages 199-210, August.
    3. Marco Crasso & Alejandro Zunino & Marcelo Campo, 2011. "Combining query-by-example and query expansion for simplifying web service discovery," Information Systems Frontiers, Springer, vol. 13(3), pages 407-428, July.
    4. Alexander Gromoff & Yulia Bilinkis & Nikolay Kazantsev, 2017. "Business Architecture Flexibility as a Result of Knowledge-Intensive Process Management," Global Journal of Flexible Systems Management, Springer;Global Institute of Flexible Systems Management, vol. 18(1), pages 73-86, March.
    5. Victor Chang & Mohamed Abdel-Basset & Muthu Ramachandran, 2019. "Towards a Reuse Strategic Decision Pattern Framework – from Theories to Practices," Information Systems Frontiers, Springer, vol. 21(1), pages 27-44, February.
    6. Nane Kratzke & Robert Siegfried, 2021. "Towards cloud-native simulations – lessons learned from the front-line of cloud computing," The Journal of Defense Modeling and Simulation, , vol. 18(1), pages 39-58, January.
    7. Francesco Chiti & Romano Fantacci & Roberto Picchi & Laura Pierucci, 2021. "Towards the Quantum Internet: Satellite Control Plane Architectures and Protocol Design," Future Internet, MDPI, vol. 13(8), pages 1-13, July.
    8. Arne Katzmarzik, 2011. "Product Differentiation for Software-as-a-Service Providers," Business & Information Systems Engineering: The International Journal of WIRTSCHAFTSINFORMATIK, Springer;Gesellschaft für Informatik e.V. (GI), vol. 3(1), pages 19-31, February.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:gam:jftint:v:12:y:2020:i:2:p:23-:d:313287. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: MDPI Indexing Manager (email available below). General contact details of provider: https://www.mdpi.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.