Notizie
18/02/2011
Scadenza:
21/02/2011
Avviso di Seminario
Lunedi' 21 febbraio dalle 10 alle 11 in sala seminari, Enrico Barbierato (dottorando prof. Andrea Bobbio, co-relatore di tesi Dr. Marco Gribaudo) terrà un seminario sul lavoro che sta sviluppando come tesi di dottorato dal titolo: SIMTHESys (Structured Infrastructure for Multiformalism modeling and Testing of Heterogeneous formalisms and Extensions for SYStems)
?
Abstract: SIMTHESys (Structured Infrastructure for Multiformalism modeling and Testing of Heterogeneous formalisms and Extensions for SYStems): is a novel approach to multiformalism compositional modeling, that is based on the possibility of freely specifying the dynamics of the elements of a formal modeling language in an open framework. This is obtained by the application of consolidated metamodeling foundations to the description of models, together with the concept of behavior as a bridge between formalism dynamics and solution techniques. In this seminar the main concepts of the SIMTHESys approach are presented, together with an example of how SIMTHESys works with performance evaluation of multiformalism models.