A calculus for the refinement and evolution of multi-user mobile applications

Authors:
W. Greg Phillips;T. C. Nicholas Graham;Christopher Wolfe
Affiliations:
Electrical and Computer Engineering, Royal Military College of Canada, Kingston, Ontario, Canada;School of Computing, Queen's University, Kingston, Ontario, Canada;School of Computing, Queen's University, Kingston, Ontario, Canada
Venue:
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
Year:
2005

Citing 9
Cited 7

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

Journal of Object-Oriented Programming
Horus: a flexible group communication system

Communications of the ACM
Efficient distributed implementation of semi-replicated synchronous groupware

Proceedings of the 9th annual ACM symposium on User interface software and technology
Operational transformation in real-time group editors: issues, algorithms, and achievements

CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
Developing adaptive groupware applications using a mobile component framework

CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Core JINI

Core JINI
Clover architecture for groupware

CSCW '02 Proceedings of the 2002 ACM conference on Computer supported cooperative work
Tool-Supported Interpreter-Based User Interface Architecture for Ubiquitous Computing

DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
A Low Latency, Loss Tolerant Architecture and Protocol for Wide Area Group Communication

DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)

Formal specification applied to multiuser distributed services: experiences in collaborative t-learning

Journal of Systems and Software
Plug-replaceable consistency maintenance for multiplayer games

NetGames '06 Proceedings of 5th ACM SIGCOMM workshop on Network and system support for games
Toward Quality-Centered Design of Groupware Architectures

Engineering Interactive Systems
Toward quality-driven development of 3D computer games

DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
A reusable structural design for mobile collaborative applications

Journal of Systems and Software
Integration of collaboration and interaction analysis mechanisms in a concern-based architecture for groupware systems

Science of Computer Programming
EISEval, a generic reconfigurable environment for evaluating agent-based interactive systems

International Journal of Human-Computer Studies

Quantified Score

Hi-index	0.00

Visualization

Abstract

The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive systems. It is based on the Workspace Model, which incorporates both distribution-independent and implementation-specific representations of multi-user and mobile applications. The calculus includes an evolution component, allowing the representation of system change at either level over time. It also includes a refinement component supporting the translation of changes at either level into corresponding changes at the other. The combined calculus has several important properties, including locality and termination of the refinement process and commutativity of evolution and refinement. The calculus may be used to reason about fault tolerance and to define the semantics of programming language constructs.