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.
|Titolo della pubblicazione ospite||Theory and Application of Multi-Formalism Modeling|
|Editor||Italy) and Mauro Iacono (Seconda Università degli Studi di Napoli, Italy) Marco Gribaudo (Politecnico di Milano|
|Numero di pagine||23|
|Stato di pubblicazione||Pubblicato - 2013|