Defining Formalisms for Performance Evaluation With SIMTHESys

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