Preserving Properties in System Redesign: Rule-Based Approach

  • Milan Urbášek
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2755)


This paper deals with stepwise development of systems based on rule-based approach. Modeling using this approach usually starts with a rough model of a system which is refined in further steps. This approach is based on rules and transformations as known from theory of HLR systems. Preservation of certain system properties during this process is of importance. In the context of Petri nets the developed property preserving rules and transformations restrict the variety of modeling possibilities to refinement of the system by additional details. The concept for conceptual change and redesign of a part of the modeled system is of interest. Up to now the request for a large change of structure of the modeled system forced the redevelopment of the whole system from origin. Otherwise the property preserving rules could not be employed and the tedious investigation of system properties had to be done for the final system. In this paper we describe the possibility of building new property preserving rules from other ones which are suitable for redesign of system’s parts.


System Property Property Preserve Graph Grammar Hierarchical Decomposition System Redesign 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [EHKP91a]
    Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: From graph grammars to high level replacement systems. In: Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) Graph Grammars 1990. LNCS, vol. 532, pp. 269–291. Springer, Heidelberg (1991)CrossRefGoogle Scholar
  2. [EHKP91b]
    Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrency in High Level Replacement Systems. Math. Struc. in Comp. Science 1, 361–404 (1991)MathSciNetCrossRefzbMATHGoogle Scholar
  3. [EHKPP90]
    Ehrig, H., Habel, A., Kreowski, H.-J., Parisi-Presicce, F.: Parallelism and concurrency in high level replacement systems. Technical Report 90-35, Technical University of Berlin (1990)Google Scholar
  4. [ERRW02]
    Ehrig, H., Reisig, W., Rozenberg, G., Weber, H. (eds.): Petri Net Technology for Communication-Based Systems. LNCS, vol. 2472. Springer, Heidelberg (2003) (to appear)zbMATHGoogle Scholar
  5. [GPU01]
    Gajewsky, M., Padberg, J., Urbášek, M.: Rule-Based Refinement for Place/Transition Systems: Preserving Liveness-Properties. Technical Report 2001-8, Technical University of Berlin (2001)Google Scholar
  6. [Pad96]
    Padberg, J.: Abstract Petri Nets: A Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University Berlin, Shaker Verlag (1996)Google Scholar
  7. [Pad99]
    Padberg, J.: Categorical Approach to Horizontal Structuring and Refinement of High-Level Replacement Systems. Applied Categorical Structures 7(4), 371–403 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  8. [PER95]
    Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic high-level net transformation systems. MSCS 2, 217–256 (1995)MathSciNetzbMATHGoogle Scholar
  9. [UP02]
    Urbášek, M., Padberg, J.: Preserving liveness with rule-based refinement of place/transition systems. In: Society for Design and Process Science (SDPS), editors, Proc. IDPT 2002: Sixth World Conference on Integrated Design and Process Technology, CD-ROM, p. 10 (2002)Google Scholar
  10. [Urb02]
    Urbášek, M.: New Safety Property and Liveness Preserving Morphisms of P/T Systems. Technical Report 2002-14, Technical University Berlin (2002)Google Scholar
  11. [Urb03]
    Urbášek, M.: Categorical Net Transformations for Petri Net Technology. PhD Thesis, Technical University Berlin (2003) (to appear)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Milan Urbášek
    • 1
  1. 1.Institute for Software Technology and Theoretical Computer ScienceTechnical University BerlinGermany

Personalised recommendations