TY - JOUR
T1 - Exploiting product forms solution techniques in multiformalism modeling
AU - Barbierato, Enrico
AU - Gribaudo, Marco
AU - Iacono, Mauro
AU - Marin, Andrea
AU - Rossi, Gian-Luca De
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
KW - Multiformalism modeling, product-form solution, compositionality, performance evaluatio
KW - Multiformalism modeling, product-form solution, compositionality, performance evaluatio
UR - http://hdl.handle.net/10807/154417
U2 - http://dx.doi.org/10.1016/j.entcs.2013.07.005
DO - http://dx.doi.org/10.1016/j.entcs.2013.07.005
M3 - Article
SN - 1571-0661
VL - 296
SP - 61
EP - 77
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
ER -