Showing 1–1 of 1 results for author: Cesari, L

Blind-date Conversation Joining

Authors: Luca Cesari, Rosario Pugliese, Francesco Tiezzi

Abstract: We focus on a form of joining conversations among multiple parties in service-oriented applications where a client may asynchronously join an existing conversation without need to know in advance any information about it. More specifically, we show how the correlation mechanism provided by orchestration languages enables a form of conversation joining that is completely transparent to clients and… ▽ More We focus on a form of joining conversations among multiple parties in service-oriented applications where a client may asynchronously join an existing conversation without need to know in advance any information about it. More specifically, we show how the correlation mechanism provided by orchestration languages enables a form of conversation joining that is completely transparent to clients and that we call 'blind-date joining'. We provide an implementation of this strategy by using the standard orchestration language WS-BPEL. We then present its formal semantics by resorting to COWS, a process calculus specifically designed for modelling service-oriented applications. We illustrate our approach by means of a simple, but realistic, case study from the online games domain. △ Less

Submitted 1 August, 2013; originally announced August 2013.

Comments: In Proceedings WWV 2013, arXiv:1308.0268

Journal ref: EPTCS 123, 2013, pp. 3-18