LADA — A Logic for the Analysis of Distributed Actions
This paper presents a formalism, LADA, aimed especially at the description of systems and situations which arise during the design and analysis of groupware. We are particularly interested in highly distributed systems and so LADA explicitly models entities (people and things) acting at different unconnected locations. It not only describes the behaviour of the computer software, but also the social protocols required for its successful use. Temporal logic formulae which follow the subjective history of people and other entities are used to simplify the expression of some of the complicated properties required of real systems.
KeywordsTemporal Logic Linear Temporal Logic Communicate Sequential Process Proof Rule Temporal Formula
Unable to display preview. Download preview PDF.
- A. J. Dix and V. C. Miles, Version Control for Asynchronous Group Work, YCS 181, University of York, 1992.Google Scholar
- A. J. Dix, Beyond the interface, pp. 171–190 in Engineering for Human-Computer Interaction: Proceedings of IFIP TC2/G2.7 Working Conference, Ellivouri, Finland, J. Laron and C. Unger editors, North-Holland, 1992.Google Scholar
- A. J. Dix & R. Beale, Information Requirements of Distributed Workers, University of York, 1992.Google Scholar
- C. A. Ellis and S. J. Gibbs, Concurrency control in groupware systems, SIGMOD Record, 18(2), pp.399–407, Proceedings of the ACM SIGMOD International Conference on Management of Data, June 1989.Google Scholar
- J. Grudin, Why CSCW applications fail: problems in the design and evaluation of organisational interfaces, pp. 85–89 in CSCW’88 Proceedings of the Conference on Computer-Supported Cooperative Work, ACM SIGCHI & SIGOIS, 1988.Google Scholar
- J. Mariani and T. Rodden, The impact of CSCW on database technology, in Proceedings of the IFIP Workishop on CSCW, Berlin, April 1991.Google Scholar
- H. W. Thimbleby and David Pullinger, Observations on practically perfect CSCW, in CSCW Issues for Mobile and Remote Workers, USE Colloquium, March 1993.Google Scholar
- I. H. Witten, H. W. Thimbleby, G. F. Coulouris & S. Greenberg, A New Approach to Sharing Data in Social Networks, in Computer-Supported Cooperative Work and Groupware, S. Greenberg editor, Academic Press, ISBN 0–12–299220–2, 1991.Google Scholar