The Knowledge Engineering Review
Fundamenta Informaticae
Formal modelling of a coordination system: from practice to theory, and back again
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Formal reasoning on a web coordination system
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Fundamenta Informaticae
Hi-index | 0.00 |
Tuple-based coordination models are a successful tool for harnessing the complexity of interactions in open and highly dynamic systems. Recently, coordination infrastructures such as JavaSpaces and TSpaces have been proposed for event-based systems as well,promoting the mechanism of event notification at the coordination level. In this paper, we investigate how the foundation of tuple-based coordination models is affected by the idea of applying them to event-based scenarios.Since existing semantics models seem quite inadequate to this purpose, we present a new formal framework where the behaviour of the coordination medium is defined in terms of the events it produces and consumes. To stress the usefulness of our approach, we discuss how the formal framework can be used to extend the basic tuple-space model with the event notification mechanism. The application of coordination models to event-based systems alsosuggests to reconsider the traditional issue of coordination models' expressiveness. Correspondingly, we sketch a novel approach to characterise the expressiveness of a coordination medium.