Detail publikace

Preserving Properties in System Redesign: Rule-Based Approach

URBÁŠEK Milan. Preserving Properties in System Redesign: Rule-Based Approach. Recent Trends in Algebraic Development Techniques. Lecture Notes in Computer Science, roč. 2755. Berlin: Springer Verlag, 2003, s. 442-456. ISBN 3-540-20537-3.
Název česky
Zachování vlastností při opětovném návrhu systému: přístup založený na pravidlech
Typ
kapitola v knize
Jazyk
angličtina
Autoři
Urbášek Milan, Ing. (FIT VUT)
Klíčová slova

Petriho sítě, HLR systémy, zachovávající pravidla

Abstrakt

Č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ávrhu o další 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ů.

Rok
2003
Strany
442-456
Kniha
Recent Trends in Algebraic Development Techniques
Řada
Lecture Notes in Computer Science
Svazek
2755
ISBN
3-540-20537-3
Vydavatel
Springer Verlag
Místo
Berlin, DE
BibTeX 
@INBOOK{FITPUB7356,
   author = "Milan Urb\'{a}\v{s}ek",
   title = "Preserving Properties in System Redesign: Rule-Based Approach",
   pages = "442--456",
   booktitle = "Recent Trends in Algebraic Development Techniques",
   series = "Lecture Notes in Computer Science",
   volume = 2755,
   year = 2003,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "3-540-20537-3",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7356"
}
Nahoru