By Topic

A methodology for formal expression of hierarchy in model solution

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

2 Author(s)
Malhotra, M. ; AT&T Bell Labs, Holmdel, NJ, USA ; Trivedi, K.S.

A methodology for formal specification of hierarchy both in model specification and model solution is presented. Hierarchy is allowed to exist among different model types used in performance and dependability modeling. This offers a lot of flexibility and power to the modeler. The methodology presents a unified view of a variety of modeling techniques such as hierarchical composition, behavioral decomposition, iterative hierarchical modeling, reward-based performability modeling, aggregation, etc. This methodology brings the hierarchical modeling technique(s), based on which the model is constructed, to the fore. The results in a better understanding of the model by the user and it can simplify model validation if need be. Such a methodology would also make the design of modeling toolkits, which allow these modeling techniques, much simpler by presenting a conceptually simpler and unified view of a variety of modeling techniques. The formal expression is also expected to assist the modeler in construction of large, complex models

Published in:

Petri Nets and Performance Models, 1993. Proceedings., 5th International Workshop on

Date of Conference:

19-22 Oct 1993