Concurrent semantics for structured design methods

Patrick Nixon, Lihua Shi

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    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.
    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 - 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 → …

    Fingerprint

    Semantics
    Real time systems

    Keywords

    • n/a

    Cite this

    Nixon, P., & Shi, L. (1996). Concurrent semantics for structured design methods. In I. G. A. P. C. I Jelly (Ed.), Unknown Host Publication (pp. 158-169). Chapman and Hall Medical.
    Nixon, Patrick ; Shi, Lihua. / Concurrent semantics for structured design methods. Unknown Host Publication. editor / I Gorton and P Croll I Jelly. Chapman and Hall Medical, 1996. pp. 158-169
    @inproceedings{e71f6207a1ca46d19cf2f883a66edc78,
    title = "Concurrent semantics for structured design methods",
    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.",
    keywords = "n/a",
    author = "Patrick Nixon and Lihua Shi",
    year = "1996",
    language = "English",
    isbn = "9780412757402",
    pages = "158--169",
    editor = "{I Jelly}, {I Gorton and P Croll}",
    booktitle = "Unknown Host Publication",
    publisher = "Chapman and Hall Medical",
    address = "United Kingdom",

    }

    Nixon, P & Shi, L 1996, Concurrent semantics for structured design methods. in IGAPC I Jelly (ed.), Unknown Host Publication. Chapman and Hall Medical, pp. 158-169, Software engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, 1/01/96.

    Concurrent semantics for structured design methods. / Nixon, Patrick; Shi, Lihua.

    Unknown Host Publication. ed. / I Gorton and P Croll I Jelly. Chapman and Hall Medical, 1996. p. 158-169.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    TY - GEN

    T1 - Concurrent semantics for structured design methods

    AU - Nixon, Patrick

    AU - Shi, Lihua

    PY - 1996

    Y1 - 1996

    N2 - 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.

    AB - 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.

    KW - n/a

    M3 - Conference contribution

    SN - 9780412757402

    SP - 158

    EP - 169

    BT - Unknown Host Publication

    A2 - I Jelly, I Gorton and P Croll

    PB - Chapman and Hall Medical

    ER -

    Nixon P, Shi L. Concurrent semantics for structured design methods. In I Jelly IGAPC, editor, Unknown Host Publication. Chapman and Hall Medical. 1996. p. 158-169