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.