Concurrent semantics for structured design methods

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.