Journal Article

Synchronizations in Team Automata for Groupware Systems

Fulltext URI

Document type

Text/Journal Article

Additional Information

Date

37653

Authors

Journal Title

Journal ISSN

Volume Title

Source

Computer Supported Cooperative Work (CSCW): Vol. 12, No. 1

Publisher

Springer

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.

Description

ter Beek, Maurice H.; Ellis, Clarence A.; Kleijn, Jetty; Rozenberg, Grzegorz (37653): Synchronizations in Team Automata for Groupware Systems. Computer Supported Cooperative Work (CSCW): Vol. 12, No. 1. DOI: 10.1023/A:1022407907596. Springer. PISSN: 1573-7551. pp. 21-69

Keywords

CSCW , formalization , groupware systems , master-slave , peer-to-peer , synchronizations , team automata framework

Citation

DOI

10.1023/A:1022407907596

Tags

Collections

JCSCW Vol. 12 (2003)