Ogromny wzrost wykorzystania oprogramowania w każdej dziedzinie życia sprawia, że wymagania dotyczące instalacji i rozwoju oprogramowania wielokrotnego użytku, solidnego, niezawodnego, elastycznego, adaptacyjnego znacznie przyspieszają. Wraz z rosnącymi wymaganiami rośnie zlożonośc procesw, ktrymi zarządza oprogramowanie, a także zapotrzebowanie na integrację procesw z rżnych dziedzin. W rezultacie, programy komputerowe stają się coraz większe i bardziej zlożone. Jednym z wyzwań dla twrcw oprogramowania jest sprawdzanie zgodności między implementacją a specyfikacją, zwlaszcza w inżynierii oprogramowania opartej na komponentach. W tej książce zaproponujemy metodę sprawdzania tej zgodności.