3rd International ICST Conference on Collaborative Computing: Networking, Applications and Worksharin

Research Article

Maintaining Constraints Expressed as Formulas in Collaborative Systems

  • @INPROCEEDINGS{10.1109/COLCOM.2007.4553850,
        author={Kai Lin and David Chen and Geoff Dromey and Chengzheng Sun},
        title={Maintaining Constraints Expressed as Formulas in Collaborative Systems},
        proceedings={3rd International ICST Conference on Collaborative Computing: Networking, Applications and Worksharin},
        publisher={IEEE},
        proceedings_a={COLLABORATECOM},
        year={2008},
        month={6},
        keywords={CoVisio  collaborative systems  consistency maintenance formulas  constraint satisfaction},
        doi={10.1109/COLCOM.2007.4553850}
    }
    
  • Kai Lin
    David Chen
    Geoff Dromey
    Chengzheng Sun
    Year: 2008
    Maintaining Constraints Expressed as Formulas in Collaborative Systems
    COLLABORATECOM
    IEEE
    DOI: 10.1109/COLCOM.2007.4553850
Kai Lin1,*, David Chen1,*, Geoff Dromey1,*, Chengzheng Sun2,*
  • 1: School of Information and Communication Technology, Griffith University, Brisbane, QLD 4111, Australia
  • 2: School of Computer Engineering, Nanyang Technological University, Singapore, 639798
*Contact email: K.Lin@griffith.edu.au, D.Chen@griffith.edu.au, G.Dromey@griffith.edu.au, CZSun@ntu.edu.sg

Abstract

Constraints allow users to declare relationships among objects and let the constraint systems maintain and satisfy these relationships. Formulas have been adopted to express constraints in a wide variety of single-user applications, because of their simplicity, efficiency and manageability. The needs and benefits of supporting formula-defined constraints in collaborative environments have long been recognized. However, maintaining both constraints and consistency in the presence of concurrency in collaborative systems is a challenge. In these systems, users may concurrently define formulas, which could result in that different formulas are defined to express the same objectattribute at different sites. In this article, we discuss the issues and techniques in maintaining formula-defined constraints in collaborative systems. In particular, we also proposed a method that is able to maintain both constraints and system consistency in concurrent environments based on the existing consistency maintenance approaches. This method extends the application of these approaches from collaborative systems without constraint to systems that support formulas. The proposed method has been applied to implement a collaborative Visio system, called CoVisio, which leverages single-user Microsoft Visio for multi-user collaboration. Specific issues related to CoVisio are also discussed in detail.