A Logical Model for Coordination Rule Classes in Collaborative Sessions

Authors:
José Martín Molina Espinosa;Jean Fanchon;Khalil Drira
Affiliations:
-;-;-
Venue:
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Year:
2003

Citing 11
Cited 0

Modeling concurrency with partial orders

International Journal of Parallel Programming
Rendezvous: an architecture for synchronous multi-user applications

CSCW '90 Proceedings of the 1990 ACM conference on Computer-supported cooperative work
The interdisciplinary study of coordination

ACM Computing Surveys (CSUR)
Session management for collaborative applications

CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Cooperative Environments for Distributed Systems Engineering

Cooperative Environments for Distributed Systems Engineering
Collaborative Learning with the Distributed Building Site Metaphor

IEEE MultiMedia
LTL Is Expressively Complete for Mazurkiewicz Traces

ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces

ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Deciding Global Partial-Order Properties

ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
Policies for Cooperative Virtual Teams

COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Model-Checking of causality properties

LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a coordination model allowingmanagers to define coordination policies in collaborativesessions. Our model allows different collaboration sites tobe managed by maintaining consistency of the distributedmanagement actions at the user and collaborative toollevels. The model manages multi-tools and multi-userscollaboration sessions. It is based on a partial orderrepresentation of interdependencies in collaborativesessions and a logical specification of the requiredproperties. We define three rule classes of coordinationsufficient to specify the properties of interest. Our modelis used to implement a software component forcollaborative session management. We proceed bycontrol of user-level management actions and byautomated execution of tool-level management actions.