Transparency and awareness in a real-time groupware system
UIST '92 Proceedings of the 5th annual ACM symposium on User interface software and technology
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
A Petri Net based Environment for the Design of Event-driven Interfaces
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Petri Net Based Behavioural Specification of CORBA Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Formal Support for the Engineering of CORBA-based Distributed Object Systems
DOA '99 Proceedings of the International Symposium on Distributed Objects and Applications
The Description of CORBA Objects Based on Petri Nets
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Formal tasks and systems models as a tool for specifying and assessing automation designs
Proceedings of the 1st International Conference on Application and Theory of Automation in Command and Control Systems
Hi-index | 0.00 |
This paper contains a solution to the case study proposed for the 2nd edition of the OO-MC workshop. In this paper, we merely recall the main features of the Cooperative Objects formalism, which is an object-oriented language, based on high-level Petri nets. We then include a Cooperative Object model describing the groupware editing tool described in the case study.