Concurrent semantics for structured design methods

Patrick Nixon; Lihua Shi

Concurrent semantics for structured design methods

Patrick Nixon
, Lihua Shi

Computer Science and Informatics Research

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Unknown Host Publication
Editors	I Gorton and P Croll I Jelly
Publisher	Chapman and Hall Medical
Pages	158-169
Number of pages	12
ISBN (Print)	9780412757402
Publication status	Published (in print/issue) - 1996
Event	Software 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

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

Keywords

n/a

Access to Document

Cite this

@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",

note = "Software engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering ; Conference date: 01-01-1996",

}

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. <http://ecite.utas.edu.au/69370>

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

T2 - Software engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering

Y2 - 1 January 1996

ER -

Concurrent semantics for structured design methods

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this