“OR” of Rule-Based Specification for Service Choreography

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.