Output details
11 - Computer Science and Informatics
University of Surrey
A True-Concurrent Interpretation of Behavioural Scenarios
<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.