Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Interpreted collaboration protocols and their use in groupware prototyping
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
COCA: collaborative objects coordination architecture
CSCW '98 Proceedings of the 1998 ACM conference on Computer supported cooperative work
Detecting implied scenarios in message sequence chart specifications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Automatic synthesis of deadlock free connectors for COM/DCOM applications
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Clover architecture for groupware
CSCW '02 Proceedings of the 2002 ACM conference on Computer supported cooperative work
A model for semi-(a)synchronous collaborative editing
ECSCW'93 Proceedings of the third conference on European Conference on Computer-Supported Cooperative Work
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Hi-index | 0.00 |
The coordination of concurrent activities in collaborativeenvironments is a very important and difficult task.Many approaches for the construction of large-scale flexiblegroup-ware applications there exist in the literature. Theyprovide valid support to modelling, analysis and to a white-boxdeveloping of coordination protocols for computer supportedcooperative applications. Little attention has beendedicated so far to group-ware applications built by assemblingthird-party components. In this paper by means ofan explanatory example, we apply a software architecturebased approach to the group-ware systems development.The software architecture imposed on the coordinating partof the system, allows for detection and recovery of possibleand unpredictable concurrent activities conflicts. Moreover,the approach allows the enforcing of coordination policieson the composed system by automatically synthesizing thepolicy-satisfying assembly code.