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.

Preview

Text SBVR2Alloy.pdf - Accepted version Manuscript Download (991kB) | Preview

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.

Item Type:	Conference or Workshop Item (Conference Paper)
Divisions :	Faculty of Engineering and Physical Sciences > Computing Science
Authors :	Name Email ORCID Manaf, Nurulhuda A. Antoniades, Andreas aa00542@surrey.ac.uk Moschoyiannis, Sotiris S.Moschoyiannis@surrey.ac.uk
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 :	Organisation
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
URI:	http://epubs.surrey.ac.uk/id/eprint/842383

Actions (login required)

View Item

Downloads