Thesis icon

Thesis

The formal semantics of a domain-specific modelling language

Abstract:

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 invest...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Kellogg College
Role:
Author

Contributors

Division:
MPLS
Department:
Computer Science
Role:
Supervisor
Publication date:
2010
Type of award:
MSc
Level of award:
Masters
Awarding institution:
University of Oxford

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP