SBVR2Alloy: an SBVR to Alloy compiler

Nurulhuda A. Manaf; Andreas Antoniades; Sotiris Moschoyiannis

doi:10.1109/SOCA.2017.18

Back

Conference presentation

Open access

Peer reviewed

SBVR2Alloy: an SBVR to Alloy compiler

Nurulhuda A. Manaf, Andreas Antoniades and Sotiris Moschoyiannis

Proceedings of 10th IEEE International Conference on Service Oriented Computing and Applications (IEEE SOCA 2017)

IEEE

10th IEEE International Conference on Service Oriented Computing and Applications (IEEE SOCA 2017) (Kanazawa, Japan, 22/11/2017 - 25/11/2017)

01/01/2018

DOI: https://doi.org/10.1109/SOCA.2017.18

Abstract

Service choreography; Constraints; Behavioural modelling; Model transformation; Verification; Realisability; Complex interactions

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.

Files and links (3)

pdf

SBVR2Alloy968.61 kBDownload View

Text Open Access

url

https://doi.org/10.1109/SOCA.2017.18View

Published (Version of record)

url

http://conferences.computer.org/soca/2017/View

Organisation

Metrics

241 File views/ downloads

67 Record Views

See more details

Details

Title: SBVR2Alloy: an SBVR to Alloy compiler
Creators: Nurulhuda A. Manaf
Andreas Antoniades
Sotiris Moschoyiannis
Publication Details: Proceedings of 10th IEEE International Conference on Service Oriented Computing and Applications (IEEE SOCA 2017)
Conference: 10th IEEE International Conference on Service Oriented Computing and Applications (IEEE SOCA 2017) (Kanazawa, Japan, 22/11/2017 - 25/11/2017)
Publisher: IEEE
Date published: 01/01/2018
Date submitted: 22/09/2017
Identifiers: 99514481202346
Academic Unit: Department of Computer Science
Resource Type: Conference presentation

SBVR2Alloy: an SBVR to Alloy compiler

Abstract

Files and links (3)

Metrics

Details

Usage Policy