SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

Correct Transformation Rules for Incremental Development of Architecture Hierarchies
 by Robert Riemenschneider.

In previous papers, my colleagues and I defined what it means to say that an architecture refinement hierarchy is correct, and showed how to prove correctness of refinement steps. This paper builds upon that earlier work by extending the notion of correctness to apply to architecture transformation rules that can be used to incrementally build hierarchies. Perhaps surprisingly, it is not the case that a rule that adds detail to an architectural description at some level of detail is correct only when the addition of detail always produces a correct refinement of the description. THere is, nonetheless, a close relationship between proofs that rules are correct and proofs that certain refinement steps are correct. The possibility of defining general techniques for generating correct incremental transformation rules from a correct refinement pattern is explored.
BibTEX Entry
    AUTHOR = {Robert {A.} Riemenschneider},
    TITLE = {Correct Transformation Rules for Incremental Development of Architecture Hierarchies},
    URL = {}


About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2018 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy