CSP++ : an object-oriented application framework for software synthesis from CSP specifications

Show simple item record

dc.contributor.author Gardner, William Bennett
dc.date.accessioned 2018-05-09T18:29:02Z
dc.date.available 2018-05-09T18:29:02Z
dc.date.copyright 1999 en_US
dc.date.issued 2018-05-09
dc.identifier.uri https://dspace.library.uvic.ca//handle/1828/9350
dc.description.abstract One of the useful formalisms for designing concurrent systems is the process algebra called CSP, or Communicating Sequential Processes. CSP statements can be used to model a system's control and data flow in an intuitive way, constituting a kind of hierarchical behavioral specification. Furthermore, when coupled with simulation and model-checking tools, these statements can be executed and debugged until the desired behavior has been accurately captured. Certain properties (such as absence of deadlocks) can be proved, to help verify the correctness of the design. To make the verified specifications executable in a practical sense, refinement to a programming language is required. In this work, an new object-oriented application framework is described which realizes the basic elements of CSP—processes, synchronizing events, and communication channels—in natural terms as C++ objects. In addition, a new software tool is provided to customize the framework by translating CSP statements into invocations of the framework elements. CSP specifications, thus reexpressed in C++ and compiled, form the control portion of a system, able to be linked with other software written in C++ that completes the functionality. en_US
dc.language English eng
dc.language.iso en en_US
dc.rights Available to the World Wide Web en_US
dc.subject Computer programming en_US
dc.subject Parallel processing (Electronic computers) en_US
dc.title CSP++ : an object-oriented application framework for software synthesis from CSP specifications en_US
dc.type Thesis en_US
dc.contributor.supervisor Serra, Micaela
dc.degree.department Department of Computer Science en_US
dc.degree.level Doctor of Philosophy Ph.D. en_US
dc.description.scholarlevel Graduate en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UVicSpace


My Account