Zachování vlastností při opětovném návrhu systému: přístup založený na pravidlech

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Preserving Properties in System Redesign: Rule-Based Approach

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Preserving Properties in System Redesign: Rule-Based Approach

Popis výsledku anglicky

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.

Druh

C - Kapitola v odborné knize

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F01%2F1485" target="_blank" >GA102/01/1485: Prostředí pro vývoj, modelování a aplikaci heterogenních systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2003

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku

Recent Trends in Algebraic Development Techniques

ISBN

3-540-20537-3

Počet stran výsledku

15

Strana od-do

442-456

Počet stran knihy

—

Název nakladatele

Springer Verlag

Místo vydání

Berlin

Kód UT WoS kapitoly

—