In the previous chapter, a decomposing method based on single entry single exit components was presented to generically decompose the conformance problem. This chapter presents an extension of the method to provided a so-called valid decomposition, i.e., a decomposition that preserves certain conformance guarantees over the general problem, even when it is analyzed in a decomposed manner. In the next chapter, the fitness analysis based on decomposition is put into practice.