Consistent Extension of Components in Presence of Explicit Invariants

  • Anna Mikhajlova
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1543)


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.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Anna Mikhajlova
    • 1
  1. 1.Turku Centre for Computer ScienceÅbo Akademi UniversityTurkuFinland

Personalised recommendations