|
|||||
|
|
Synchronizations in Team Automata for Groupware Systems |
|
| Authors: | Maurice H ter Beek Clarence A Ellis Jetty Kleijn Grzegorz Rozenberg |
| Affiliation: | (1) Leiden Institute of Advanced Computer Science, Universiteit Leiden, P.O. Box 9512, 2300 RA Leiden, The Netherlands;(2) Department of Computer Science, University of Colorado, Campus Box 430, Boulder, CO, 80309-0430, U.S.A. |
| Abstract: | Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team automata in a mathematically precise way in terms of component automata which synchronizeon certain executions of actions.At the conceptual level, our model serves as a formal framework in whichbasic groupware notions can be rigorously defined and studied.At the architectural level, team automata can be used as building blocksin the design of groupware systems. |
| Keywords: | CSCW formalization groupware systems master-slave peer-to-peer synchronizations team automata framework |
| 本文献已被 SpringerLink 等数据库收录！ | |