Abstract
This paper addresses the problem of method evolution in object-oriented databases. We propose a set of evolutionary operations that affect all parts of methods, the signature and the implementation. When a restructuring operation is applied to a schema, behavioral consistency is checked by constructing a proof of program correctness. Two levels of granularity for behavioral consistency are described. The first level relates to the evolution of methods in the context of class inheritance hierarchy and is concerned with the semantics of the polymorphism of methods. The second level relates to behavioral evolution in which the chain of calling relationships between methods is considered. Behavioral consistency is checked with a graph-based approach that deals with problems such as run-time type errors, side-effects, redundant methods, and unexpected behaviors.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Software Engineering and Knowledge Engineering
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
