Abstract
Collaborative systems provide a rich but potentially chaotic environment for their users. During the collaborative design process, when different users share a common object, concurrency control is necessary to keep the shared object consistent. In this paper, we have developed a model for supporting concurrency control in CSCW applications. We also include version control, allowing versions of both the design entities and their relationships. Consistency in collaborative design is important: the use of the RAISE formal method provides confidence that the transaction mechanism fulfils the consistency requirements. We also generate a prototype from the specification, with a graphical output to show the structure of the design, the entities available, and who is currently locking what.
Chapter PDF
Similar content being viewed by others
References
Chen Qingzhang, Lin Jiaming, et al. (2000). Research on the New Mechanism of Concurrency Control in CSCW. Publishing House of Electronics Industry.
Chris George (2001). RAISE Tools User Guide. Technical Report 227, UNU/IIST, P.O. Box 3058, Macau.
Greenberg, S. and Marwood, D. Real time groupware as a distributed system: concurrency control and its effect on the interface. In Proceedings of ACM Conference on Computer Supported Cooperative Work 1994,volume pp. 207–217.
RAISE Language Group, T. (1992). The RAISE Specification Language. BCS Practitioner Series. Prentice Hall. Available from Terma A/S. Contact jnp@terma.com.
RAISE Method Group, T. (1995). The RAISE Development Method. BCS Practitioner Series.
Prentice Hall. Available by ftp from ftp://ftp.iist.unu.edu/pub/RAISE/method_book.
Ralph Hill, Tom Brinck, et al. (1994). The Rendezvous Architecture and Language for Multi-User Applications. In ACM Transaction on Computer-Human Interaction, volume 1 (2), pp. 81–125.
Sander, G. (1995). Visualization of Compiler Graphs. I. Lemke, G.Sander and the COMPARE Consortium.
Univan Ahn and Chris George (2000). C++ Translator for RAISE Specification Language. Technical Report 220, UNU/IIST, P.O. Box 3058, Macau.
Wang Yanjie, Wang Zhuo, and Chris George (2001). Supporting Collaborative Design. Technical Report, UNU/IIST, P.O. Box 3058, Macau.
Young, R. (1996). Computer Supported Co-operative Working Course Outline. UMIST, University of Durham, Keele University.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 IFIP International Federation for Information Processing
About this paper
Cite this paper
Yanjie, W., George, C. (2002). Supporting Collaborative Design. In: Jacobs, B., Rensink, A. (eds) Formal Methods for Open Object-Based Distributed Systems V. FMOODS 2002. IFIP — The International Federation for Information Processing, vol 81. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35496-5_17
Download citation
DOI: https://doi.org/10.1007/978-0-387-35496-5_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5268-7
Online ISBN: 978-0-387-35496-5
eBook Packages: Springer Book Archive