Application of Formal Description Techniques to Conformance Evaluation