Consistent Extension of Components in Presence of Explicit Invariants
In an open component-based system, the ultimate goal of creating an extension is to improve and enhance functionality of an existing component by tuning it for specific needs, making it more concrete, implementing a faster algorithm, and so on. Effectively, the client of a component benefits from using an extension, only if the extension does not invalidate the client. Imposing semantic constraints on extensions ensures their consistency from the client perspective.
Unable to display preview. Download preview PDF.