No Cover Image

E-Thesis 34248 views 104 downloads

Tool support for CSP-CASL. / Andy Gimblett

Swansea University Author: Andy Gimblett

Abstract

This work presents the design of the specification language CSP-CASL, and the design and implementation of parsing and static analysis tools for that language. CSP-CASL is an extension of the algebraic specification language CASL, adding support for the specification of reactive systems in the style...

Full description

Published: 2008
Institution: Swansea University
Degree level: Master of Philosophy
Degree name: M.Phil
URI: https://cronfa.swan.ac.uk/Record/cronfa42715
first_indexed 2018-08-02T18:55:22Z
last_indexed 2019-10-21T16:48:20Z
id cronfa42715
recordtype RisThesis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2018-08-16T14:39:02.9105634</datestamp><bib-version>v2</bib-version><id>42715</id><entry>2018-08-02</entry><title>Tool support for CSP-CASL.</title><swanseaauthors><author><sid>c998155468901d1970ac7b892cf01286</sid><ORCID>NULL</ORCID><firstname>Andy</firstname><surname>Gimblett</surname><name>Andy Gimblett</name><active>true</active><ethesisStudent>true</ethesisStudent></author></swanseaauthors><date>2018-08-02</date><abstract>This work presents the design of the specification language CSP-CASL, and the design and implementation of parsing and static analysis tools for that language. CSP-CASL is an extension of the algebraic specification language CASL, adding support for the specification of reactive systems in the style of the process algebra CSP. While CSP-CASL has been described and used in previous works, we present the first formal description of the language's syntax and static semantics. Indeed, this is the first formalisation of the static semantics of any CSP-like language of which we are aware. We describe Csp-Casl both informally and formally. We introduce and systematically describe its various components, with examples, and consider various design decisions made along the way. On the formal side, we present grammars for its abstract and concrete syntax, specify its static semantics in the style of natural semantics, and formulate a solution to the problem of computation of local lop elements of Csp-Casl specifications. Going on, we describe tool support for the language, as implemented using the functional programming language Haskell, in particular, we have a parser utilising the monadic combinator library Parsec, and a static analyser directly implementing our static semantics in Haskell. The implementation extends Hets, an existing toolset for specifications written in heterogeneous combinations of languages based on Casl.</abstract><type>E-Thesis</type><journal/><journalNumber></journalNumber><paginationStart/><paginationEnd/><publisher/><placeOfPublication/><isbnPrint/><issnPrint/><issnElectronic/><keywords>Computer science.</keywords><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2008</publishedYear><publishedDate>2008-12-31</publishedDate><doi/><url/><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><institution>Swansea University</institution><degreelevel>Master of Philosophy</degreelevel><degreename>M.Phil</degreename><apcterm/><lastEdited>2018-08-16T14:39:02.9105634</lastEdited><Created>2018-08-02T16:24:30.2114013</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Andy</firstname><surname>Gimblett</surname><orcid>NULL</orcid><order>1</order></author></authors><documents><document><filename>0042715-02082018162516.pdf</filename><originalFilename>10807484.pdf</originalFilename><uploaded>2018-08-02T16:25:16.2470000</uploaded><type>Output</type><contentLength>6469024</contentLength><contentType>application/pdf</contentType><version>E-Thesis</version><cronfaStatus>true</cronfaStatus><embargoDate>2018-08-02T16:25:16.2470000</embargoDate><copyrightCorrect>false</copyrightCorrect></document></documents><OutputDurs/></rfc1807>
spelling 2018-08-16T14:39:02.9105634 v2 42715 2018-08-02 Tool support for CSP-CASL. c998155468901d1970ac7b892cf01286 NULL Andy Gimblett Andy Gimblett true true 2018-08-02 This work presents the design of the specification language CSP-CASL, and the design and implementation of parsing and static analysis tools for that language. CSP-CASL is an extension of the algebraic specification language CASL, adding support for the specification of reactive systems in the style of the process algebra CSP. While CSP-CASL has been described and used in previous works, we present the first formal description of the language's syntax and static semantics. Indeed, this is the first formalisation of the static semantics of any CSP-like language of which we are aware. We describe Csp-Casl both informally and formally. We introduce and systematically describe its various components, with examples, and consider various design decisions made along the way. On the formal side, we present grammars for its abstract and concrete syntax, specify its static semantics in the style of natural semantics, and formulate a solution to the problem of computation of local lop elements of Csp-Casl specifications. Going on, we describe tool support for the language, as implemented using the functional programming language Haskell, in particular, we have a parser utilising the monadic combinator library Parsec, and a static analyser directly implementing our static semantics in Haskell. The implementation extends Hets, an existing toolset for specifications written in heterogeneous combinations of languages based on Casl. E-Thesis Computer science. 31 12 2008 2008-12-31 COLLEGE NANME Computer Science COLLEGE CODE Swansea University Master of Philosophy M.Phil 2018-08-16T14:39:02.9105634 2018-08-02T16:24:30.2114013 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Andy Gimblett NULL 1 0042715-02082018162516.pdf 10807484.pdf 2018-08-02T16:25:16.2470000 Output 6469024 application/pdf E-Thesis true 2018-08-02T16:25:16.2470000 false
title Tool support for CSP-CASL.
spellingShingle Tool support for CSP-CASL.
Andy Gimblett
title_short Tool support for CSP-CASL.
title_full Tool support for CSP-CASL.
title_fullStr Tool support for CSP-CASL.
title_full_unstemmed Tool support for CSP-CASL.
title_sort Tool support for CSP-CASL.
author_id_str_mv c998155468901d1970ac7b892cf01286
author_id_fullname_str_mv c998155468901d1970ac7b892cf01286_***_Andy Gimblett
author Andy Gimblett
author2 Andy Gimblett
format E-Thesis
publishDate 2008
institution Swansea University
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 1
active_str 0
description This work presents the design of the specification language CSP-CASL, and the design and implementation of parsing and static analysis tools for that language. CSP-CASL is an extension of the algebraic specification language CASL, adding support for the specification of reactive systems in the style of the process algebra CSP. While CSP-CASL has been described and used in previous works, we present the first formal description of the language's syntax and static semantics. Indeed, this is the first formalisation of the static semantics of any CSP-like language of which we are aware. We describe Csp-Casl both informally and formally. We introduce and systematically describe its various components, with examples, and consider various design decisions made along the way. On the formal side, we present grammars for its abstract and concrete syntax, specify its static semantics in the style of natural semantics, and formulate a solution to the problem of computation of local lop elements of Csp-Casl specifications. Going on, we describe tool support for the language, as implemented using the functional programming language Haskell, in particular, we have a parser utilising the monadic combinator library Parsec, and a static analyser directly implementing our static semantics in Haskell. The implementation extends Hets, an existing toolset for specifications written in heterogeneous combinations of languages based on Casl.
published_date 2008-12-31T01:47:18Z
_version_ 1822092939045634048
score 11.048302

Similar Items