Service Choreography, SBVR, and Time

Nurulhuda A. Manaf
(Computer Science, University of Surrey)
Sotiris Moschoyiannis
(Computer Science, University of Surrey)
Paul Krause
(Computer Science, University of Surrey)

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.

In José Proença and Massimo Tivoli: Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2015), Madrid, Spain, 5th September 2015, Electronic Proceedings in Theoretical Computer Science 201, pp. 63–77.
Published: 22nd December 2015.

ArXived at: https://dx.doi.org/10.4204/EPTCS.201.5 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org