Title of talk: Team Automata

Abstract

Team automata provide a formal, yet flexible framework for the description and analysis of collaboration protocols in a variety of systems. They consist of a set of component automata, which interact through synchronizations of common actions. 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., peer-to-peer and master-slave synchronizations and to classify team automata based on their type of synchronization. Since a team automaton can be used as a component in a higher-level team, the framework allows the representation of hierarchical systems. As an example, using a spatial access metaphor, we will consider some key issues of access control in the context of team automata.