Composing Model-Based Analysis Tools, Chapter 2: Foundations

Dec 1, 2021·
Carolyn Talcott
,
Sofia Ananieva
,
Kyungmin Bae
,
Benoit Combemale
,
Robert Heinrich
Mark Hills
Mark Hills
,
Narges Khakpour
,
Ralf Reussner
,
Bernhard Rumpe
,
Patrizia Scandurra
,
Hans Vangheluwe
,
Francisco Durán
,
Steffen Zschaler
· 0 min read
Abstract
This chapter gives an introduction to the key concepts and terminology relevant for model-based analysis tools and their composition. In the first half of the chapter, we introduce concepts relevant for modelling and composition of models and modelling languages. The second half of the chapter then focuses on concepts relevant to analysis and analysis composition. This chapter, thus, lays the foundations for the remainder of the book, ensuring that readers can go through the book as a coherent piece.
Type
Publication
Composing Model-Based Analysis Tools