Publication detail

Preserving Properties in System Redesign: Rule-Based Approach

URBÁŠEK, M.

Original Title

Preserving Properties in System Redesign: Rule-Based Approach

English Title

Preserving Properties in System Redesign: Rule-Based Approach

Type

book chapter

Language

en

Original Abstract

This paper deals with stepwise development of systems based on rules-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 transformation restrict the variety of modeling possibilities to refinement of the system by additional details. The concept of the modeled system forced the redevelopment of the whole system from origin. Otherwise the property preserving rules cold 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.

English abstract

This paper deals with stepwise development of systems based on rules-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 transformation restrict the variety of modeling possibilities to refinement of the system by additional details. The concept of the modeled system forced the redevelopment of the whole system from origin. Otherwise the property preserving rules cold 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.

Keywords

Petri Nets, HLR systems, preserving rules

RIV year

2004

Released

08.12.2003

Publisher

Springer Verlag

Location

Berlin

ISBN

3-540-20537-3

Book

Recent Trends in Algebraic Development Techniques

Edition

Lecture Notes in Computer Science 2755

Pages from

442

Pages to

456

Pages count

15

Documents

BibTex


@inbook{BUT55529,
  author="Milan {Urbášek}",
  title="Preserving Properties in System Redesign: Rule-Based Approach",
  annote="This paper deals with stepwise development of systems based on
rules-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 transformation restrict the variety of
modeling possibilities to refinement of the system by additional
details. The concept of the modeled system forced the redevelopment of
the whole system from origin. Otherwise the property preserving rules
cold 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.",
  address="Springer Verlag",
  booktitle="Recent Trends in Algebraic Development Techniques",
  chapter="55529",
  edition="Lecture Notes in Computer Science 2755",
  institution="Springer Verlag",
  year="2003",
  month="december",
  pages="442--456",
  publisher="Springer Verlag",
  type="book chapter"
}