Team automata for CSCW – a survey. (English) Zbl 1283.68247

Kleijn, Jetty

Ehrig, Hartmut (ed.) et al., Petri net technology for communication-based systems. Advances in Petri nets. Berlin: Springer (ISBN 3-540-20538-1/pbk). Lecture Notes in Computer Science 2472, 295-320 (2003).

Summary: 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 (labelled transition systems) together with an interconnection mechanism which is based on shared actions (synchronizations). Components can be combined in different fashions depending on which actions are to be shared, and when. This set-up makes it possible to distinguish between different types of synchronizations and allows to represent hierarchical systems. A survey is presented including a brief comparison with some related models.
For the entire collection see [Zbl 1028.00015].

MSC:

68Q85	Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68Q45	Formal languages and automata