Exploiting product forms solution techniques in multiformalism modeling

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 system

Modeling and analysis of performances for concurrent multithread applications on multicore and graphics processing unit systems

“…The authors deal with the problem of complexity in [13][14][15] and [16] by means of multiformalism techniques in [17,18] and [19] by resorting to mean field analysis-based techniques suitable for systems that are highly modular and regular and have a high number of elements: in both cases, a model hierarchy-based approach has been used with different aims and purposes. In the first group of papers, the hierarchy is used to experiment with component models to obtain the simplest suitable form that will potentially empower the scale up of composed models, by also exploiting the best modeling formalism for each of them, that can guide in the simplification process; in the second group, in which the problem of scaling up is basically not a limit, the hierarchy is used to identify and derive the parameters of basic building blocks.…”

FPGA Implementation of Fuzzy Interpreted Petri Net

“…Mobius Framework is a programming solution, which implements stochastic Petri nets and allows the use of multiple modeling formalisms [11]. SIMTHES [12], is another tool supporting modular approach and multi-formalism modeling. SIMTHES provides means to apply product-form solution theory to multi-formalism compositional modeling techniques.…”

Three Layers Network Influence On Cloud Data Center Performances

“…product forms [29] and Markovian agents [30]) proved to be effective tools to overcome this limit. In this paper Markovian agents are exploited (as in [26], [27] and [28]) for their special suitability in modeling systems with very large number of states with increasing precision.…”