Software Engineering Protocol Implementation Conformance