loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Technology of Object-Oriented Languages and Systems
Consistent Extension of Components in the Presence of Explicit Invariants
Nancy, France
June 07-June 10
ISBN: 0-7695-0275-X
Anna Mikhajlova, ?bo Akademi University
Component extensions must semantically conform to the components they extend to guarantee consistency of the extended system. Semantic conformance usually means preservation of observable properties while decreasing nondeterminism; in the presence of explicit invariants it also involves preservation of invariants by the extended and the extending components. Depending on the reuse technique employed for constructing extensions, the requirements that must be imposed on components to guarantee consistency vary. We concentrate on the issue of ensuring consistency of extensions with forwarding as the reuse technique, formulating requirements that allow consistent extension of components in the presence of explicit invariants. Also, we discuss additional problems arising with the use of inheritance and propose solutions to these problems.
Index Terms:
consistency, semantic conformance, refinement, component extensions, explicit invariants, forwarding, inheritance
Citation:
Anna Mikhajlova, "Consistent Extension of Components in the Presence of Explicit Invariants," tools, pp.76, Technology of Object-Oriented Languages and Systems, 1999
Usage of this product signifies your acceptance of the Terms of Use.