Information System Behavior Specification by High-Level Petri Nets

ACM Transactions on Information Systems

Volumn 14, Issue 4, 1996, Pages 380-420

  Oberweis, Andreas ^a   Sander, Peter ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Design; H.1.1 models and principles : Systems and Information theory general systems theory; H.2.1 Database Management : Logical Design data models; H.2.3 Database Management : Languages data manipulation languages (DML); Languages; Management

Indexed keywords

COMPUTER AIDED LOGIC DESIGN; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; PETRI NETS; QUERY LANGUAGES;

BEHAVIOR SPECIFICATION; COMPLEX OBJECTS; CONCEPTUAL DESIGN; DATA MANIPULATION LANGUAGES; NESTED RELATIONS; TRANSITION NETS;

INFORMATION RETRIEVAL SYSTEMS;

EID: 0030260733     PISSN: 10468188     EISSN: None     Source Type: Journal    
DOI: 10.1145/237496.237498     Document Type: Article

References (38)

1. ABITEBOUL, S. AND BIDOIT, N. 1986. Non first normal form relations: An algebra allowing data restructuring. J. Comput. Syst. Sci. 33, 361-393.
2. ALBERT, K., JENSEN, K., AND SHAPIRO, R. 1989. DESIGN/CPN. A tool package supporting the use of colored Petri nets. GI Petri Net Newslett. 32, 22-26.
3. BALDASSARI, M. AND BRUNO, G. 1988. An environment for object-oriented conceptual programming based on PROT nets. In Advances in Petri Nets 1988, G. Rozenberg, Ed. Lecture Notes in Computer Science, vol. 340, Springer-Verlag, Berlin, 1-19.
4. BANCILHON, F. AND KOSHAFIAN, S. 1989. A calculus for complex objects. J. Comput. Syst. Sci. 38, 326-340.
5. BARRON, J. 1982. Dialogue and process design for interactive information systems using Taxis. In Proceedings of the SIGOA Conference on Office Information Systems. ACM, New York, 12-20.
6. BATTISTON, E., DE CINDIO, F., AND MAURI, G. 1988. OJBSA Nets: A class of high level nets having objects as domains. In Advances in Petri Nets 1988, G. Rozenberg, Ed. Lecture Notes in Computer Science, vol. 340. Springer-Verlag, Berlin, 20-43.
7. BEERI, C. AND KORNATZKY, Y. 1990. The many faces of query monotonicity. In the International Conference on Extending Database Technology. Lecture Notes in Computer Science, vol. 416. Springer-Verlag, Berlin, 120-135.
8. BILLINGTON, J. 1989. Mony-sorted high level nets. In Proceedings of the 3rd Workshop on Petri Nets and Performance Models. IEEE, New York, 166-179.
9. BIRKHOFF, G. 1973. Lattice Theory. 3rd ed. AMS Colloquium Publication, vol. 25. AMS, Providence, R.I.
10. BRODIE, M. L., MYLOPOULOS, J., AND SCHMIDT, J. W., Eds. 1984. On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages. Springer-Verlag, Berlin.
11. BRAUER, W., REISIG, W., AND ROZENBERG, G., Eds. 1987. Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986. Part I. Lecture Notes in Computer Science, vol. 254. Springer-Verlag, Berlin.
12. CODD, E. F. 1970. A relational model for large shared data banks. Commun. ACM 13, 6, 377-387.
13. GENRICH, H. J. AND LAUTENBACH, K. 1981. System modelling with high level Petri Nets. Theor. Comput. Sci. 13, 109-136.
14. HEUSER, C. A. AND RICHTER, G. 1992. Constructs for modeling information systems with Petri Nets. In Application and Theory of Petri Nets 1992, K. Jensen, Ed. Lecture Notes in Computer Science, vol. 616. Springer-Verlag, Berlin, 224-243.
15. HORNDASCH, A., STUDER, R., AND YASDI, R. 1985. An approach to (office) information systems design based on general net theory. In Proceedings of the IFIP TC8.1 TFAIS85 Conference. North-Holland, Amsterdam.
16. JENSEN, K. 1991. Coloured Petri Nets: A high level language for system design and analysis. In Advances in Petri Nets 1990, G. Rozenberg, Ed. Lecture Notes in Computer Science, vol. 483. Springer-Verlag, Berlin, 342-416.
17. JENSEN, K. AND ROZENBERG, G., Eds. 1991. High Level Petri Nets. Springer-Verlag, Berlin.
18. KRAMER, B. 1989. Concepts, syntax, and semantics of SEGRAS. A specification language for distributed systems. GMD-Bericht. Nr. 179, R. Oldenbourg Verlag, München, Wien.
19. LAUSEN, G., NEMETH, T., OBERWEIS, A., SCHÖNTHALER, F., AND STUCKY, W. 1989. The INCOME approach for conceptual modelling and prototyping of information systems. In Proceedings of CASE '89. The 1st Nordic Conference on Advanced Systems Engineering.
20. LUO, D. AND YAO, S. B. 1981. Form operation by example - A language for office information processing. In Proceedings of the International Conference on Management of Data (ACM-SIGMOD), Y. E. Lien, Ed. ACM, New York, 212-223.
21. MAKINOUCHI, A. 1977. A consideration on normal form of not-necessarily-normalized-relation in the relational data model. In Proceedings of the International Conference on Very Large Databases. VLDB Endowment Press, Saratoga, Calif., 447-453.
22. MOCHEL, T., OBERWEIS, A., AND SANGER, B. 1993. INCOME/STAR: The Petri Net simulation concepts: Systems analysis-modelling-simulation. J. Model. Simul. Syst. Anal. 13, 21-36.
23. OBERWEIS, A. 1988. Checking database integrity constraints while simulating information system behaviour. In Proceedings of the 9th European Workshop on Application and Theory of Petri Nets. 299-308.
24. OBERWEIS, A., SCHERRER, G., AND STUCKY, W. 1994. INCOME/STAR: Methodology and tools for the development of distributed information systems. Inf. Syst. 19, 8, 643-660.
25. PECKHAM, J. AND MARYANSKI, F. 1988. Semantic data models. ACM Comput. Surv. 20, 3 (Sept.), 153-189.
26. PETERSON, J. L. 1981. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, N.J.
27. REISIG, W. 1985. Petri Nets. EATCS Monographs on Theoretical Computer Science, vol. 4. Springer-Verlag, Berlin.
28. REISIG, W. 1991. Petri nets and algebraic specifications. Theor. Comput. Sci. 80, 1-34.
29. RICHTER, G. AND DURCHHOLZ, R. 1982. IML inscribed high level Petri Nets. In Information Systems Design Methodologies: A Comparative Review, T. W. Olle, H. G. Sol, and A. A. Verrijin-Stuart, Eds. North-Holland, Amsterdam, 335-368.
30. ROTH, M., KORTH, H., AND SILBERSCHATZ, A. 1988. Extended algebra and calculus for nested relational databases. ACM Trans. Database Syst. 13, 4, 389-417.
31. SANDER, P. 1992. Boolean lattices of nested relations as a foundation for rule-based data-base languages. Data Knowl. Eng. 8, 2, 93-130.
32. SANDER, P. 1993. An order-based rule language for nested relations. Ph.D. dissertation, Univ. Karlsruhe, Karlsruhe, Germany. In German.
33. SCHEK, H.-J. AND SCHOLL, M. H. 1986. The relational model with relation-valued attributes. Inf. Syst. 11, 2, 137-147.
34. SIBERTIN-BLANC, C. 1986. High level Petri Nets with data structure. In Proceedings of the 6th Workshop on Petri Nets.
35. THOMAS, S. AND FISCHER, P. C. 1986. Nested relational structures. In Advances in Computing Research III, The Theory of Databases, P. Kanellakis, Ed. JAI Press, Greenwich, Conn., 269-307.
36. ZISMAN, M. D. 1977. Representation, specification and automation of office procedures. Ph.D. dissertation, Univ. of Pennsylvania, Wharton School of Business, Philadelphia, Pa.
37. ZLOOF, M. M. 1975. Query-By-Example: The invocation and definition of table and forms. In Proceedings of the International Conference on Very Large Data Bases, D. S. Kerr. Ed. VLDB Endowment Press, Saratoga, Calif., 1-24.
38. ZLOOF, M. M. 1982. Office-By-Example: A business language that unifies data and word processing and electronic mail. IBM Syst. J. 21, 3, 272-304.