Abstract
We present a compilation tool SBVR2Alloy which is used to automatically generate as well as validate service choreographies specified in structured natural language. The proposed approach builds on a model transformation between Semantics of Business Vocabulary and Rules (SBVR), an OMG standard for specifying business models in structured English, and the Alloy Analyzer which is a SAT based constraint solver. In this way, declarative specifications can be enacted via a standard constraint solver and verified for realisability and conformance.
Author supplied keywords
Cite
CITATION STYLE
Manaf, N. A., Antoniades, A., & Moschoyiannis, S. (2017). 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). Institute of Electrical and Electronics Engineers Inc. https://doi.org/10.1109/SOCA.2017.18
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
