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