Multiformalism modeling compositionality in SIMTHESys

Risultato della ricerca: Contributo in libroChapter


Multiformalism has emerged as a sound technique to define a complex system as the composition of a set of Sub-Components, each one modeled according to the Best-Suited formalism. Existing literature offers a wide choice of frameworks and tools that exploit model composition following different approaches. This chapter provides an insight into the composition approach used by SIMTHESys (a framework for the development of modeling languages and the solution of multiformalism models) in order to compose easily and consistently primitives belonging to different (custom) modeling languages. A case study is presented to illustrate the effectiveness of the proposed composition formalism.
Lingua originaleEnglish
Titolo della pubblicazione ospiteTheory and Application of Multi-Formalism Modeling
EditorItaly) and Mauro Iacono (Seconda Università degli Studi di Napoli, Italy) Marco Gribaudo (Politecnico di Milano
Numero di pagine23
Stato di pubblicazionePubblicato - 2013


  • Multiformalism


Entra nei temi di ricerca di 'Multiformalism modeling compositionality in SIMTHESys'. Insieme formano una fingerprint unica.

Cita questo