MURAL - Maynooth University Research Archive Library



    EXPOSE: an Animation Tool for Process-Oriented Specifications


    Winstanley, Adam C. and Bustard, D.W. (1991) EXPOSE: an Animation Tool for Process-Oriented Specifications. Software Engineering Journal, 6 (6). pp. 463-475. ISSN 0268-6961

    [img]
    Preview
    Download (1MB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    EXPOSE is an animation tool for process-oriented formal specifications of concurrent systems. EXPOSE takes an input the text of a formal specification and, from it, generates static views (interpretations) of the specification structure and dynamic views of the behaviour of the system specified. The views are constructed and explored using the hypermedia facilities of the Apple Macintosh HyperCard system. EXPOSE has been implemented experimentally for LOTOS, but most of the animation concepts and techniques described are relevant to other process-oriented languages, such as CCS and CSP.

    Item Type: Article
    Keywords: Animation; Software requirements and specifications; Hypertext systems; Software tools;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 8082
    Identification Number: https://doi.org/10.1049/sej.1991.0045
    Depositing User: Dr. Adam Winstanley
    Date Deposited: 28 Mar 2017 15:39
    Journal or Publication Title: Software Engineering Journal
    Publisher: IET
    Refereed: Yes
    URI:

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year