Title of talk: Team automata for groupware systems

Abstract

Team automata have been proposed by Ellis to serve as a formal framework for modelling both the conceptual and the architectural level of groupware systems.

Together with Ellis we have defined the concept of team automata in a precise mathematical model. At the conceptual level, our model allows a formal description of the various types of synchronizations (sharing of actions) that can take place within a team.
At the architectural level, our team automata can be used as buildings blocks for constructing larger groupware systems.