Abstract
In this paper we discuss the modeling of a cooperative graphical editor by means of an object-based Petri net framework named GCPN. Initially we introduce the G-CPN tool addressing both its informal and formal aspects. Then, the editor is informally specified, and based on such specification we introduce a multi-agent-based architecture to support its realization. After this, we define the different interactions in the system, in order to allow the computer supported cooperative work. Also, we show how the application of the introduced G-CPN can be applied to obtain an object-oriented model of some of the elements of the cooperative graphical G-CPN editor.
The authors would like to thank CAPES/Brasil and CPNq/Brasil for the financial support.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Baldassari, G. Bruno, V. Russi, and R. Zompi. PROTOB a hierarchical objectoriented CASE tool for distributed systems. In C. Ghezzi and J.A. McDermid, editors, ESEC’89, volume 387 of Lecture Notes in Computer Science, pages 425–445. Springer-Verlag, 1989.
R. Bastide, C. Lakos, and P. Palanque. A cooperative Petri net editor. Case Study Proposal for the 2nd Workshop on Objetc-Oriented Programming and Models of Concurrency, June 1996.
E. Battiston and F. de Cindio. Class orientation and inheritance in modular algebraic nets. In Proc. of IEEE International Conference on Systems, Man and Cybernetics, pages 717–723, Le Touquet, France, 1993. IEEE.
E. Battiston, F. de Cindio, and G. Mauri. OBJSA nets: a class of high-level nets having objects as domains. In G. Rozenberg, editor, Advances on Petri Nets 1988, volume 340 of Lecture Notes in Computer Science, pages 20–43. Springer-Verlag, 1988.
D. Buchs and N. Guelfi. CO-OPN: A concurrent object oriented Petri net approach. In Proceedings of the 12th International Conference on the Application and Theory of Petri Nets, Lecture Notes in Computer Science. Springer Verlag, Aarhus, Denmark, 1991.
Y. Deng and S.K. Chang. Unifying multi-paradigms in software system design. In Proc. of the 4th Int. Conf. on Software Engineering and Knowledge Engineering, Capri, Italy, June 1992.
Y. Deng, S.K. Chang, J.C.A. de Figueiredo, and A. Perkusich. Integrating software engineering methods and Petri nets for the specification and prototyping of complex software systems. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 206–223. Springer-Verlag, Chicago, USA, June 1993.
P. Dewan and R. Choudhary. A high-level and flexible framework for implementing multiuser user interfaces. ACM Transactions on Information Systems, 10(4):345–380, October 1992.
P. Dewan and J. Riedl. Toward computer-supported concurrent software engineering. IEEE Computer, 26(1):17–27, January 1993.
C.A. Ellis, S.J. Gibbs, and G.L. Rein. Groupware: some issues and experiences. Communications of the ACM, 34(1):38–58, January 1991.
J. Engelfriet, G. Leih, and G Rozenberg. Net-based description of parallel objectbased systems, or POTs and POPs. In J.W. de Bakker, W.P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, Lecture Notes in Computer Science, pages 229–273. Springer-Verlag, 1990.
G. Forte and R.J. Norman. A self-assestment by the software engineering community. Comm. ACM, 35(4):28–32, April 1992.
D.D.S. Guerrero, J.C.A. de Figueiredo, and A. Perkusich. Object-based high-level Petri nets as a formal approach to distributed information systems. In Proc. of IEEE Int. Conf. on Systems Man and Cybernetics, pages 3383–3388, Orlando, USA, October 1997.
D.D.S. Guerrero, A. Perkusich, and J.C.A. de Figueiredo. Modeling a cooperative environment based on an object-based modular Petri net. In Proc. of The 9th International Conference on Software Engineering and Knowledge Engineering, pages 240–247, Madrid, Spain, June 1997.
K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis, Methods and Practical Use. EACTS-Monographs on Theoretical Computer Science. Springer-Verlag, 1992.
Charles Lakos. Pragmatic inheritance issues for object Petri nets. Sem maiores indicações.
Charles Lakos. From coloured Petri nets to object Petri nets. In Proceedings of the 16th International Conference on Applications and Theory of Petri Nets, Turin, Italy, June 1995.
K.C. Lee, W.H. Mansfield Jr., and A.P. Sheth. A framework for controlling cooperative agents. IEEE Computer, 26(7):8–16, July 1993.
T. Murata. Petri nets: Properties, analysis and applications. Proc. of the IEEE, 77(4):541–580, April 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Guerrero, D.S., de Figueiredo, J.C., Perkusich, A. (2001). An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds) Concurrent Object-Oriented Programming and Petri Nets. Lecture Notes in Computer Science, vol 2001. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45397-0_12
Download citation
DOI: https://doi.org/10.1007/3-540-45397-0_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41942-6
Online ISBN: 978-3-540-45397-0
eBook Packages: Springer Book Archive