Skip to main content

A methodology for formal expression of hierarchy in model solution

Publication ,  Conference
Malhotra, M; Trivedi, KS
Published in: Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993
January 1, 1993

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.

Duke Scholars

Published In

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

DOI

Publication Date

January 1, 1993

Start / End Page

258 / 267
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Malhotra, M., & Trivedi, K. S. (1993). A methodology for formal expression of hierarchy in model solution. In Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993 (pp. 258–267). https://doi.org/10.1109/PNPM.1993.393445
Malhotra, M., and K. S. Trivedi. “A methodology for formal expression of hierarchy in model solution.” In Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, 258–67, 1993. https://doi.org/10.1109/PNPM.1993.393445.
Malhotra M, Trivedi KS. A methodology for formal expression of hierarchy in model solution. In: Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993. 1993. p. 258–67.
Malhotra, M., and K. S. Trivedi. “A methodology for formal expression of hierarchy in model solution.” Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, 1993, pp. 258–67. Scopus, doi:10.1109/PNPM.1993.393445.
Malhotra M, Trivedi KS. A methodology for formal expression of hierarchy in model solution. Proceedings of 5th International Workshop on Petri Nets and Performance Models, PNPM 1993. 1993. p. 258–267.

Published In

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

DOI

Publication Date

January 1, 1993

Start / End Page

258 / 267