Book chapter

URBÁŠEK Milan. Preserving Properties in System Redesign: Rule-Based Approach. Recent Trends in Algebraic Development Techniques. Berlin: Springer Verlag, 2003, pp. 442-456. ISBN 3-540-20537-3.
Publication language:english
Original title:Preserving Properties in System Redesign: Rule-Based Approach
Title (cs):Zachování vlastností při opětovném návrhu systému: přístup založený na pravidlech
Pages:442-456
Book:Recent Trends in Algebraic Development Techniques
Series:Lecture Notes in Computer Science 2755
Place:Berlin, DE
Year:2003
ISBN:3-540-20537-3
Publisher:Springer Verlag
Keywords
Petri Nets, HLR systems, preserving rules
Annotation
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.
BibTeX:
@INBOOK{
   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 2755},
   year = {2003},
   location = {Berlin, DE},
   publisher = {Springer Verlag},
   ISBN = {3-540-20537-3},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=7356}
}

Your IPv4 address: 54.166.232.243
Switch to IPv6 connection

DNSSEC [dnssec]