| Walter L. Hursch. Maintaining Behavior and Consistency of Object-Oriented Systems during Evolution. PhD thesis, Northeastern University, September 1995. 15 |
....subschemas called variously propagation directives or strategies. 2. Change facilitatiion: Here the idea is to allow changes to occur, but then to automate the application of compensating changes to existing programs. Automatic program transformation was studied by Bergstein [1] and Hursch [7], but primarily as they applied to adaptive programs. Batory [21] has done program transformations systems, particularly regarding extending and combining standard libraries. The refactorings of Johnson [8] Opdyke [14] Brant [17] and Griswold [6] are similar to the approach taken here. STP ....
Walter Hursch. Maintaining Behavior and Consistency of Object-Oriented Systems during Evolution. PhD thesis, Northeastern University, 1995. http://www.ccs.neu.edu/home/lieber/theses-index.html.
....1 2 2 behaviorally motivated covers covers covers G G G E E E Figure 1: The Software Evolution Framework. This thesis proposal outlines a framework for managing software during evolution, represented in figure 1. The model modifies and extends the behavior preserving model proposed by Hursch [22] to incorporate testing, verification and behaviorally motivated transformations. The process begins with an initial class structure that is represented with a class graph G 0 . Vertices in the graph represent classes, and edges represent relations between classes. An object oriented program P 0 ....
....antiextensionality property that this simple approach to regression testing may not be adequate for finding errors, since the program structure has changed. 4. 5 Adaptive Software The topic of adaptive software has supported several theses in the areas of software evolution and maintainability [9, 22, 55]. A formal semantics of adaptive software is presented by Cun Xiao in his thesis [55] The thesis presents a model for elevating program understandability through concrete object traversal and transportation specifications. A formal semantics for adaptive software is defined, along with an ....
[Article contains additional citation context not shown here]
Walter L. Hursch. Maintaining the behavior and consistency of object-oriented systems during evolution. Technical report, Northeastern University, June 1994. Ph.D. thesis proposal.
....Thus, an instance of a participating class sees its own instance variables as well as the arguments and locals of the component. Like adaptive software[LSLX94, Lie96] an ABC employs loose coupling of behavior to classes in order to improve its robustness under changing class structures[HS96, Hur95] An ABC is implicitly parameterized in that it defines behavior for a partial class structure, and may be instantiated with many complete class structures. The loose coupling is achieved by specifying the behavior of only those classes (primary participants) that contribute non traversal ....
Walter L. Hursch. Maintaining Behavior and Consistency of Object-Oriented Systems during Evolution. PhD thesis, Northeastern University, September 1995. 15
.... addressed the problems of schema evolution with emphasis on maintaining the consistency of the schema and the persistent object store [BKKK87, LH90, Zic92, FMZ94] Recently, there has been increasing attention on the issue of maintaining behavioral consistency [DZ91] and behavioral equivalence [OJ90, JO93, BH93, Ber94, Hur95]. The contributions of our research include: 1) a formal definition of behavioral equivalence and development of a proof technique to demonstrate behavioral equivalence of adaptive programs, 2) the presentation of a set of primitive class structure transformations and their corresponding object ....
....object store given simple schema transformations such as adding and deleting classes, attributes, or inheritance relations. Recently, there has been increasing attention on the issue of maintaining behavioral consistency [DZ91] and behavioral equivalence during evolution of object oriented systems [OJ90, JO93, BH93, Ber94, TS94, Hur95]. In [OJ90, Opd92, JO93] a refactoring approach has been proposed for restructuring objectoriented application frameworks in C . Refactorings do not themselves change the behavior of a program, but they restructure it in a way that makes the software easier to extend and reuse. Opd92] presents ....
[Article contains additional citation context not shown here]
Walter L. Hursch. Maintaining Behavior and Consistency of Object-Oriented Systems during Evolution. PhD thesis, College of Computer Science, Northeastern University, Boston, MA, September 1995. In preparation.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC