University of Hertfordshire Research Archive

        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UHRABy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

        Arkivum Files

        My Downloads
        View Item 
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item
        • UHRA Home
        • University of Hertfordshire
        • Research publications
        • View Item

        A case study for generic processes and reusability in LOTOS

        View/Open
        Final Published version (PDF, 1Mb)
        Final Published version (PDF, 1Mb)
        Author
        Taylor, P.N.
        Smith, D.E.
        Attention
        2299/4893
        Abstract
        The benefits of reusability have been widely documented and commented upon. When processes exhibit similar behaviour the possibilities for generic process specification exist. It is possible to construct process specifications by instantiating generic process descriptions. In this paper we investigate the identification and specification of reusable components using the formal specification technique (FDT) LOTOS. We discuss the semantics of reusability as defined in LOTOS and apply them to a case study problem. We specify a simple control system for use within a greenhouse environment and concentrate upon the identification and specification of generic, reusable processes found within the case study system.
        Publication date
        1994
        Other links
        http://hdl.handle.net/2299/4893
        Relations
        School of Computer Science
        Metadata
        Show full item record
        Keep in touch

        © 2018 University of Hertfordshire

        I want to...

        • Apply for a course
        • Download a Prospectus
        • Find a job at the University
        • Make a complaint
        • Contact the Press Office

        Go to...

        • Accommodation booking
        • Your student record
        • Bayfordbury
        • KASPAR
        • UH Arts

        The small print

        • Terms of use
        • Privacy and cookies
        • Criminal Finances Act 2017
        • Modern Slavery Act 2015
        • Sitemap

        Find/Contact us

        • T: +44 (0)1707 284000
        • E: ask@herts.ac.uk
        • Where to find us
        • Parking
        • hr
        • qaa
        • stonewall
        • AMBA
        • ECU Race Charter
        • disability confident
        • AthenaSwan