University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Trace-based Verification of Rule-based Service Choreographies

Moschoyiannis, Sotiris, Maglaras, Leandros and Manaf, Nurulhuda A (2019) Trace-based Verification of Rule-based Service Choreographies In: The 11th IEEE International Conference on Service Oriented Computing and Applications (IEEE SOCA 2018), 20-22 Nov 2018, Paris, France.

Trace-based Verification of Rule-based Service Choreographies.pdf - Accepted version Manuscript

Download (283kB) | Preview


The service choreography approach has been proposed for describing the global ordering constraints on the observable message exchanges between participant services in service oriented architectures. Recent work advocates the use of structured natural language, in the form of Semantics of Business Vocabulary and Rules (SBVR), for specifying and validating choreographies. This paper addresses the verification of choreographies - whether the local behaviours of the individual participants conform to the global protocol prescribed by the choreography. We describe how declarative specifications of service choreographies can be verified using a trace-based model, namely an adaptation of Shields’ vector languages. We also use the so-called blackboard rules, which draw upon the Bach coordination language, as a middleware that adds reactiveness to this declarative setting. Vector languages are to trace languages what matrices are to linear transformations; they afford a more concrete representation which has advantages when it comes to computation or manipulation.

Item Type: Conference or Workshop Item (Conference Paper)
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
Maglaras, Leandros
Manaf, Nurulhuda A
Date : 3 January 2019
DOI : 10.1109/SOCA.2018.00034
Copyright Disclaimer : © 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Uncontrolled Keywords : SBVR; Service interactions; Verification; Vector languages; Concurrency; Global behaviour; Complex systems
Related URLs :
Depositing User : Clive Harris
Date Deposited : 19 Oct 2018 09:55
Last Modified : 21 Jan 2019 13:20

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