Bustard, D.W. and Norris, M.T. and Orr, R.A. and Winstanley, Adam C.
(1992)
An Exercise in Formalizing the Description
of a Concurrent System.
Software: Practice and Experience, 22 (12).
pp. 1069-1098.
ISSN 1097-024X
Abstract
LOTOS is one of the most recent formal description languages to appear and one of very few with a
standard definition. It has both a process algebra and an abstract data-type component, and these
facilities are used in combination to describe the behaviour of concurrent systems. The purpose of this
paper is to examine, in a tutorial style, what is involved in constructing and taking benefit from such
descriptions. The presentation is illustrated through the development of two formal descriptions for the
children’s game of pass-the-parcel. These descriptions and a concise summary of the main features of
LOTOS are given as appendices. Many of the points made in the paper apply equally well to other
process-oriented languages such as CCS and CSP.
| Item Type: |
Article
|
| Keywords: |
Formal description; Specification styles; Concurrency Process algebra; Abstract data types;
LOTOS; |
| Academic Unit: |
Faculty of Science and Engineering > Computer Science |
| Item ID: |
10385 |
| Identification Number: |
https://doi.org/10.1002/spe.4380221204 |
| Depositing User: |
Dr. Adam Winstanley
|
| Date Deposited: |
07 Jan 2019 15:52 |
| Journal or Publication Title: |
Software: Practice and Experience |
| Publisher: |
John Wiley & Sons |
| Refereed: |
Yes |
| URI: |
|
| Use Licence: |
This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available
here |
Repository Staff Only(login required)
 |
Item control page |
Downloads per month over past year
Origin of downloads
Altmetric
Altmetric