Exploiting product forms solution techniques in multiformalism modeling

Authors:
Enrico Barbierato;Gian-Luca Dei Rossi;Marco Gribaudo;Mauro Iacono;Andrea Marin
Affiliations:
-;-;-;-;-
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2013

Citing 18
Cited 0

A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets

IEEE Transactions on Software Engineering
AToM3: A Tool for Multi-formalism and Meta-modelling

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
A Toolbox for Functional and Quantitative Analysis of DEDS

TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator

DSN '02 Proceedings of the 2002 International Conference on Dependable Systems and Networks
Turning back time in Markovian process algebra

Theoretical Computer Science
Repairable Fault Tree for the Automatic Evaluation of Repair Policies

DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
SMART: The Stochastic Model checking Analyzer for Reliability and Timing

QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
Separable equilibrium state probabilities via time reversal in Markovian process algebra

Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
An algebraic condition for product form in stochastic automata networks without synchronizations

Performance Evaluation
Stochastic Automata Networks with Master/Slave Synchronization: Product Form and Tensor

ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications
Interfaces and binding in component based development of formal models

Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
A unifying approach to product-forms in networks with finite capacity constraints

Proceedings of the ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Element Based Semantics in Multi Formalism Performance Models

MASCOTS '10 Proceedings of the 2010 IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems
Performability modeling of exceptions-aware systems in multiformalism tools

ASMTA'11 Proceedings of the 18th international conference on Analytical and stochastic modeling techniques and applications
Defining Formalisms for Performance Evaluation With SIMTHESys

Electronic Notes in Theoretical Computer Science (ENTCS)
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Methodological construction of product-form stochastic Petri nets for performance evaluation

Journal of Systems and Software
The SIMTHESys multiformalism modeling framework

Computers & Mathematics with Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multiformalism modeling has shown to be a valuable technique to cope with the complexity of the constraints that apply to specifications of computer-based systems state of the art. Multiformalism techniques help modelers and designers by providing a more (natural and) convenient approach in the specification process and in analysis of performance. Although their application does not necessarily provide an advantage in the solutions of the models, this paper shows how a compositional multiformalism modeling approach can leverage the power of product-form solutions to offer both efficient solution and specification of models for complex systems.