Synchronizations in Team Automata for Groupware Systems

Authors:
Maurice H. Ter Beek;Clarence A. Ellis;Jetty Kleijn;Grzegorz Rozenberg
Affiliations:
Leiden Institute of Advanced Computer Science, Universiteit Leiden, P.O. Box 9512, 2300 RA, Leiden, The Netherlands (E-mails: mtbeek@liacs.nl);Department of Computer Science, University of Colorado, Campus Box 430, Boulder, CO 80309-0430, U.S.A. (E-mail: skip@colorado.edu);Leiden Institute of Advanced Computer Science, Universiteit Leiden, P.O. Box 9512, 2300 RA, Leiden, The Netherlands (E-mails: kleijn@liacs.nl);Leiden Institute of Advanced Computer Science, Universiteit Leiden, P.O. Box 9512, 2300 RA, Leiden, The Netherlands (E-mails: rozenber@liacs.nl)/ Department of Computer Science, U ...
Venue:
Computer Supported Cooperative Work
Year:
2003

Citing 11
Cited 24

Mixed product and asynchronous automata

Theoretical Computer Science
Vector controlled concurrent systems. Part I: basic classes

Fundamenta Informaticae
Vector controlled concurrent systems, part II: comparisons

Fundamenta Informaticae
Team automata for groupware systems

GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Operational transformation in real-time group editors: issues, algorithms, and achievements

CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
Distributed Algorithms

Distributed Algorithms
Specification and Analysis of Concurrent Systems: The COSY Approach

Specification and Analysis of Concurrent Systems: The COSY Approach
Modeling and Enactment of Workflow Systems

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Basic notions of trace theory

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Liveness in Timed and Untimed Systems

ICALP '94 Proceedings of the 21st International Colloquium on Automata, Languages and Programming
Team automata for spatial access control

ECSCW'01 Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work

A case study on the automated verification of groupware protocols

Proceedings of the 27th international conference on Software engineering
Modularity for teams of I/O automata

Information Processing Letters
Component-interaction automata as a verification-oriented component-based system specification

SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Synchronized shuffles

Theoretical Computer Science
Synchronized Shuffle on Backbones

Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Infinite unfair shuffles and associativity

Theoretical Computer Science
Q-Automata: Modelling the Resource Usage of Concurrent Components

Electronic Notes in Theoretical Computer Science (ENTCS)
A Calculus for Team Automata

Electronic Notes in Theoretical Computer Science (ENTCS)
Computing by Swarm Networks

ACRI '08 Proceedings of the 8th international conference on Cellular Automata for Reseach and Industry
On the relationship between workflow models and document types

Information Systems
State Space Reduction Techniques for Component Interfaces

CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Associativity of Infinite Synchronized Shuffles and Team Automata

Fundamenta Informaticae
Open paper: caT: adapting and updating the trellis hypertext model

The New Review of Hypermedia and Multimedia
Team Automata for Security

Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling a Secure Agent with Team Automata

Electronic Notes in Theoretical Computer Science (ENTCS)
Modularity for teams of I/O automata

Information Processing Letters
A review on specifying software architectures using extended automata-based models

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata

Electronic Notes in Theoretical Computer Science (ENTCS)
Modelling behaviour requirements for automatic interpretation, simulation and deployment

SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
A team automaton scenario for the analysis of security properties of communication protocols

Journal of Automata, Languages and Combinatorics
Vector team automata

Theoretical Computer Science
Associativity of Infinite Synchronized Shuffles and Team Automata

Fundamenta Informaticae
Synchronized Shuffle on Backbones

Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Partition refinement of Component Interaction Automata

Science of Computer Programming

Quantified Score

Hi-index	0.01

Visualization

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.