Show simple item record

dc.contributor.authorImam, Fahimen
dc.date.accessioned2017-10-10T21:50:39Z
dc.date.available2017-10-10T21:50:39Z
dc.identifier.urihttp://hdl.handle.net/1974/22937
dc.description.abstractRepresenting the functional behaviour of a system is a critical practice in any engineering discipline. However, how to compare and reason about the represented systems has mostly been dependent on our cognitive processing ability. An effective representation must support machine-assisted reasoning mechanism as well as human intuitions. We present an effective, ontology-oriented formal approach of representation that is designed to be both machine-processable and human comprehensible. Based on the theory of events and change in AI-based commonsense reasoning and the notion of affordances, we developed a novel approach to functional reasoning which is more intuitive and practical compared to the existing formal systems of representation. After discussing the notion of ontologies along with their implementation formalisms, we present our representational facility called the Event-Based Functional Behaviour Ontology (EFBO). A detailed overview of the EFBO is presented along with our own approach to behaviour modelling. As a special application, we present and demonstrate the EFBO-based validation system that can be used to validate the levels of functional consistencies between cross-platform systems. We also discuss the commonsense reasoning theories relevant to our representation along with other related work. Finally, we discuss the broader perspectives of our contributions within the context of modern computing and software engineering.en
dc.language.isoengen
dc.relation.ispartofseriesCanadian thesesen
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 United Statesen
dc.rightsQueen's University's Thesis/Dissertation Non-Exclusive License for Deposit to QSpace and Library and Archives Canadaen
dc.rightsProQuest PhD and Master's Theses International Dissemination Agreementen
dc.rightsIntellectual Property Guidelines at Queen's Universityen
dc.rightsCopying and Preserving Your Thesisen
dc.rightsThis publication is made available by the authority of the copyright owner solely for the purpose of private study and research and may not be copied or reproduced except as permitted by the copyright laws without written authority from the copyright owner.en
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/us/
dc.subjectOntologiesen
dc.subjectFunctional Reasoningen
dc.subjectEvent-Driven Systemsen
dc.subjectFormal Specificationen
dc.subjectFormal Verificationen
dc.subjectArtificial Intelligenceen
dc.subjectSoftware Engineeringen
dc.subjectSoftware Design Recoveryen
dc.subjectProgram Comprehinsionen
dc.subjectDescription Logicsen
dc.subjectOWLen
dc.subjectWeb Ontology Languageen
dc.subjectCommonsense Reasoningen
dc.subjectFunctional Behaviour Reasoningen
dc.subjectRequirements Engineeringen
dc.subjectRequirements Specificationen
dc.subjectRequirements Analysisen
dc.subjectConsistency Managementen
dc.subjectEvent-Based Software Engineeringen
dc.titleAn Ontology-Oriented Approach to Represent and Compare the Functional Behaviour of Event-Based Systemsen
dc.typethesisen
dc.description.degreePhDen
dc.contributor.supervisorDean, Thomasen
dc.contributor.departmentComputingen
dc.degree.grantorQueen's University at Kingstonen


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 United States
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 United States