Skip to main content

Constraint programming solutions to LogicQL program verification and system resilience problems

Resource type
Thesis type
(Thesis) M.Sc.
Date created
Author: Liu, Heng
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.
Copyright statement
Copyright is held by the author.
This thesis may be printed or downloaded for non-commercial research and scholarly purposes.
Scholarly level
Supervisor or Senior Supervisor
Thesis advisor: Ternovska, Eugenia
Member of collection
Download file Size
etd9392_HLiu.pdf 1.07 MB

Views & downloads - as of June 2023

Views: 0
Downloads: 0