|
ABSTRACT
ESML (Extended Systems Modeling Language) is a new system modeling language based on the Ward-Mellor and Boeing structured methods techniques, both of which have proposed certain extensions of the DeMarco data flow diagram notation to capture control and timing information. The combined notation has a broad range of mechanisms for describing both combinatorial and sequential control logic.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
|
| |
3
|
M. Webb and P. Ward, "Executable Data Flow Diagrams: an Experimental Implementation," <i>Structured Development Forum</i>, Seattle, August 1986.
|
| |
4
|
Research Triangle Institute, "An ADAS Application: The Bottling Factory," 1987.
|
| |
5
|
E. Reilly and J. Brackett, "An Experimental System for Executing Real-Time Structured Analysis Models," <i>Proceedings, Twelfth Structured Methods Conference</i>, Chicago, August 1987, pp. 301--314.
|
| |
6
|
D. Hatley, "The Use of Structured Methods in the Development of Large Software-Based Avionics Systems," <i>AIAA/IEEE 6th Digital Avionics Conference</i>, Baltimore, 1984.
|
| |
7
|
P. Ward and D. Keskar, "A Comparison of the Ward/Mellor and Boeing/Hatley Real-Time Methods," <i>Proceedings, Twelfth Structured Methods Conference</i>, Chicago, August 1987, pp. 356--366.
|
| |
8
|
|
| |
9
|
D. Harel, "Statecharts: A Visual Approach to Complex Systems," Report No. CS86--02, Department of Applied Mathematics, Weizmann Institute, March 1986.
|
|