Multiformalism modeling compositionality in SIMTHESys

Enrico Barbierato

doi:10.4018/978-1-4666-4659-9.ch005

Multiformalism modeling compositionality in SIMTHESys

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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.

Original language	English
Title of host publication	Theory and Application of Multi-Formalism Modeling
Editors	Italy) and Mauro Iacono (Seconda Università degli Studi di Napoli, Italy) Marco Gribaudo (Politecnico di Milano
Pages	81-103
Number of pages	23
DOIs	https://doi.org/10.4018/978-1-4666-4659-9.ch005
Publication status	Published - 2013

Keywords

Multiformalism

Access to Document

10.4018/978-1-4666-4659-9.ch005

Cite this

@inbook{7bb4622ac6894bb5bd4e738bf6af093c,

title = "Multiformalism modeling compositionality in SIMTHESys",

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.",

keywords = "Multiformalism, Multiformalism",

author = "Enrico Barbierato",

year = "2013",

doi = "10.4018/978-1-4666-4659-9.ch005",

language = "English",

isbn = "978-146664660-5",

pages = "81--103",

editor = "{Marco Gribaudo (Politecnico di Milano}, {Italy) and Mauro Iacono (Seconda Universit{\`a} degli Studi di Napoli, Italy)}",

booktitle = "Theory and Application of Multi-Formalism Modeling",

}

TY - CHAP

T1 - Multiformalism modeling compositionality in SIMTHESys

AU - Barbierato, Enrico

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

KW - Multiformalism

UR - http://hdl.handle.net/10807/202865

U2 - 10.4018/978-1-4666-4659-9.ch005

DO - 10.4018/978-1-4666-4659-9.ch005

M3 - Chapter

SN - 978-146664660-5

SP - 81

EP - 103

BT - Theory and Application of Multi-Formalism Modeling

A2 - Marco Gribaudo (Politecnico di Milano, Italy) and Mauro Iacono (Seconda Università degli Studi di Napoli, Italy)

ER -

Multiformalism modeling compositionality in SIMTHESys

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this