Synchronizations in team automata for groupware systems

被引：46

作者：

Maurice H. ter Beek

Clarence A. Ellis

Jetty Kleijn

Grzegorz Rozenberg

机构：

[1] Leiden Inst. of Adv. Computer Sci., Universiteit Leiden, 2300 RA, Leiden

[2] Department of Computer Science, University of Colorado, Boulder, CO 80309-0430

来源：

Computer Supported Cooperative Work (CSCW) | 2003年 / 12卷 / 1期

关键词：

CSCW; Formalization; Groupware systems; Master-slave; Peer-to-peer; Synchronizations; Team automata framework;

D O I：

10.1023/A:1022407907596

中图分类号：

学科分类号：

摘要：

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 synchronize on certain executions of actions. At the conceptual level, our model serves as a formal framework in which basic groupware notions can be rigorously defined and studied. At the architectural level, team automata can be used as building blocks in the design of groupware systems.

引用

页码：21 / 69

页数：48

共 21 条

[1]

Arnold A., Synchronized behaviours of processes and rational relations, Acta Informatica, 17, pp. 21-29, (1982)

[2]

Badouel E., Darondeau Ph., Quichaud D., Tokmakoff A., Modelling dynamic agent systems with cooperating automata, (1999)

[3]

Ter Beek M.H., Ellis C.A., Keijn J., Rozenberg G., Team automata for CSCW, Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems. Berlin, Germany, September 14 to 15, 2001, pp. 1-20, (2001)

[4]

Ter Beek M.H., Ellis C.A., Klein J., Rozenberg G., Team automata for spatial access control, ECSCW 2001. Proceedings of the Seventh European Conference on Computer Supported Cooperative Work, Bonn, Germany, September 16 to 20, 2001, pp. 59-77, (2001)

[5]

Diekert V., Rozenberg G., Book of Traces, (1995)

[6]

Duboc C., Mixed product and asynchronous automata, Theoretical Computer Science, 42, pp. 183-199, (1986)

[7]

Ellis C.A., Gibbs S.J., Rein G., Design and use of a group editor, Engineering for Human Computer Interaction, pp. 13-25, (1990)

[8]

Ellis C.A., Team automata for groupware systems, Group'97. Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge, Phoenix, Atrizona, November 16 to 19, 1997, pp. 415-424, (1997)

[9]

Ellis C.A., Nutt G.J., Modelling and Enactment of Workflow Systems, Proceedings of the International Conference on Application and Theory of Petri Nets, Chicago, U.S.A. Lecture Notes in Computer Science, 691, pp. 1-16, (1993)

[10]

Gawlick R., Segala R., Sogaard-Andersen F.F., Lynch N., Liveness in timed and untimed systems, ICALP'94. Proceedings of the International Colloquium on Automata, Languages and Programming. Lecture Notes in Computer Science, 820, pp. 166-177, (1994)

← 1 2 3 →