Title :
Robust dynamic exchange of implementation aspects
Author :
Löwe, Weld ; Neumann, Rainer ; Trapp, Martin ; Zimmermann, Wolf
Author_Institution :
Inst. fur Programmstrukturen und Datenorganisation, Karlsruhe Univ., Germany
Abstract :
We show a technique for consistent dynamic exchange of different aspects of implementations of abstract data types, in particular data structure representations and algorithms. Previous work showed how one single aspect´s implementation can be exchanged dynamically without running into robustness problems if other aspects are guaranteed to be fixed. The present work generalizes this idea in the sense that all aspects´ implementations may be exchanged arbitrarily at run time where robustness is preserved. We use finite state machines where each state represents a combination of the different implementations and each transition an exchange of exactly one aspect´s implementation. We use these state machines to check for the robustness of a class within a certain application context
Keywords :
abstract data types; finite state machines; object-oriented programming; software libraries; abstract data types; data structure representations; finite state machines; implementation aspect dynamic exchange; object oriented class library; robustness problems; run time; Bridges; Change detection algorithms; Data structures; Law; Legal factors; Libraries; Programming profession; Robustness; Routing; Runtime;
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 1999. Proceedings of
Conference_Location :
Nancy
Print_ISBN :
978-0-7695-0275-5
DOI :
10.1109/TOOLS.1999.779066