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.
|Titolo:||Exploiting product forms solution techniques in multiformalism modeling|
|Data di pubblicazione:||2013|
|Appare nelle tipologie:||2.1 Articolo su rivista |
File in questo prodotto: