Detail publikačního výsledku

Preserving Properties in System Redesign: Rule-Based Approach

URBÁŠEK, M.

Originální název

Preserving Properties in System Redesign: Rule-Based Approach

Anglický název

Preserving Properties in System Redesign: Rule-Based Approach

Druh

Kapitola, resp. kapitoly v odborné knize

Originální abstrakt

This paper deals with stepwise development of systems based onrules-based approach. Modeling using this approach usually starts witha rough model of a system which is refined in further steps. Thisapproach is based on rules and transformations as known from theory ofHLR systems. Preservation of certain system properties during thisprocess is of importance. In the context of Petri Nets the developedproperty preserving rules and transformation restrict the variety ofmodeling possibilities to refinement of the system by additionaldetails. The concept of the modeled system forced the redevelopment ofthe whole system from origin. Otherwise the property preserving rulescold not be employed and the tedious investigation of system propertieshad to be done for the final system. In this paper we describe thepossibility of building new property preserving rules from other oneswhich are suitable for redesign of system's parts.

Anglický abstrakt

This paper deals with stepwise development of systems based onrules-based approach. Modeling using this approach usually starts witha rough model of a system which is refined in further steps. Thisapproach is based on rules and transformations as known from theory ofHLR systems. Preservation of certain system properties during thisprocess is of importance. In the context of Petri Nets the developedproperty preserving rules and transformation restrict the variety ofmodeling possibilities to refinement of the system by additionaldetails. The concept of the modeled system forced the redevelopment ofthe whole system from origin. Otherwise the property preserving rulescold not be employed and the tedious investigation of system propertieshad to be done for the final system. In this paper we describe thepossibility of building new property preserving rules from other oneswhich are suitable for redesign of system's parts.

Klíčová slova

Petri Nets, HLR systems, preserving rules

Klíčová slova v angličtině

Petri Nets, HLR systems, preserving rules

Autoři

URBÁŠEK, M.

Vydáno

08.12.2003

Nakladatel

Springer Verlag

Místo

Berlin

ISBN

3-540-20537-3

Kniha

Recent Trends in Algebraic Development Techniques

Edice

Lecture Notes in Computer Science

Svazek

2755

Strany od

442

Strany do

456

Strany počet

15

BibTex

@inbook{BUT55529,
  author="Milan {Urbášek}",
  title="Preserving Properties in System Redesign: Rule-Based Approach",
  booktitle="Recent Trends in Algebraic Development Techniques",
  year="2003",
  publisher="Springer Verlag",
  address="Berlin",
  series="Lecture Notes in Computer Science",
  pages="442--456",
  isbn="3-540-20537-3"
}