The Community for Technology Leaders
Green Image
Issue No. 02 - Feb. (1986 vol. 12)
ISSN: 0098-5589
pp: 293-311
Gerald Estrin , Department of Computer Science, University of California, Los Angeles, CA 90024
Robert S Fenchel , Department of Computer Science, University of Wisconsin-Madison, Madison, WI 53706
Rami R. Razouk , Department of Information and Computer Science, University of California, Irvine, CA 92664
Mary K. Vernon , Department of Computer Science, University of Wisconsin-Madison, Madison, WI 53706
An environment to support designers in the modeling, analysis, and simulation of concurrent systems is described. It is shown how a fully nested structure model supports multilevel design and focuses attention on the interfaces between the modules which serve to encapsulate behavior. Using simple examples the paper indicates how a formal graph model can be used to model behavior in three domains: control flow, data flow, and interpretation. The effectiveness of the explicit environment model in SARA is discussed and the capability to analyze correctness and evaluate performance of a system model are demonstrated. A description of the integral help designed into SARA shows how the designer can be offered consistent use of any new tool introduced to support the design process.
Analytical models, Data models, Manuals, Semantics, User interfaces, Grammar, Syntactics, reachability analysis, Concurrent systems, graph models, hierarchical design, integral help, interactive simulation, performance models, queueing models

G. Estrin, R. S. Fenchel, R. R. Razouk and M. K. Vernon, "SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems," in IEEE Transactions on Software Engineering, vol. 12, no. , pp. 293-311, 1986.
87 ms
(Ver 3.3 (11022016))