Stepwise introduction and preservation of safety properties in algebraic high-level net systems

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

Volumn 1783, Issue , 2000, Pages 249-265

  Padberg, J ^a   Hoffmann, K ^a   Gajewsky, M ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Algebraic high level net systems; Rule based refinement; Safety introducing rules; Safety preserving morphisms; Safety preserving rules; Safety properties; Temporal logic

Indexed keywords

ALGEBRA; PETRI NETS; SOFTWARE ENGINEERING; TEMPORAL LOGIC;

FORMAL DESCRIPTION; FORMAL TECHNIQUES; MORPHISMS; NET SYSTEMS; RIGHT-HAND SIDES; RULE BASED; SAFETY PROPERTY; SYSTEM DEVELOPMENT;

SAFETY ENGINEERING;

EID: 84945263941     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46428-x_18     Document Type: Conference Paper

References (19)

1. W. Deiters and V. Gruhn. Process Management in Practice – Applying the FunSoft Net Approach to Large-Scale Processes. Automated Software Engineering, 5:7-25, 1998.
2. H. Ehrig, M. Gajewsky, and F. Parisi-Presicce. High-Level Replacement Systems with Applications to Algebraic Specifications and Petri Nets, volume 3: Concurrency, Parallelism, and Distribution, chapter 6, pages 341-400. World Scientific, Handbook of Graph Grammars and Computing by Graph Transformations edition, 1999.
3. H. Ehrig, A. Habel, H.-J. Kreowski, and F. Parisi-Presicce. Parallelism and concurrency in High Level Replacement Systems. Math. Struc. in Comp. Science, 1:361-404, 1991.
4. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Berlin, 1985.
5. C. Ermel. Anforderungsanalyse eines medizinischen Informationssystemsmit Algebraischen High-Level-Netzen. Technical Report 96-15, TU Berlin, 1996.
6. Maike Gajewsky, Julia Padberg, and Kathrin Hoffmann. Safety Introducing and Preserving Rules for Algebraic High-Level Net Systems. Technical report, Technical University Berlin, 2000. to appear.
7. V. Gruhn. Validation and Verification of Software Process Models. PhD thesis, Universität Dortmund, Abteilung Informatik, 1991.
8. K. Jensen, S. Christensen, P. Huber, and M. Holla. Design/CPN. A Reference Manual. Meta Software Cooperation, 125 Cambridge Park Drive, Cambridge Ma 02140, USA, 1991.
9. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume 1: Basic Concepts. Springer Verlag, EATCS Monographs in Theoretical Computer Science edition, 1992.
10. K. Jensen and G. Rozenberg, editors. High-Level Petri-Nets: Theory and Application. 1991.
11. J. Meseguer and U. Montanari. Petri Nets are Monoids. Information and Computation, 88(2):105-155, 1990.
12. Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Con-current Systems, Specification. 1992.
13. A. Oberweis, G. Scherrer, and W. Stucky. INCOME/STAR: Methodology and Tools for the Development of Distributed Information Systems. Information Systems, 19(8):643-660, 1994.
14. J. Padberg. Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, 1996. Shaker Verlag.
15. Julia Padberg. Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures, 7(4):371-403, December 1999.
16. J. Padberg, H. Ehrig, and L. Ribeiro. Algebraic high-level net transformation systems. Mathematical Structures in Computer Science, 5:217-256, 1995.
17. J. Padberg, M. Gajewsky, and C. Ermel. Rule-Based Refinement of High-Level Nets Preserving Safety Properties. In E. Astesiano, editor, Fundamental approaches to Software Engineering, pages 221-238, 1998. Lecture Notes in Computer Science 1382.
18. W. Reisig. Petri Nets, volume 4 of EATCS Monographs on Theoretical Computer Science. 1985.
19. J. Vautherin. Parallel System Speci_cation with Coloured Petri Nets. In G. Rozenberg, editor, Advances in Petri Nets 87, pages 293-308, 1987. 266.