Concurrent semantics for structured design methods

Patrick Nixon, Lihua Shi

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Abstract

    Design methods can be ambiguous due to different interpretations of symbols or concepts. This paper presents a formal semantics for the Ward/Mellor Structured Analysis Method for Real Time systems. These semantics ensures that an unambiguous meaning can be attributed to a particular design. Specifically, it ensures that concurrent and real-time properties of the design can be captured and analysed. This paper concentrates on the concurrent properties.
    Original languageEnglish
    Title of host publicationUnknown Host Publication
    EditorsI Gorton and P Croll I Jelly
    PublisherChapman and Hall Medical
    Pages158-169
    Number of pages12
    ISBN (Print)9780412757402
    Publication statusPublished (in print/issue) - 1996
    EventSoftware engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering - Berlin
    Duration: 1 Jan 1996 → …

    Conference

    ConferenceSoftware engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering
    Period1/01/96 → …

    Keywords

    • n/a

    Fingerprint

    Dive into the research topics of 'Concurrent semantics for structured design methods'. Together they form a unique fingerprint.

    Cite this