The formal semantics of a domain-specific modelling language
The Specification and Description Language (SDL) was developed by the telecommunications industry as a common language for the design of asynchronous communicating systems. Designs expressed in SDL can be given a formal, mathematical interpretation to facilitate analysis and to guide correct impleme...
| मुख्य लेखक: | |
|---|---|
| अन्य लेखक: | |
| स्वरूप: | थीसिस |
| भाषा: | English |
| प्रकाशित: |
2010
|
| विषय: |
| _version_ | 1826280338618318848 |
|---|---|
| author | Grealish, C |
| author2 | Davies, J |
| author_facet | Davies, J Grealish, C |
| author_sort | Grealish, C |
| collection | OXFORD |
| description | The Specification and Description Language (SDL) was developed by the telecommunications industry as a common language for the design of asynchronous communicating systems. Designs expressed in SDL can be given a formal, mathematical interpretation to facilitate analysis and to guide correct implementation. The standard formalisation of SDL is adequate for the purposes of language definition, but is not oriented towards either analysis or implementation of specific designs. This thesis investigates alternative approaches to the formalisation of SDL. A specific, constrained version of the language is considered: one more amenable to code generation. A statebased formalisation is presented using the Z notation, together with a process-based account using the language of Communicating Sequential Processes. A more abstract, elegant solution is then proposed, in terms of a calculus of buffered systems, itself given an interpretation using Hoare and He's Unifying Theories of Programming. A case study is presented to demonstrate the practical application of the formalisations. |
| first_indexed | 2024-03-07T00:12:13Z |
| format | Thesis |
| id | oxford-uuid:79a08914-9ab2-4085-9fa7-a2662059e32a |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T00:12:13Z |
| publishDate | 2010 |
| record_format | dspace |
| spelling | oxford-uuid:79a08914-9ab2-4085-9fa7-a2662059e32a2022-03-26T20:38:36ZThe formal semantics of a domain-specific modelling languageThesishttp://purl.org/coar/resource_type/c_bdccuuid:79a08914-9ab2-4085-9fa7-a2662059e32aCommunication Sequential Processing (CSP)Computer science (mathematics)Program development and toolsSoftware engineeringTheory and automated verificationEnglishOxford University Research Archive - Valet2010Grealish, CDavies, JThe Specification and Description Language (SDL) was developed by the telecommunications industry as a common language for the design of asynchronous communicating systems. Designs expressed in SDL can be given a formal, mathematical interpretation to facilitate analysis and to guide correct implementation. The standard formalisation of SDL is adequate for the purposes of language definition, but is not oriented towards either analysis or implementation of specific designs. This thesis investigates alternative approaches to the formalisation of SDL. A specific, constrained version of the language is considered: one more amenable to code generation. A statebased formalisation is presented using the Z notation, together with a process-based account using the language of Communicating Sequential Processes. A more abstract, elegant solution is then proposed, in terms of a calculus of buffered systems, itself given an interpretation using Hoare and He's Unifying Theories of Programming. A case study is presented to demonstrate the practical application of the formalisations. |
| spellingShingle | Communication Sequential Processing (CSP) Computer science (mathematics) Program development and tools Software engineering Theory and automated verification Grealish, C The formal semantics of a domain-specific modelling language |
| title | The formal semantics of a domain-specific modelling language |
| title_full | The formal semantics of a domain-specific modelling language |
| title_fullStr | The formal semantics of a domain-specific modelling language |
| title_full_unstemmed | The formal semantics of a domain-specific modelling language |
| title_short | The formal semantics of a domain-specific modelling language |
| title_sort | formal semantics of a domain specific modelling language |
| topic | Communication Sequential Processing (CSP) Computer science (mathematics) Program development and tools Software engineering Theory and automated verification |
| work_keys_str_mv | AT grealishc theformalsemanticsofadomainspecificmodellinglanguage AT grealishc formalsemanticsofadomainspecificmodellinglanguage |