UMD ENSE 623 - Ontology-Enabled Validation of Systems containing Electric Terminals (60 pages)

Previewing pages 1, 2, 3, 4, 28, 29, 30, 31, 57, 58, 59, 60 of 60 page document View the full content.
View Full Document

Ontology-Enabled Validation of Systems containing Electric Terminals



Previewing pages 1, 2, 3, 4, 28, 29, 30, 31, 57, 58, 59, 60 of actual document.

View the full content.
View Full Document
View Full Document

Ontology-Enabled Validation of Systems containing Electric Terminals

145 views


Pages:
60
School:
University of Maryland, College Park
Course:
Ense 623 - Systems Projects, Validation and Verification
Unformatted text preview:

UNIVERSITY OF MARYLAND COLLEGE PARK SYSTEMS ENGINEERING VALIDATION AND VERIFICATION ENPM643 TERM PROJECT Ontology Enabled Validation of Systems containing Electric Terminals FINAL REPORT PROFESSOR MARK AUSTIN STUDENT FRANCISCO J GALLO DEC 6 2005 UNIVERSITY OF MARYLAND COLLEGE PARK ENPM643 Term Project Document FinalReport v 0 1 doc Author Francisco Gallo TABLE OF CONTENTS 1 DESCRIPTION OF PROJECT 2 2 INTRODUCTORY REMARKS 2 3 FINAL DELIVERABLES OBTAINED FROM THIS PROJECT 2 4 PROJECT IMPLEMENTATION DESCRIPTION 3 4 1 STEP ANALYSIS OF BASE SYTEM AND CREATION OF BASIC RULES FOR ONTOLOGY 3 4 2 STEP IMPLEMENTATION OF ONTOLOGY IN PROT G 3 4 3 STEP GENERATION OF XML FILES AND CREATION OF XSLT STYLE SHEETS 4 4 4 STEP CREATION OF ONTOLOGY VALIDATION TOOL 5 5 STEPS FOR USING THE ONTOLOGY VALIDATION TOOL 8 6 REFERENCES 10 1 10 UNIVERSITY OF MARYLAND COLLEGE PARK ENPM643 Term Project Document FinalReport v 0 1 doc Author Francisco Gallo 1 DESCRIPTION OF PROJECT The primary goal of this project is to develop a tool that allows the validation of connections between electrical terminals Secondary goals of this project are 1 Define a framework for defining and identifying the different elements needed to interconnect components in a system This framework is approached at a case study level and can be extended as necessary 2 Using the framework create an ontology that implements key aspects of it and that allows to validate the use of components included in the ontology 3 Implement a tool that is capable of validate connectivity of electrical terminals by using the hierarchical schema defined in the ontology 4 Use XML as a data storage mechanism to validate formal data and to move it between applications 5 Gain understanding of tool Prot g 2 INTRODUCTORY REMARKS Work done in this project was based on papers by Mayank and Liang and on reference materials provided by Professor Mark Austin This project was strongly based on the following technologies 1 2 3 4 5 6 Stanford s Prot g XML XSLT XPATH VBA Excel 3 FINAL DELIVERABLES OBTAINED FROM THIS PROJECT 1 Ontology Validation Tool Implemented in VBA and Excel XP This tool is capable of importing XML data containing instances of a predefined ontology and then allows the user to test connectivity between elements This tool displays detailed information about compatible incompatible attributes and works seamlessly with XML generate by Prot g The ontology validation tool has been implemented as a macro in file OntologyValidationTool V N n xls 2 Ontology in Prot g A Prot g project containing an ontology for electrical ports has been fully implemented This ontology is based on the rules and knowledge gained by analyzing a Home Theater System The Prot g project has been include in file PortOntology pprj 3 Electrical Terminal Ontology Specification Document see file Annex01 ElectricTerminalsOntologySpecification containing the analysis process done on a Home Theater System This analysis provided the framework to implement the ontology in Prot g Other achievements done as result of this project 1 Analyzed the XML hierarchy that Prot g creates Documented this hierarchy in file Annex04 ProtegeXMLSchemaAnalysis xls for future reference 2 10 UNIVERSITY OF MARYLAND COLLEGE PARK ENPM643 Term Project Document FinalReport v 0 1 doc Author Francisco Gallo 2 Created XSLT template using XPATH to provide style to XML generated by Prot g allowing seamless integration with XML XSLT capable environments 4 PROJECT IMPLEMENTATION DESCRIPTION 4 1 STEP ANALYSIS OF BASE SYTEM AND CREATION OF BASIC RULES FOR ONTOLOGY Due to the complexity of this step it was decided to include it as an Annex Please refer to file Annex01 ElectricTerminalsOntologySpecification v 0 2 doc for details on how this was done Please note that some Annex 1 provides some important definitions that will be used from now on It is strongly recommended to read it before continuing with present document 4 2 STEP IMPLEMENTATION OF ONTOLOGY IN PROT G Through an iterative process using Prot g the ontology needed to describe a set of electrical terminals was implemented This ontology is in a Prot g project file The Electrical Terminals Ontology ETO implemented in Prot g is focused in the description of the Terminals needed for a set of ports to work properly Bear in mind that a Port is a composition of Terminals Concepts used to categorize the classes and defining their attributes are based on Liang 2 These are function behavior and form Function has been used to define the top level classes based on the nature of the service they provide For example power or information transmission Behavior has been used to define the bottom level classes based on how the service is implemented For example digital or analog signals Also behavior has been used to define certain attributes of the classes such as the operating frequency impedance and others Form has been provided as an attribute in the ontology Since describing the form of a connector implies a complexity beyond the scope of this project the abstract approach to shape specifications suggested by Liang 3 is used This is instead of providing the physical details of form a certain standard name is defined e g StandardRoundTerminal Then the description of a certain Terminal can be progressively elaborated in additional detail by extending what the abstract shape specification means Round connectors with two parallel blades separated x inches etc The important concept here is that for two Terminals to work as a Port they must have the same abstract shape specification and one has to be male and the other female Figure 4 1 shows a screenshot of Prot g and the ETO that was implemented In the left pane the hierarchy of classes that compose the ontology can be appreciated Note that the fundamental concept of how classes have been grouped is the way the energy is used Power or Information Analogical or Digital 3 10 UNIVERSITY OF MARYLAND COLLEGE PARK ENPM643 Term Project Document FinalReport v 0 1 doc Author Francisco Gallo Figure 4 1 Figure 4 2 shows another view of Prot g in which the instances created using the ontology can be appreciated Note that all the files created in Prot g have been submitted along with this final report Figure 4 2 4 3 STEP GENERATION OF XML FILES AND CREATION OF XSLT STYLE SHEETS Once the ontology was created in Prot g it can be exported into XML To do this the option shown in Figure 4 3 was selected in Prot g This creates an XML file in the Prot g


View Full Document

Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Ontology-Enabled Validation of Systems containing Electric Terminals and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Ontology-Enabled Validation of Systems containing Electric Terminals and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?