The Library
The LSD notation for communicating systems
Tools
Tools
Tools
Beynon, Meurig (1986) The LSD notation for communicating systems. Coventry, UK: University of Warwick. Department of Computer Science. (Department of Computer Science Research Report). (Unpublished)
|
PDF
WRAP_cs-rr-087.pdf - Requires a PDF viewer. Download (3783Kb) | Preview |
Abstract
The LSD notation is intended for the specification and description of communicating systems of sequential processes. It was originally developed with a semantic model for the CCITT standard language SDL in mind (2]. Like SDL, LSD is primarily conceived as a medium for describing systems at the higher levels of abstraction. A central idea of LSD is the integration of functional and procedural models for synchronisation mechanisms at different levels of abstraction. This integration is based upon the "generalised spreadsheet" or definitive notation paradigm for programming ([3],[4]), and the operational semantics of LSD is defined in terms of dialogue states over such a notation. The paper includes an informal introduction to the notation, together with several illustrative examples. A methodology for the top-down development of LSD specifications for communicating systems is proposed.
| Item Type: | Report | ||||
|---|---|---|---|---|---|
| Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
| Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
| Library of Congress Subject Headings (LCSH): | Programming languages (Electronic computers) -- Semantics | ||||
| Series Name: | Department of Computer Science Research Report | ||||
| Publisher: | University of Warwick. Department of Computer Science | ||||
| Place of Publication: | Coventry, UK | ||||
| Official Date: | November 1986 | ||||
| Dates: |
|
||||
| Number: | Number 87 | ||||
| Number of Pages: | 15 | ||||
| DOI: | CS-RR-087 | ||||
| Institution: | University of Warwick | ||||
| Theses Department: | Department of Computer Science | ||||
| Status: | Not Peer Reviewed | ||||
| Publication Status: | Unpublished | ||||
| Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
Downloads
Downloads per month over past year
