Exploiting product forms solution techniques in multiformalism modeling

Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Andrea Marin, Gian-Luca De Rossi

Risultato della ricerca: Contributo in rivistaArticolo in rivista

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.
Lingua originaleEnglish
pagine (da-a)61-77
Numero di pagine17
RivistaElectronic Notes in Theoretical Computer Science
Volume296
DOI
Stato di pubblicazionePubblicato - 2013

Keywords

  • Multiformalism modeling, product-form solution, compositionality, performance evaluatio

Fingerprint

Entra nei temi di ricerca di 'Exploiting product forms solution techniques in multiformalism modeling'. Insieme formano una fingerprint unica.

Cita questo