Towards an object petri nets model for specifying and validating distributed information systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1626, Issue , 1999, Pages 381-395

  Aoumeur, Nasreddine ^a   Saake, Gunter ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER CIRCUITS; DISTRIBUTED COMPUTER SYSTEMS; HUMAN RESOURCE MANAGEMENT; INFORMATION SYSTEMS; MANAGEMENT INFORMATION SYSTEMS; PETRI NETS; RECONFIGURABLE HARDWARE; SYSTEMS ENGINEERING;

ALGEBRAIC PETRI NETS; COMPONENT EVOLUTION; COMPONENT INTERACTION; DISTRIBUTED INFORMATION SYSTEMS; DISTRIBUTED SYSTEMS; INCREMENTAL CONSTRUCTION; MULTIPLE INHERITANCE; OBJECT-ORIENTED CONCEPTS;

DISTRIBUTED DATABASE SYSTEMS;

EID: 84958968512     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48738-7_28     Document Type: Conference Paper

References (20)

1. N. Aoumeur. Réalisation d’un Systeme de Gestion du Personnel de l’Universite. Memoire d’Ingenieur, Institut d’informatique, Universite D’Oran, 1989.
2. N. Aoumeur. Towards an Object Petri Net Based Framework for Modelling and Validating Distributed Systems. To appear as Preprint, Fakultat fur Informatik, Universitat Magdeburg, 1999.
3. 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.
4. 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 5772. Chapman and Hall, March 1997.
5. M. Bettaz, M. Maouche, Soualmi, and S. Boukebeche. Protocol Specification using ECATNets. Reséaux et Informatique Répartie, 3(1):7-35, 1993.
6. J. Dershowitz and J.-P. Jouannaud. Rewrite Systems. Handbook of The-oretical Computer Science, 935(6):243-320, 1990.
7. 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.
8. 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.
9. H. Ehrig and B. Mahr. Foundamentals of algebraic specifications 1: Equation and initial semantics. EATCS Monographs on Theoretical Computer Science, 21, 1985.
10. B. Freitag, Cliff B. Jones, C. Lengauer, and H. Schek, editors. Object Orientation with Parallelism and Persistence. Kluwer Academic Publishers, 1996.
11. J.A. Goguen and R. Diaconescu. Towards an Algebraic Semantics for the Object Paradigm. In Proc. of 10th Workshop on Abstract Data types, 1993.
12. 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.
13. R. Hull and R. King. Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201-260, 1987.
14. 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.
15. 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.
16. J. Meseguer. Conditional rewriting logic as a unified model for concurrency. volume 96 of Theoretical Computer Science, pages 73-155, Noord-wijkerhout, Netherlands, 1992.
17. 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.
18. R. Milner, editor. Communication and Concurrency. Prentice Hall, 1989.
19. W. Reisig. Petri Nets: An Introduction. Springer-Verlag, 1985.
20. W. Reisig. Petri Nets and Abstract Data Types. Theoretical Computer Science, 80:1-30, 1991.