Title of paper: Synchronizations in team automata for groupware systems

Abstract

Team automata have been proposed in [Ell97] as a formal framework for modelling both the conceptual and the architectural level of groupware systems. Here we define team automata in a mathematically precise way in terms of component automata which synchronize on certain executions of actions.

At the conceptual level, our model serves as a formal framework in which basic groupware notions can be rigorously defined and studied. At the architectural level, team automata can be used as building blocks in the design of groupware systems.


[Ell97] C.A. Ellis, Team Automata for Groupware Systems. In Proceedings of the GROUP'97 International ACM SIGGROUP Conference on Supporting Group Work , Phoenix, Arizona, 1997, 415-424.