Login | Register

A Categorical Approach to Verifying Consistency in Concurrent Systems

Title:

A Categorical Approach to Verifying Consistency in Concurrent Systems

Zhu, Ming (2016) A Categorical Approach to Verifying Consistency in Concurrent Systems. PhD thesis, Concordia University.

[img]
Preview
Text (application/pdf)
Zhu_PhD_F2016.pdf - Accepted Version
Available under License Spectrum Terms of Access.
4MB

Abstract

A concurrent system involves several executing components. Such a system usually allows to carry out multiple tasks at the same time, which can speed up the computational work of software substantially. The recent research findings demonstrate that process-oriented programming languages provide a suitable means for developing concurrent systems. However, design and implementation are at different levels of abstraction in software development process. It is challenging to incorporate knowledge and experience to control the consistency between these phases in developing concurrent systems. The potential inconsistencies arising would introduce errors to the production of concurrent systems, which would prove fatal to the systems in areas with zero tolerance for failure.

To tackle such a challenge, the goal of this research is to propose an innovative categorical framework for designing, implementing and verifying the consistency of communications. This framework is inspired by Hoare's vision of category theory and obtained research results towards validating the vision. In this framework, Communicating Sequential Processes(CSP) and Erasmus are used for design and implementation. In addition, abstract interpretation is employed to extract process communications from implementation. Furthermore, several novel rules to analyze semantics of abstraction of implementation are proposed for Erasmus. Finally, category theory is utilized as an innovative means to model and verify consistency of process communications. The framework is illustrated by using several running examples.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (PhD)
Authors:Zhu, Ming
Institution:Concordia University
Degree Name:Ph. D.
Program:Computer Science
Date:14 September 2016
Thesis Supervisor(s):Ormandjieva, Olga and Grogono, Peter
ID Code:981810
Deposited By: MING ZHU
Deposited On:09 Nov 2016 14:41
Last Modified:18 Jan 2018 17:53
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Back to top Back to top