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.
Barbierato, E., Multiformalism modeling compositionality in SIMTHESys, in Marco Gribaudo (politecnico Di Milano, I. A. M. I. (. U. D. S. D. N. I. (ed.), Theory and Application of Multi-Formalism Modeling, IGI Global, Pennsylvania 2013: 81- 103. 10.4018/978-1-4666-4659-9.ch005 [http://hdl.handle.net/10807/202865]
Multiformalism modeling compositionality in SIMTHESys
Barbierato, EnricoPrimo
2013
Abstract
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.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
