@Inbook{Talcott2021,
author="Talcott, Carolyn
and Ananieva, Sofia
and Bae, Kyungmin
and Combemale, Benoit
and Heinrich, Robert
and Hills, Mark
and Khakpour, Narges
and Reussner, Ralf
and Rumpe, Bernhard
and Scandurra, Patrizia
and Vangheluwe, Hans",
editor="Heinrich, Robert
and Dur{\'a}n, Francisco
and Talcott, Carolyn
and Zschaler, Steffen",
title="Composition of Languages, Models, and Analyses",
bookTitle="Composing Model-Based Analysis Tools",
year="2021",
publisher="Springer International Publishing",
address="Cham",
pages="45--70",
abstract="This chapter targets a better understanding of the compositionality of analyses, including different forms of compositionality and specific conditions of composition. Analysis involves models, contexts, and properties. These are all expressed in languages with their own semantics. For a successful composition of analyses, it is therefore important to compose models as well as the underlying languages. We aim to develop a better understanding of what is needed to answer questions such as ``When I want to compose two or more analyses, what do I need to take into account?'' We describe the elements impacting analysis compositionality, the relation of these elements to analysis, and how composition of analysis relates to compositionality of these elements.",
isbn="978-3-030-81915-6",
doi="10.1007/978-3-030-81915-6_4",
url="https://doi.org/10.1007/978-3-030-81915-6_4"
}