Title :
Service channels-purpose and tradeoffs
Author :
Pirker, Helfried ; Mittermeir, Roland T. ; Rauner-Reithmayer, Dominik
Author_Institution :
Inst. fur Inf., Klagenfurt Univ., Austria
Abstract :
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
Keywords :
formal specification; object-oriented programming; software maintenance; software reliability; encapsulation mechanisms; inheritance mechanisms; maintainability; maintenance requests; object oriented software; service channels; specification; Aging; Computer languages; Electrical capacitance tomography; Encapsulation; Hip; Programming profession; Read only memory; Software maintenance; Software systems; State-space methods;
Conference_Titel :
Computer Software and Applications Conference, 1998. COMPSAC '98. Proceedings. The Twenty-Second Annual International
Conference_Location :
Vienna
Print_ISBN :
0-8186-8585-9
DOI :
10.1109/CMPSAC.1998.716657