| 1. |
- Talcott, Carolyn, et al.
(författare)
-
Composition of Languages, Models, and Analyses
- 2021
-
Ingår i: Composing Model-Based Analysis Tools. - Cham : Springer. - 9783030819149 - 9783030819156 ; , s. 45-70
-
Bokkapitel (refereegranskat)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.This core chapter addresses Challenge 1 introduced in Chap. 3 of this book (the theoretical foundations—how to compose the underlying languages, models, and analyses).
|
|
| 2. |
- Talcott, Carolyn, et al.
(författare)
-
Foundations
- 2021
-
Ingår i: Composing Model-Based Analysis Tools. - Cham : Springer. - 9783030819149 - 9783030819156 ; , s. 9-37
-
Bokkapitel (refereegranskat)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.
|
|
