Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems

Applied Categorical Structures

Volumn 7, Issue 4, 1999, Pages 371-403

  Padberg, Julia ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Graph transformations; High level replacement systems; Horizontal structuring; Petri net transformations; Refinement

Indexed keywords

EID: 0042636616     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008695316594     Document Type: Article

References (32)

1. Adamek, J., Herrlich, H., and Strecker, G.: Abstract and Concrete Categories, Series in Pure and Applied Mathematics, John Wiley and Sons, 1990.
2. Davis, A.: Software Requirements, Analysis and Specifications, Prentice Hall, Englewood, 1990.
3. DeMarco, T.: Structured Analysis and System Specification, Yourdon Press, Englewood Cliffs, 1978.
4. Desel, J.: On abstraction of nets, in Advances in Petri Nets, Lecture Notes in Comput. Sci. 524, Springer-Verlag, 1991, pp. 78-92.
5. Desel, J. and Meceron, A.: Vincinity respecting net morphisms, in Advances in Petri Nets, Lecture Notes in Comput. Sci. 483, Springer-Verlag, 1990, pp. 165-185.
6. Ehrig, H.: Introduction to the algebraic theory of graph grammars, in V. Claus, H. Ehrig and G. Rozenberg (eds.), 1st Graph Grammar Workshop, Lecture Notes in Comput. Sci. 73, Springer-Verlag, 1979, pp. 1-69.
7. Ehrig, H., Gajewsky, M., Lembke, S., and Padberg, J.: Reverse petri net technology transfer: On the boundary of theory and application, in L. Groves and S. Reeves (eds.), Formal Methods Pacific '97, Springer-Verlag, Singapore, 1997.
8. Ehrig, H., Gajewsky, M., and Parisi-Presicce, F.: High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets, Vol. 3: Concurrency, Parallelism, and Distribution, Ch. 4. To appear, Handbook of Graph Grammar and Computing by Graph Transformations Edition, 1998.
9. Ehrig, H., Geisler, R., Klar, M., and Padberg, J.: Horizontal and vertical structuring techniques for statecharts, in A. Mazurkiewicz and J. Winkowski (eds.), CONCUR'97: Concurrency Theory, 8th International Conference, Warsaw, Poland, Lecture Notes in Comput. Sci. 1243, Springer-Verlag, 1997, pp. 181-195.
10. Ehrig, H., Habel, A., Kreowski, H.-J., and Parisi-Presicce, F.: Parallelism and concurrency in high-level replacement systems, Math. Struct. in Comp. Science 1 (1991), 361-404.
11. Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B. K., and Winkowski, J.: Transformation of structures: An algebraic approach, Mathematical Systems Theory 14 (1981), 305-334.
12. Ehrig, H. and Löwe, M.: Categorical principles, techniques and results for high-level replacement systems in computer science, Applied Categorical Structures 1(1) (1993), 21-50.
13. Ehrig, H. and Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, Vol. 6, Springer, Berlin, 1985.
14. Ehrig, H., Padberg, J., and Rozenberg, G.: Behaviour and realization construction for petri nets based on free monoid and power set graphs, Technical Report 94-15, Technical University Berlin, 1994.
15. Ehrig, H. and Parisi-Presicce, F.: Algebraic specification grammars: A junction between module specifications and graph grammars, Lecture Notes in Comput. Sci. 532, 1991, pp. 292-310.
16. Ehrig, H. and Parisi-Presicce, F.: Nonequivalence of categories for equational algebraic specifications in view of high-level replacement systems, Technical Report 91/16, Technical University of Berlin, Dep. of Comp. Sci., 1991. Short version in Proc. 3rd Conf. on Algebraic and Logic Programming, Pisa, 1992.
17. Ermel, C.: Anforderungsanalyse eines medizinischen Informationssystems mit Algebraischen High-Level-Netzen, Technical Report 96-15, TU Berlin, 1996.
18. Ermel, C., Padberg, J., and Ehrig, H.: Requirement engineering of a medical information system using rule-based refinement of petri nets, in D. Cooke, B. Krämer, P. C.-Y. Sheu, J. Tsai and R. Mittermeir (eds.), Proc. Integrated Design and Process Technology, Society for Design and Process Science, Vol. 1, 1996.
19. Habel, A.: Hyperedge replacement: Grammars and Languages, Lecture Notes in Comput. Sci. 643, Springer-Verlag, Berlin, 1992.
20. Hußmann, H.: Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem, Technical Report TUM-I9332, Technische Universität München, 1993.
21. Jensen, K. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Vol. 1, Springer, 1992.
22. Krämer, B. and Schmidt, H. W.: Types and modules for net specifications, in K. Jensen and G. Rozenberg (eds.), High-Level Petri Nets: Theory and Application, Springer, 1991, pp. 171-188.
23. Manna, Z. and Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems, Specification, Springer-Verlag, 1992.
24. Meseguer, J. and Montanari, U.: Petri nets are monoids, Information and Computation 88(2) (1990), 105-155.
25. Padberg, J.: Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement, PhD Thesis, Technical University Berlin, 1996.
26. Padberg, J., Ehrig, H., and Ribeiro, L.: Algebraic high-level net transformation systems, Mathematical Structures in Computer Science 5 (1995), 217-256.
27. Padberg, J. and Gajewsky, M.: Using high-level replacement systems to preserve safety properties in place/transition net transformations, in Sixth International Workshop on Theory and Application of Graph Transformations, accepted, 1998.
28. Padberg, J., Gajewsky, M., and Ermel, C.: Refinement versus verification: Compatibility of net-invariants and stepwise development of high-level petri nets, Technical Report 97-22, Technical University Berlin, 1997.
29. Padberg, J., Gajewsky, M., and Ermel, C.: Rule-based refinement of high-level nets preserving safety properties, in E. Astesiano (ed.), Fundamental Approaches to Software Engineering, Lecture Notes in Comput. Sci. 1382, Springer, 1998, pp. 221-238.
30. Peuker, S.: Invariant property preserving extensions of elementary petri nets, Technical Report No. 97-21, TU Berlin, 1997.
31. Reisig, W.: Petri nets and algebraic specifications, Theoretical Computer Science 80 (1991), 1-34.
32. Vautherin, J.: Parallel specification with coloured Petri nets and algebraic data types, in Proc. of the 7th European Workshop on Application and Theory of Petri Nets, Oxford, England, 1986, pp. 5-23.