(SCC 2023) "OR" of Rule-based Specification for Service Choreograph

The Semantics of Business Vocabulary and Rules (SBVR) model, adopted from an Object-Oriented Management (OMG) standard, 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 message exchange, alternative and concurrent interactions that occur between multiple participating services. It has been observed that an unexpected message exchange occurs in service choreographies when rule-based choreography specification involves the logical operator in the SBVR model. This paper concerns 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.