Defining Formalisms for Performance Evaluation With SIMTHESys | Zendy

Enrico Barbierato | Zendy; Marco Gribaudo | Zendy; Mauro Iacono | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Defining Formalisms for Performance Evaluation With SIMTHESys

Author(s) -

Enrico Barbierato,

Marco Gribaudo,

Mauro Iacono

Publication year - 2011

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2011.09.004

Subject(s) - rotation formalisms in three dimensions , computer science , formalism (music) , reusability , programming language , personalization , extensibility , theoretical computer science , software engineering , software , mathematics , art , musical , geometry , world wide web , visual arts

Tools for the analysis and modeling of complex systems must be able to support the extensibility of formalisms, reusability of models and customization of formalism compositions. From this perspective, SIMTHESys (Structured Infrastructure for Multiformalism modeling and Testing of Heterogeneous formalisms and Extensions for SYStems) is a new approach to the specification of performability oriented formalisms and the evaluation of models. Its originality emerges from the explicit definition of both syntax and evolution semantics of the considered formalism elements. The solution of models is made possible by using a set of non-specialized solving engines used to generate automatically formalism-specific reusable solvers. This paper explains how formalisms can be created in SIMTHESys by showing how three widely known modeling languages are successfully implemented

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research