Reasoning with constraint diagrams: summary of PhD thesis

Gem Stapleton

Research output: Other contributionResearch

Abstract

Constraint diagrams are designed for the formal specification of software systems. However, their applications are broader than this since constraint diagrams are a logic that can be used in any formal setting. This document summarizes the main results presented in my PhD thesis, the focus of which is on a fragment of the constraint diagram language, called spider diagrams, and constraint diagrams themselves. In the thesis, sound and complete systems of spider diagrams and constraint diagrams are presented and the expressiveness of the spider diagram language is established.
Original languageEnglish
PublisherUniversity of Brighton
Publication statusPublished - 2004

Fingerprint

Acoustic waves
Formal specification

Keywords

  • Visual languages, constraint diagrams, spider diagrams

Cite this

Stapleton, G. (2004). Reasoning with constraint diagrams: summary of PhD thesis. University of Brighton.
Stapleton, Gem. / Reasoning with constraint diagrams: summary of PhD thesis. 2004. University of Brighton.
@misc{73bca3f1bcb8446192a29f33408caf2a,
title = "Reasoning with constraint diagrams: summary of PhD thesis",
abstract = "Constraint diagrams are designed for the formal specification of software systems. However, their applications are broader than this since constraint diagrams are a logic that can be used in any formal setting. This document summarizes the main results presented in my PhD thesis, the focus of which is on a fragment of the constraint diagram language, called spider diagrams, and constraint diagrams themselves. In the thesis, sound and complete systems of spider diagrams and constraint diagrams are presented and the expressiveness of the spider diagram language is established.",
keywords = "Visual languages, constraint diagrams, spider diagrams",
author = "Gem Stapleton",
year = "2004",
language = "English",
publisher = "University of Brighton",
type = "Other",

}

Stapleton, G 2004, Reasoning with constraint diagrams: summary of PhD thesis. University of Brighton.

Reasoning with constraint diagrams: summary of PhD thesis. / Stapleton, Gem.

University of Brighton. 2004, .

Research output: Other contributionResearch

TY - GEN

T1 - Reasoning with constraint diagrams: summary of PhD thesis

AU - Stapleton, Gem

PY - 2004

Y1 - 2004

N2 - Constraint diagrams are designed for the formal specification of software systems. However, their applications are broader than this since constraint diagrams are a logic that can be used in any formal setting. This document summarizes the main results presented in my PhD thesis, the focus of which is on a fragment of the constraint diagram language, called spider diagrams, and constraint diagrams themselves. In the thesis, sound and complete systems of spider diagrams and constraint diagrams are presented and the expressiveness of the spider diagram language is established.

AB - Constraint diagrams are designed for the formal specification of software systems. However, their applications are broader than this since constraint diagrams are a logic that can be used in any formal setting. This document summarizes the main results presented in my PhD thesis, the focus of which is on a fragment of the constraint diagram language, called spider diagrams, and constraint diagrams themselves. In the thesis, sound and complete systems of spider diagrams and constraint diagrams are presented and the expressiveness of the spider diagram language is established.

KW - Visual languages, constraint diagrams, spider diagrams

M3 - Other contribution

PB - University of Brighton

ER -