Preserving Properties in System Redesign: Rule-Based Approach
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU49054" target="_blank" >RIV/00216305:26230/03:PU49054 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Preserving Properties in System Redesign: Rule-Based Approach
Original language description
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 refineement 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 tobe 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.
Czech name
Zachování vlastností při opětovném návrhu systému: přístup založený na pravidlech
Czech description
Článek se zabývá metodou postupného zjemňování návrhu systému založenou na transformacích zachovávajících určité vlastnosti systému. V kontextu Petriho sítí dosud vyvinutá pravidla zachovávající vlastnosti omezují možnosti modelování a zjemňování návrhuodalší potřebné detaily. V článku je popsán způsob vytváření nových vlastnosti zachovávajících pravidel, která jsou užitečná pro modifikace (redesign) částí systémů.
Classification
Type
C - Chapter in a specialist book
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA102%2F01%2F1485" target="_blank" >GA102/01/1485: Enviroment for development, modelling and application of heterogenous systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2003
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
Recent Trends in Algebraic Development Techniques
ISBN
3-540-20537-3
Number of pages of the result
15
Pages from-to
442-456
Number of pages of the book
—
Publisher name
Springer Verlag
Place of publication
Berlin
UT code for WoS chapter
—