Please use this identifier to cite or link to this item: http://hdl.handle.net/2440/61972
Type: Thesis
Title: A category theoretic approach to inconsistencies in modular system specification.
Author: Menon, Catherine
Issue Date: 2007
School/Discipline: School of Computer Science
Abstract: This thesis presents a categorical approach to the detection, classification and resolution of inconsistencies which commonly arise in modular systems. This categorical approach relies upon the generation of the Categorical Consistency Framework, within which inconsistencies can be represented separately from implementation details. Using this framework, a taxonomy of inconsistencies is constructed, which presents metrics for determining their severity and discusses a number of resolution methods. It is also shown how this framework can be used to combine multiple specifications into a single consistent system and predict the behaviour of the system. In the process, existing work relating to the database view update problem is adapted to system specification. This enables analysis of the probable underlying system behaviour, given the behaviour of individual components. The notion of degrees of consistency is introduced. This concept allows examination of how well a system recovers from system failure.
Dissertation Note: Thesis (Ph.D.) -- University of Adelaide, School of Computer Science, 2007
Keywords: categorical consistency framework; system failure
Provenance: This electronic version is made publicly available by the University of Adelaide in accordance with its open access policy for student theses. Copyright in this thesis remains with the author. This thesis may incorporate third party material which has been used by the author pursuant to Fair Dealing exception. If you are the author of this thesis and do not wish it to be made publicly available or If you are the owner of any included third party copyright material you wish to be removed from this electronic version, please complete the take down form located at: http://www.adelaide.edu.au/legals
Appears in Collections:Research Theses

Files in This Item:
File Description SizeFormat 
01front.pdf53.61 kBAdobe PDFView/Open
02whole.pdf12.91 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.