Specifying temporal behaviour in software architectures for groupware systems

Authors:
Timothy N. Wright;T. C. Nicholas Graham;Tore Urnes
Affiliations:
University of Canterbury, Christchurch, New Zealand;Queen's University, Kingston, Ontario, Canada;Telenor Research and Development, Kjeller, Norway
Venue:
DSV-IS'00 Proceedings of the 7th international conference on Design, specification, and verification of interactive systems
Year:
2000

Citing 22
Cited 1

A cookbook for using the model-view controller user interface paradigm in Smalltalk-80

Journal of Object-Oriented Programming
Concurrency control in groupware systems

SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Collaboration awareness in support of collaboration transparency: requirements for the next generation of shared window systems

CHI '90 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Relational views as a model for automatic distributed implementation of multi-user applications

CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Implicit locking in the ensemble concurrent object-oriented graphics editor

CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
A high-level and flexible framework for implementing multiuser user interfaces

ACM Transactions on Information Systems (TOIS) - Special issue on user interface software and technology
The Rendezvous architecture and language for constructing multiuser applications

ACM Transactions on Computer-Human Interaction (TOCHI)
Real time groupware as a distributed system: concurrency control and its effect on the interface

CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Building real-time groupware with GroupKit, a groupware toolkit

ACM Transactions on Computer-Human Interaction (TOCHI)
Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Efficient distributed implementation of semi-replicated synchronous groupware

Proceedings of the 9th annual ACM symposium on User interface software and technology
Designing object-oriented synchronous groupware with COAST

CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
Consistency guarantees: exploiting application semantics for consistency management in a collaboration toolkit

CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
A concurrency control framework for collaborative systems

CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
Integrating support for temporal media into an architecture for graphical user interfaces

ICSE '97 Proceedings of the 19th international conference on Software engineering
From single-user architectural design to PAC*: a generic software architecture model for CSCW

Proceedings of the ACM SIGCHI Conference on Human factors in computing systems
Java object-sharing in Habanero

Communications of the ACM
Promondia: a Java-based framework for real-time group communication in the Web

Selected papers from the sixth international conference on World Wide Web
Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems

Proceedings of the 22nd international conference on Software engineering
Readings in GroupWare and Computer-Supported Cooperative Work: Assisting Human-Human Collaboration

Readings in GroupWare and Computer-Supported Cooperative Work: Assisting Human-Human Collaboration
Distributed Systems: Concepts and Design

Distributed Systems: Concepts and Design
Flexible Batching and Consistency Mechanisms for Building Interactive Groupware Applications

ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems

Plug-replaceable consistency maintenance for multiplayer games

NetGames '06 Proceedings of 5th ACM SIGCOMM workshop on Network and system support for games

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an example of how software architectures can encode temporal properties as well as the traditional structural ones. In the context of expressing concurrency control in groupware systems, the paper shows how a specification of temporal properties of the semi-replicated groupware architecture can be refined to three different implementations, each with different performance tradeoffs. This refinement approach helps in understanding the temporal properties of groupware applications, and increases confidence in the correctness of their implementation.