Statecharts: A visual formalism for complex systems
Science of Computer Programming
Fundamentals of software engineering
Fundamentals of software engineering
SOCCA: Specifications of Coordinated and Cooperative Activities
Software process modelling and technology
Team automata for groupware systems
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Object-oriented modeling: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A methodology for specifying and analyzing consistency of object-oriented behavioral models
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Industrial maintenance modelled in SOCCA: an experience report
ICSP '96 Proceedings of the Fourth International Conference on the Software Process (ICSP '96)
Team automata for spatial access control
ECSCW'01 Proceedings of the seventh conference on European Conference on Computer Supported Cooperative Work
Electronic Notes in Theoretical Computer Science (ENTCS)
Data-driven modeling and coordination of large process structures
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Theoretical Computer Science
Hi-index | 0.00 |
The paper studies and compares two different approaches to model communication and cooperation. The approaches are team automata, a well-defined variant of communicating automata, and state-charts, heavily used in object-oriented modelling methods. The comparison yields interesting insights for modelling communication and cooperation. In particular, the differences between action-based, synchronous and state-based, asynchronous communication are elucidated.