Lancaster EPrints

An introduction to LOTOS through a worked example.

Drayton, Lynne D. and Chetwynd, Amanda G. and Blair, Gordon S. (1992) An introduction to LOTOS through a worked example. Computer Communications, 15 (2). pp. 70-85.

Full text not available from this repository.

Abstract

The practical application of formal description techniques (FDT) is becoming increasingly important in computing. However, there remains a gulf in the literature between the language of application developers and the more theoretical language often used to describe formal methods. The aim of this paper is to try to bridge this gap by introducing the formal description technique LOTOS in a non-theoretical manner. The main features of LOTOS are introduced through a worked example, a specification of a multi-way phone system. This example was chosen because the specification is compact and yet is sufficiently complex to introduce most LOTOS features. Furthermore, the protocols involved in a multi-way phone are intuitive. The paper also stresses the importance of supporting tools in the development of formal specifications and presents two tools, namely SEDOS and CAESAR/ALDÉBARAN, and explains why they are important in the specification process.

Item Type: Article
Journal or Publication Title: Computer Communications
Uncontrolled Keywords: formal description techniques ; LOTOS ; protocols
Subjects: Q Science > QA Mathematics
Departments: Faculty of Science and Technology > Mathematics and Statistics
VC's Office
Faculty of Science and Technology > School of Computing & Communications
ID Code: 21028
Deposited By: Prof Amanda Chetwynd
Deposited On: 09 Dec 2008 10:30
Refereed?: No
Published?: Published
Last Modified: 26 Jul 2012 15:42
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/21028

Actions (login required)

View Item