The enormous expansion in the use of software in every field of life makes demands on installing and developing reusable, robust, reliable, flexible, adaptive software system much accelerating. As these demands are growing stronger, the complexity of processes that software manages is increasing along with the demand for the integration of processes from different areas. As a result, software programs are be coming increasingly large and complex. One of challenges for software developers is how to check the conformance between the implementation and specification, especially in component-based software engineering. In this book, we will propose a method for checking this conformance.