This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems
Feb. 1986 (vol. 12 no. 2)
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.
Index Terms:
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
Citation:
Gerald Estrin, Robert S Fenchel, Rami R. Razouk, Mary K. Vernon, "SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems," IEEE Transactions on Software Engineering, vol. 12, no. 2, pp. 293-311, Feb. 1986, doi:10.1109/TSE.1986.6312945
Usage of this product signifies your acceptance of the Terms of Use.