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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Amir, Y., Danilov, C., Stanton, J.: A low latency, loss tolerant architecture and protocol for wide area group communication. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN 2000), p. 327. IEEE Computer Society, Los Alamitos (2000), Also available from: http://www.spread.org
Braubach, L., Pokahr, A., Moldt, D., Bartelt, A., Lamersdorf, W.: Tool-supported interpreter-based user interface architecture for ubiquitous computing. In: Forbrig, P., Limbourg, Q., Urban, B., Vanderdonckt, J. (eds.) DSV-IS 2002. LNCS, vol. 2545, pp. 89–103. Springer, Heidelberg (2002)
Dewan, P.: Architectures for collaborative applications. In: Beaudouin-Lafon, M. (ed.) Computer Supported Co-operative Work. John Wiley & Sons Ltd., Chichester (1999)
Edwards, W.K.: Core Jini, 2nd edn. Prentice Hall PTR, Englewood Cliffs (2000)
Graham, T.C.N., Urnes, T., Nejabi, R.: Efficient distributed implementation of semireplicated synchronous groupware. In: Proceedings of the ACM Symposium on User Interface Software and Technology (UIST 1996), Seattle, WA, USA, November (6–8), pp. 1–10. ACM Press, New York (1996)
Krasner, G.E., Pope, S.T.: A cookbook for using the Model-View-Controller user interface paradigm in Smalltalk-80. Journal of Object- Oriented Programming 1(3), 26–49 (1988)
Laurillau, Y., Nigay, L.: Clover architecture for groupware. In: Proceedings of the ACM Conference on Computer-Supported Cooperative Work (CSCW 2002), New Orleans, LA, USA, pp. 236–245. ACM Press, New York (2002)
Litiu, R., Prakash, A.: Developing adaptive groupware applications using a mobile component framework. In: Proceedings of the ACM Conference on Computer-Supported Cooperative Work (CSCW 2000), Philadelphia, PA, USA, pp. 107–116. ACM Press, New York (2000)
Phillips, W.G.: Architectures for synchronous groupware. Technical Report 1999-425, Queen’s University, Kingston, Ontario, Canada (May 1999), Available from http://www.cs.queensu.ca
Phillips, W.G., Graham, T.C.N.: Workspace Model Specification, version 1.0. Technical report 2005-493. Queen’s University, Kingston, Ontario, Canada (March 2005), Available from http://www.cs.queensu.ca
Phillips, W.G., Graham, T.C.N.: Workspaces: A multi-level architectural style for synchronous groupware. In: Jorge, J.A., Jardim Nunes, N., Falcão e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol. 2844, pp. 92–106. Springer, Heidelberg (2003)
Sun, C., Ellis, C.: Operational transformation in real-time group editors: Issues, algorithms, and achievments. In: Proceedings of the ACM Conference on Computer- Supported Cooperative Work (CSCW 1998), WA, USA, pp. 59–68. ACM Press, New York (1998)
van Renesse, R., Birman, K.P., Maffeis., S.: Horus, a flexible group communication system. Communications of the ACM 39(4), 76–83 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Phillips, W.G., Graham, T.C.N., Wolfe, C. (2006). A Calculus for the Refinement and Evolution of Multi-user Mobile Applications. In: Gilroy, S.W., Harrison, M.D. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2005. Lecture Notes in Computer Science, vol 3941. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11752707_12
Download citation
DOI: https://doi.org/10.1007/11752707_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34145-1
Online ISBN: 978-3-540-34146-8
eBook Packages: Computer ScienceComputer Science (R0)