University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Service Choreography, SBVR, and Time

Manaf, NA, Moschoyiannis, S and Krause, P (2015) Service Choreography, SBVR, and Time EPTCS 201, 2015, pp. 63-77.

[img]
Preview
Text
1512.07685v1.pdf - Version of Record
Available under License : See the attached licence file.

Download (724kB) | Preview
[img]
Preview
PDF (licence)
SRI_deposit_agreement.pdf
Available under License : See the attached licence file.

Download (33kB) | Preview

Abstract

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 :
AuthorsEmailORCID
Manaf, NAUNSPECIFIEDUNSPECIFIED
Moschoyiannis, SUNSPECIFIEDUNSPECIFIED
Krause, PUNSPECIFIEDUNSPECIFIED
Date : 24 December 2015
Identification Number : https://doi.org/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 : 03 Nov 2016 09:53
URI: http://epubs.surrey.ac.uk/id/eprint/812165

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