eCite Digital Repository

Concurrent semantics for structured design methods


Nixon, Paddy and Shi, Lihua, Concurrent semantics for structured design methods, Software engineering for parallel and distributed systems: Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering , March 1996, Berlin, pp. 158-169. ISBN 9780412757402 (1996) [Refereed Conference Paper]

Not available

Copyright Statement

Copyright 1996 Chapman & Hall

Official URL:


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. Specifcally, it ensures that concurrent and real-time properties of the design can be captured and analysed. This paper concentrates on the concurrent properties.

Item Details

Item Type:Refereed Conference Paper
Research Division:Information and Computing Sciences
Research Group:Distributed computing and systems software
Research Field:Concurrent/parallel systems and technologies
Objective Division:Information and Communication Services
Objective Group:Information systems, technologies and services
Objective Field:Information systems, technologies and services not elsewhere classified
UTAS Author:Nixon, Paddy (Professor Paddy Nixon)
ID Code:69370
Year Published:1996
Deposited By:Research Division
Deposited On:2011-04-20
Last Modified:2012-11-27

Repository Staff Only: item control page