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.