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 (2017) 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.

[img] Text
SBVR2Alloy.pdf - Accepted version Manuscript
Restricted to Repository staff only until 25 November 2017.

Download (991kB)

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 :
NameEmailORCID
Manaf, Nurulhuda A.UNSPECIFIEDUNSPECIFIED
Antoniades, Andreasaa00542@surrey.ac.ukUNSPECIFIED
Moschoyiannis, SotirisS.Moschoyiannis@surrey.ac.ukUNSPECIFIED
Date : 2017
Copyright Disclaimer : © 2017 IEEE.
Uncontrolled Keywords : Service choreography; Constraints; Behavioural modelling; Model transformation; Verification; Realisability; Complex interactions
Related URLs :
Depositing User : Clive Harris
Date Deposited : 22 Sep 2017 13:06
Last Modified : 22 Sep 2017 13:07
URI: http://epubs.surrey.ac.uk/id/eprint/842383

Actions (login required)

View Item View Item

Downloads

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