Title of paper: Team Automata for CSCW


Team automata have been proposed as a formal framework for modelling both the conceptual and the architectural level of groupware systems. They are defined in terms of component automata together with an interconnection mechanism which is based on shared actions (synchronizations). Components can be combined in a loose or more tight fashion depending on which actions are to be shared, and when. The formal set-up makes it possible to distinguish between, e.g., master-slave and peer-to-peer synchronizations and to classify team automata based on the mode of synchronization. Since a team automaton can be used as a component in a higher-level team, the framework allows for the representation of hierarchical systems. As an example, using a spatial access metaphor, we will consider some access control strategies in the context of team automata.