“OR” of Rule-Based Specification for Service Choreography
Pages 3 - 15
Abstract
The Semantics of Business Vocabulary and Business Rules (SBVR) model, adopted from the SBVR standard within an Object Management Group (OMG), is a rule-based specification. The SBVR model is proposed for specifying multiple interactions in service choreographies. It includes specifying the ordering constraints of global messages exchanged, alternative and concurrent interactions that occur between multiple participating services. It has been observed that unexpected messages exchanged occur in service choreographies when rule-based choreography specification (the SBVR model) involves the logical operator. This paper concerns about the unexpected circumstances in the service interaction when applying inclusive disjunction, OR in the SBVR rules specifications. The SBVR rules define the choreography specifications through the construction of a logical formulation consisting of atomic formulations, modality, logical operations, and quantification. The role binding of logical formulation and the “Sets” definition according to the OMG standard are applied to the SBVR model for service choreographies. These two elements contribute to the factors in the accuracy of the meaning for specifying the intended interaction.
References
[1]
Web Services Choreography Description Language: Primer. https://www.w3.org/TR/ws-cdl-10-primer/. Accessed 21 Sept 2023
[2]
Kungne WK, Kouamou GE, and Tangha C A rule-based language and verification framework of dynamic service composition Future Internet 2020 12 2 1-27
[3]
Alulema D, Criado J, Iribarne L, Fernández-García AJ, and Ayala R SI4IoT: a methodology based on models and services for the integration of IoT systems Futur. Gener. Comput. Syst. 2023 143 132-151
[4]
Barbanera F, Lanese I, and Tuosto E Bliudze S and Bocchi L Choreography automata Coordination Models and Languages 2020 Cham Springer 86-106
[5]
Haarmann, S., Lichtenstein, T., Weske, M.: Fragment-based service choreographies. In: Proceedings - 2022 IEEE International Conference on Services Computing, SCC 2022, pp. 164–173 (2022).
[6]
Corradini F, Marcelletti A, Morichetta A, Polini A, Re B, and Tiezzi F A flexible approach to multi-party business process execution on blockchain Futur. Gener. Comput. Syst. 2023 147 219-234
[7]
Kumar, P., Prakash, C., Naik, R., Bhattacharyya, A.: An approach to mine SBVR vocabularies and rules from business documents. In: ACM International Conference Proceeding Series (2020).
[8]
Montali M, Pesic M, van der Aalst WMP, Chesani F, Mello P, and Storari S Declarative specification and verification of service choreographiess ACM Trans. Web (TWEB) 2010 4 1 1-62
[9]
Moschoyiannis, S., Maglaras, L., Manaf, N.A.: Trace-based verification of rule-based service choreographies. In: Proceedings - IEEE 11th International Conference on Service-Oriented Computing and Applications, SOCA 2018, pp. 185–193 (2019).
[10]
Andrikopoulos V, Benbernou S, and Papazoglou MP On the evolution of services IEEE Trans. Software Eng. 2012 38 3 609-628
[11]
Barakat L, Miles S, and Luck M Adaptive composition in dynamic service environments Futur. Gener. Comput. Syst. 2018 80 215-228
[12]
Rao J and Su X Cardoso J and Sheth A A survey of automated Web service composition methods Semantic Web Services and Web Process Composition 2005 Heidelberg Springer 43-54
[13]
De Palma, G., Giallorenzo, S., Mauro, J., Trentin, M., Zavattaro, G.: A declarative approach to topology-aware serverless function-execution scheduling. In: Proceedings - IEEE International Conference on Web Services, ICWS 2022, pp. 337–342 (2022).
[14]
Weigand, H., Van Den Heuvel, W.J., Hiel, M.: Rule-based service composition and service-oriented business rule management. In: CEUR Workshop Proceedings, vol. 342, no. September, pp. 1–12 (2008)
[15]
Omg: Semantics of Business Vocabulary and Business Rules (2019). https://www.omg.org/spec/SBVR/1.5/PDF
[16]
Abidin, N.N.Z., Manaf, N.A., Moschoyiannis, S., Jamaludin, N.A.: Deontic rule of rule-based service choreographies. In: Proceedings - 2021 2nd International Conference on Computing and Data Science, CDS 2021, pp. 510–515 (2021).
[17]
Abidin, N.N.Z., Manaf, N.A., Jamaludin, N.A., Moschoyiannis, S.: Validation and verification of business rules. In: CEUR Workshop Proceedings, vol. 2956 (2021)
[18]
Manaf NA, Abidin NNZ, and Jamaludin NA Moschoyiannis S, Peñaloza R, Vanthienen J, Soylu A, and Roman D Correctness of automatically generated choreography specifications Rules and Reasoning 2021 Cham Springer 18-32
[19]
Manaf, N.A., Moschoyiannis, S., Krause, P.J.: Service choreography, SBVR, and time. In: Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 201, pp. 63–77 (2015).
[20]
Manaf, N.A., Antoniades, A., Moschoyiannis, S.: SBVR2Alloy: an SBVR to alloy compiler. In: Proceedings - 2017 IEEE 10th International Conference on Service-Oriented Computing and Applications, SOCA 2017, vol. 2017-January, pp. 73–80 (2017).
[21]
Abidin, N.N.Z., Manaf, N.A., Jamaludin, N.A., Moschoyiannis, S.: Validation and verification of business rules. In: CEUR Workshop Proceedings (2021)
[22]
Küster-Filipe J Modelling concurrent interactions Theor. Comput. Sci. 2006 351 2 203-220
[23]
Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based analysis of obligations in web service choreography. In: Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services, AICT/ICIW 2006, vol. 2006, p. 149 (2006).
[24]
Filippone G, Pompilio C, Autili M, and Tivoli M An architectural style for scalable choreography-based microservice-oriented distributed systems Computing 2022
[25]
SBVR Lab 2.0. http://www.sbvr.co/. Accessed 21 Sept 2023
[26]
Spreeuwenberg, S., Healy, K.A.: SBVR’s Approach to Controlled Natural Language
[27]
Bajwa, I.S., Lee, M.G., Bordbar, B.: SBVR business rules generation from natural language specification. In: AAAI Spring Symposium - Technical Report, vol. SS-11–03, pp. 2–8 (2011)
Index Terms
- “OR” of Rule-Based Specification for Service Choreography
Index terms have been assigned to the content through auto-classification.
Recommendations
Correctness of Automatically Generated Choreography Specifications
Rules and ReasoningAbstractThe service choreography approach has been proposed for the declarative specification of multi-party conversations between participant services, in service-oriented applications and web transactions. Constraint solvers such as Alloy Analyzer can ...
SBVR Use Cases
RuleML '08: Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web<em>Semantics of Business Vocabulary and Rules</em> (SBVR) is a new standard from the OMG that combines aspects of ontologies and of rule systems. This paper summarizes SBVR, reviews some possible use cases for SBVR, and discusses ways that vocabularies ...
Service Choreography: Present and Future
SCC '14: Proceedings of the 2014 IEEE International Conference on Services ComputingService oriented architecture is widely adopted, accepted and appreciated for both horizontal and vertical integration of enterprise applications. The success is hugely aided by web service composition, which is a temporal collaboration of independent ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Dec 2023
118 pages
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 11 January 2024
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 18 Dec 2024