Publications » Extending ReSpecT for Multiple Coordination Flows

Extending ReSpecT for Multiple Coordination Flows

Alessandro Ricci, Andrea Omicini, Mirko Viroli
In this paper, the ReSpecT specification language for programming the behaviour of tuple centres is extended with the out_tc predicate, enabling communication between tuple centres. The extension is formally defined, and its benefits in the management of multiple coordination flows are outlined. The paper shows how relevant interaction scenarios — typically event-oriented — can be framed as multiple coordination flow problems, and properly engineered using tuple centres with the extended ReSpecT language. In particular, first ReSpecT is used to implement a well-known coordination primitive — copy-collect —, provided by some tuple-based model as a building block for managing multiple coordination flows; then the Publish/Subscribe interaction pattern is taken into account, showing how ReSpecT tuple centres can be used for the design of flexible event notification services. For sake of concreteness, two examples are then developed: a JavaSpaces- and T Spaces-like notification service, and a patient monitoring system, involving the notification of complex event patterns.
International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), pages 1407-1413, 24-27 July 2002.
Hamid R. Arabnia (eds.), CSREA Press, Las Vegas, NV, USA
@inproceedings{respect-pdpta02,
	AcmId = {691538},
	Address = {Las Vegas, NV, USA},
	Author = {Ricci, Alessandro and Omicini, Andrea and Viroli, Mirko},
	Booktitle = {International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02)},
	Editor = {Arabnia, Hamid R.},
	Isbn = {1-892512-89-0},
	Month = {24--27~} # jul,
	Pages = {1407--1413},
	Publisher = {CSREA Press},
	Title = {Extending {{\sf ReSpecT}} for Multiple Coordination Flows},
	Url = {http://dl.acm.org/citation.cfm?id=691538},
	Volume = {III},
	Year = 2002}