Service channels-purpose and tradeoffs

Claims concerning the maintainability of object oriented software usually refer to encapsulation and inheritance mechanisms. However if objects are perceived only from the code level, potentials for higher level maintenance operations are missed. Moreover classical maintenance focussing just on code destroys the relationship that once existed between specification and implementation. The authors present service channels as mechanisms to support maintenance requests on the specification and, for a substantial class of requests, the propagation to the implementation keeping the relationships between specification and implementation consistent.

[1]  Roland Mittermeir,et al.  Storing and retrieving software components: a refinement based system , 1994, ICSE '94.

[2]  Roland Mittermeir,et al.  Object evolution by model evolution , 1998, Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering.

[3]  Karl J. Lieberherr,et al.  Object-Oriented Software Evolution , 1993, IEEE Trans. Software Eng..

[4]  David Lorge Parnas,et al.  Software aging , 1994, Proceedings of 16th International Conference on Software Engineering.

[5]  Meir M. Lehman,et al.  Software's future: managing evolution , 1998, IEEE Software.

[6]  Graeme Smith,et al.  The Object-Z Specification Language , 1999, Advances in Formal Methods.

[7]  Shinichi Honiden,et al.  EVA: a flexible programming method for evolving systems , 1997, IEEE Transactions on Software Engineering.

[8]  David A. Carrington,et al.  A Framework for Specification-Based Testing , 1996, IEEE Trans. Software Eng..

[9]  M.M. Lehman,et al.  Programs, life cycles, and laws of software evolution , 1980, Proceedings of the IEEE.

[10]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[11]  Eduardo Casais,et al.  Managing class evolution in object-oriented systems , 1995 .

[12]  David Chenho Kung,et al.  Or Regression Testing of Object-Oriented Programs , 1996, J. Syst. Softw..

[13]  Mary Jean Harrold,et al.  Slicing object-oriented software , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[14]  John D. McGregor,et al.  Incremental testing of object-oriented class structures , 1992, ICSE '92.

[15]  Ian Sommerville,et al.  Schema evolution in OODBs using class versioning , 1993, SGMD.

[16]  Roland Mittermeir,et al.  Semantic-Based Software Retrieval to Support Rapid Prototyping , 1992, Struct. Program..

[17]  David Chenho Kung,et al.  Change impact identification in object oriented software maintenance , 1994, Proceedings 1994 International Conference on Software Maintenance.

[18]  David A. Carrington,et al.  Object-Z: An Object-Oriented Extension to Z , 1989, FORTE.