Talks and Poster Presentations (with Proceedings-Entry):
E. Kühn, R. Mordinyi, C. Schreiber:
"An Extensible Space-based Coordination Approach for Modeling Complex Patterns in Large Systems";
Talk: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08),
- 2008-10-15; in: "Leveraging Applications of Formal Methods, Verification and Validation",
T. Margaria, B. Steffen (ed.);
Springer Berlin Heidelberg,
Coordination is frequently associated with shared data spaces
employing Linda coordination. But in practice, communication between
parallel and distributed processes is carried out with message exchange patterns. What, actually, do shared data spaces contribute beyond these? In this paper we present a formal representation for a definition of shared spaces by introducing an "extensible tuple model", based on existing research
on Linda coordination, some Linda extensions, and virtual shared
memory. The main enhancements of the extensible tuple model comprise:
means for structuring of spaces, Internet- compatible addressing of resources, more powerful coordination capabilities, a clear separation of user data and coordination information, support of symmetric peer application architectures, and extensibility through programmable aspects. The advantages of the extensible tuple model (XTM) are that it allows for a specification of complex coordination patterns.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.