Abstract
We present first results towards a tailored conceptual model for advanced distributed information systems regarded as open reactive and distributed systems with large databases and application programs. The proposed model, referred to as CO-Nets, is based on a complete integration of object oriented concepts with some constructions from semantical data modeling into an appropriate variant of algebraic Petri Nets named ECATNets. The CO-Nets behaviour is interpreted into rewriting logic. Particularly, it is shown how CO-Nets promote incremental construction of complex components, regarded as a hierarchy of classes, through simple and multiple inheritance (with redefinition, associated polymorphism and dynamics binding). Each component behaves with respect to an appropriate intra-component evolution pattern that supports intra- as well as inter-object concurrency. On the other hand, we present how such components may be interconnected, through their interfaces, with respect to an inter-component interaction pattern that enhances concurrency and preserves the encapsulated features of each component. Moreover, by interpreting the CO-Nets behaviour into rewriting logic, rapid-prototypes can be generated using rewrite techniques and current implementation of the Maude language particularly. The CO-Nets approach is presented through a simplified Staff management system case study.
*
This work is supported by DAAD grant.
Chapter PDF
References
N. Aoumeur. Réalisation d’un Systeme de Gestion du Personnel de l’Université. Memoire d’Ingenieur, Institut d’Informatique, Université D’Oran, 1989.
N. Aoumeur. Towards an Object Petri Net Based Framework for Modelling and Validating Distributed Systems. To appear as Preprint, Fakultät für Informatik, Universität Magdeburg, 1999.
E. Battiston and F. de Cindio. Class Orientation and Inheritance in Modular Algebraic Nets. In Proc. of IEEE International Conference on Systems and Cybernetics, pages 717–723, Le Touquet, France, 1993.
Biberstein, O. and Buchs, D. and Guelfi, N. CO-OPN/2: A Concurrent Object-Oriented Formalism. In Proc. of Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems(FMOODS), pages 57–72. Chapman and Hall, March 1997.
M. Bettaz, M. Maouche, Soualmi, and S. Boukebeche. Protocol Specification using ECATNets. Reséaux et Informatique Répartie, 3(1):7–35, 1993.
J. Dershowitz and J.-P. Jouannaud. Rewrite Systems. Handbook of Theoretical Computer Science, 935(6):243–320, 1990.
H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for Specifying Concurrent Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 6, pages 167–198. Kluwer Academic Publishers, Boston, 1998.
H.D. Ehrich, M Gogolla, and A. Sernadas. Objects and Their Specification. In M. Bidoit and C. Choppy, editors, Proc. of 8th Workshop on Abstract Data, volume 655 of Lecture Notes in Computer Science, pages 40–66. Springer-Verlag, 1992.
H. Ehrig and B. Mahr. Foundamentals of algebraic specifications 1: Equation and initial semantics. EATCS Monographs on Theoretical Computer Science, 21, 1985.
B. Freitag, Cliff B. Jones, C. Lengauer, and H. Schek, editors. Object Orientation with Parallelism and Persistence. Kluwer Academic Publishers, 1996.
J.A. Goguen and R. Diaconescu. Towards an Algebraic Semantics for the Object Paradigm. In Proc. of 10th Workshop on Abstract Data types, 1993.
J.A. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, and J.P. Jouannaud. Introducing OBJ. Technical Report SRI-CSL-92-03, Computer Science Laboratory, SRI International, 1992.
R. Hull and R. King. Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201–260, 1987.
Lakos, C. From Coloured Petri Nets to Object Petri nets. In Proc. of 16th Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, pages 278–287. Springer-Verlag, 1995.
U. Lechner. Object Oriented Specification of Distributed Systems in the μ-Calculus and Maude. In J. Meseguer, editor, Proc. of the First Inter. Workshop on Rewriting Logic, volume 4. Electronic Notes in Theoretical Computer Science, 1996.
J. Meseguer. Conditional rewriting logic as a unified model for concurrency. volume 96 of Theoretical Computer Science, pages 73–155, Noordwijkerhout, Netherlands, 1992.
Meseguer, J. A Logical Theory of Concurrent Objects and its Realization in the Maude Language. Research Directions in Object-Based Concurrency, pages 314–390, 1993.
R. Milner, editor. Communication and Concurrency. Prentice Hall, 1989.
W. Reisig. Petri Nets: An Introduction. Springer-Verlag, 1985.
W. Reisig. Petri Nets and Abstract Data Types. Theoretical Computer Science, 80:1–30, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aoumeur, N., Saake, G. (1999). Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems. In: Jarke, M., Oberweis, A. (eds) Advanced Information Systems Engineering. CAiSE 1999. Lecture Notes in Computer Science, vol 1626. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48738-7_28
Download citation
DOI: https://doi.org/10.1007/3-540-48738-7_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66157-3
Online ISBN: 978-3-540-48738-8
eBook Packages: Springer Book Archive