Ontologies provide an artifact that can be verified and validated. This paper provides one approach for modeling an ontology. Using this approach the paper elicits desirable ontology characteristics that facilitate verification. In addition, ontologies provide a basis for verification and validation. This paper also addresses use of an ontology in order ultimately to facilitate verification of the system artifact.