Exploiting product forms solution techniques in multiformalism modeling
详细信息 查看全文
- 作者：Enrico Barbierato ; Gian-Luca Dei Rossi ; Marco Gribaudo ; Mauro Iacono ; Andrea Marin
- 关键词：Multiformalism modeling ; product-form solution ; compositionality ; performance evaluation
- 刊名：Electronic Notes in Theoretical Computer Science
- 出版年：2013
- 出版时间：16 August, 2013
- 年：2013
- 卷：296
- 期：Complete
- 页码：61-77
- 全文大小：272 K
文摘
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.