Constraint programming solutions to LogicQL program verification and system resilience problems

Author: 
Date created: 
2015-12-14
Identifier: 
etd9392
Keywords: 
Constraint Programming
LogicQL
Program Verification
System Resilience
Abstract: 

Constraint Programming (CP) is the study of solving problems by stating constraints on the solution to be found. Many computer science problems can be viewed as a special case of the constraint problem. In this thesis, we focus on using CP solvers for solving two distinct problems. First, we develop and implement a framework for an automatic generation of models that satisfy a program in LogicQL, a high-level database query language. We show that our system gives immediate feedback to the user and can be used for incremental development of LogicQL programs. Second, we consider a system resilience problem that is important in many application domains. We present the design and implementation of SR-solver, a novel integrated tool for evaluating system resilience. The SR-solver supports a graphical representation of the system, thus making the evaluation of system resilience accessible to general users.

Document type: 
Thesis
Rights: 
This thesis may be printed or downloaded for non-commercial research and scholarly purposes. Copyright remains with the author.
File(s): 
Senior supervisor: 
Eugenia Ternovska
Department: 
Applied Sciences: School of Computing Science
Thesis type: 
(Thesis) M.Sc.
Statistics: