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 graphical representation for communicating sequential processes

        View/Open
        CSTR 314.pdf (PDF, 3Mb)
        Author
        Kutar, M.
        Britton, C.
        Jones, S.
        Attention
        2299/5314
        Abstract
        The use of formal notations has many advantages in the specification of interactive systems. However, validating specifications written using formal notations is generally difficult as these specifications are often hard to understand for those less familiar with such notations. Whilst it is widely acknowledged that users should be involved in validating requirements in order both to check that a specification says what they intended it to say, and to assist developers in refining requirements relating to the usability of the system, most users are not familiar with the formal notations used by software engineers and cannot realistically be expected to validate formal specifications in their raw state. One notation which has been found to be useful in specifying the behaviour of interactive systems is CSP (Communicating Sequential Processes). This paper presents a graphical representation of CSP which has been designed with the intention of making it easier to understand, and hence validate, specifications written in CSP. This graphical representation has been evaluated by a range of potential users, and refined in the light of their comments. The resulting representation is also analysed in terms of notational properties derived from Green’s work on cognitive dimensions. Directions for further work are discussed.
        Publication date
        1997
        Other links
        http://hdl.handle.net/2299/5314
        Metadata
        Show full item record
        Keep in touch

        © 2019 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