Output details
11 - Computer Science and Informatics
University of Surrey
Article title
A True-Concurrent Interpretation of Behavioural Scenarios
Type
D - Journal article
Title of journal
Electronic Notes in Theoretical Computer Science
Article number
-
Volume number
203
Issue number
7
First page of article
3
ISSN of journal
15710661
Year of publication
2009
URL
-
Number of additional authors
-
Additional information
<10>This work provides a formal foundation for the long-term transactions that are an important target of our SBVR/REST web service architecture. We argue that it is important to use a true concurrent interpretation for the modelling of choreography of web services (composition of services from different organisational boundaries). Whilst increasingly being recognised as an issue (for choreography) with models supported by interleaving semantics, true concurrency is naturally supported by our “transaction vector” approach. To our knowledge, ours is currently the only work that provides this. This work was recognised as “Exceeding expectations” in an EU project review.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
