The influence of the formal description technique LOTOS on concurrent system design

P.N. Taylor, D.E. Smith

    Research output: Book/ReportOther report

    86 Downloads (Pure)

    Abstract

    In this paper we investigate the applicability of the formal description language LOTOS for specifying a concurrent system. We are particularly interested in how a specifier might capture a system's requirements, given LOTOS as a choice of target formal description language. We show how a LOTOS specification can be modularised using encapsulated processes. A simple case study is introduced, specified using LOTOS. Questions about different design issues concerning process composition with regard to capturing the required behaviour of the case study system are then raised, together with possible solutions.
    Original languageEnglish
    PublisherUniversity of Hertfordshire
    Publication statusPublished - 1994

    Publication series

    NameUH Computer Science Technical Report
    PublisherUniversity of Hertfordshire
    Volume203

    Fingerprint

    Dive into the research topics of 'The influence of the formal description technique LOTOS on concurrent system design'. Together they form a unique fingerprint.

    Cite this