Composing Model-Based Analysis Tools, Chapter 2: Foundations


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.

Composing Model-Based Analysis Tools
Mark Hills
Mark Hills
Associate Professor

My research interests include programming languages, program analysis, and software engineering.