Generating choreographies from SBVR models

Abstract

Architecting online service applications involves the challenging coordination task of ensuring the collaboration achieves the overall business goal while adhering to the global constraints agreed between the interacting participants. We propose a declarative approach for specifying the underlying service interactions and generating the service choreography required for successful execution. The proposed approach builds on the Semantics of Business Vocabulary and Business Rules (SBVR), an OMG standard for specifying business models in structured English. Our approach can be used to verify i) whether a specific request can be realised in the given choreography, ii) the consistency of the business rules, and iii) domain-specific static constraints in the generated choreography. We describe a mapping from an SBVR model to a relational constraint solver, namely the Alloy Analyzer. The transformation of SBVR into Alloy allows to automatically generate the corresponding service choreography, hence producing an immediate instance of execution that satisfies the constraints of the specification.Architecting online service applications involves the challenging coordination task of ensuring the collaboration achieves the overall business goal while adhering to the global constraints agreed between the interacting participants. We propose a declarative approach for specifying the underlying service interactions and generating the service choreography required for successful execution. The proposed approach builds on the Semantics of Business Vocabulary and Business Rules (SBVR), an OMG standard for specifying business models in structured English. Our approach can be used to verify i) whether a specific request can be realised in the given choreography, ii) the consistency of the business rules, and iii) domain-specific static constraints in the generated choreography. We describe a mapping from an SBVR model to a relational constraint solver, namely the Alloy Analyzer. The transformation of SBVR into Alloy allows to automatically generate the corresponding service choreography, hence producing an ...