University of Surrey

Test tubes in the lab Research in the ATI Dance Research

SBVR2Alloy: an SBVR to Alloy compiler

Manaf, Nurulhuda A., Antoniades, Andreas and Moschoyiannis, Sotiris (2018) SBVR2Alloy: an SBVR to Alloy compiler In: 10th IEEE International Conference on Service Oriented Computing and Applications (IEEE SOCA 2017), 22-25 Nov 2017, Kanazawa, Japan.

SBVR2Alloy.pdf - Accepted version Manuscript

Download (991kB) | Preview


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.

Item Type: Conference or Workshop Item (Conference Paper)
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
Manaf, Nurulhuda A.
Date : 1 January 2018
DOI : 10.1109/SOCA.2017.18
Copyright Disclaimer : © 2017 Institute of Electrical and Electronics Engineers (IEEE).
Uncontrolled Keywords : Service choreography; Constraints; Behavioural modelling; Model transformation; Verification; Realisability; Complex interactions
Related URLs :
Additional Information : Print on Demand(PoD) ISBN: 978-1-5386-1327-6
Depositing User : Clive Harris
Date Deposited : 22 Sep 2017 13:06
Last Modified : 16 Jan 2019 18:57

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800