A category theoretic approach to inconsistencies in modular system specification.
Date
2007
Authors
Menon, Catherine
Editors
Advisors
Journal Title
Journal ISSN
Volume Title
Type:
Thesis
Citation
Statement of Responsibility
Conference Name
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.
School/Discipline
School of Computer Science
Dissertation Note
Thesis (Ph.D.) -- University of Adelaide, School of Computer Science, 2007
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