University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Service Choreography, SBVR, and Time

Manaf, NA, Moschoyiannis, Sotiris and Krause, Paul (2015) Service Choreography, SBVR, and Time Proceedings CONCUR 2015 - FOCLASA, EPTCS 201. pp. 63-77.

1512.07685v1.pdf - Version of Record
Available under License : See the attached licence file.

Download (724kB) | Preview
Text (licence)
Available under License : See the attached licence file.

Download (33kB) | Preview


We propose the use of structured natural language (English) in specifying service choreographies, focusing on the what rather than the how of the required coordination of participant services in realising a business application scenario. The declarative approach we propose uses the OMG standard Semantics of Business Vocabulary and Rules (SBVR) as a modelling language. The service choreography approach has been proposed for describing the global orderings of the invocations on interfaces of participant services. We therefore extend SBVR with a notion of time which can capture the coordination of the participant services, in terms of the observable message exchanges between them. The extension is done using existing modelling constructs in SBVR, and hence respects the standard specification. The idea is that users - domain specialists rather than implementation specialists - can verify the requested service composition by directly reading the structured English used by SBVR. At the same time, the SBVR model can be represented in formal logic so it can be parsed and executed by a machine.

Item Type: Article
Subjects : Computer Science
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
Manaf, NA
Date : 24 December 2015
DOI : 10.4204/EPTCS.201.5
Copyright Disclaimer : Copyright N.A. Manaf, S. Moschoyiannis & P.J. Krause This work is licensed under the Creative Commons Attribution License
Uncontrolled Keywords : cs.SE, cs.SE, cs.CL
Related URLs :
Depositing User : Symplectic Elements
Date Deposited : 03 Nov 2016 09:53
Last Modified : 18 Oct 2018 10:37

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