By Topic

Visualization of analysis results in the ProC/B toolset

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Arns, M. ; Informatik IV, Dortmund Univ., Germany ; Fischer, M. ; Tepper, C. ; Volker, M.

The ProC/B modeling notation adopts a process-oriented and hierarchical view on systems 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 how enhanced results can be incorporated into the graphical ProC/B model representation. In this paper, results comprise deadlocks and performance figures.

Published in:

Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. First International Conference on the

Date of Conference:

27-30 Sept. 2004