A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
- 673 Downloads
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.
KeywordsConceptual Level Graph Grammar Implementation Level Conceptual Architecture Implementation Architecture
Unable to display preview. Download preview PDF.
- 1.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
- 2.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)CrossRefGoogle Scholar
- 3.Dewan, P.: Architectures for collaborative applications. In: Beaudouin-Lafon, M. (ed.) Computer Supported Co-operative Work. John Wiley & Sons Ltd., Chichester (1999)Google Scholar
- 4.Edwards, W.K.: Core Jini, 2nd edn. Prentice Hall PTR, Englewood Cliffs (2000)Google Scholar
- 5.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)CrossRefGoogle Scholar
- 6.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)Google Scholar
- 9.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
- 10.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