loading...
Visualization of Analysis Results in the ProC/B Toolset
Enschede, the Netherlands September 27-September 30
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2004.10005The Quantitative Evaluation of System ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
M. Arns, Universit?t Dortmund, Germany
M. Fischer, Universit?t Dortmund, Germany
C. Tepper, Universit?t Dortmund, Germany
M. V?lker, Universit?t Dortmund, Germany
The ProC/B modeling notation adopts a process-oriented and hierarchical view on systems [1] and is tailored to the performance modeling of large logistic networks. The ProC/B toolset provides an integrated user interface for graphical model specification and for controlling subsequent analysis. ProC/B modeling is oriented towards logistics networks, but independent of any particular analytical model representation and accompanying analysis techniques. Thus the toolset gives a coherent starting point to different analysis techniques. In this paper, we focus on how model results can be further processed and enhanced to the level at which the model was originally built (ProC/B) and howenhanced results can be incorporated into the graphical ProC/B model representation.
Citation:
M. Arns, M. Fischer, C. Tepper, M. V?lker, "Visualization of Analysis Results in the ProC/B Toolset," qest, pp.318-319, The Quantitative Evaluation of Systems, First International Conference on (QEST'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.