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

(2021). Composition of Languages, Models, and Analyses . Retrieved from http://hdl.handle.net/10446/202286

Composition of Languages, Models, and Analyses

Scandurra, Patrizia;
2021-01-01

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
2021
Talcott, Carolyn; Ananieva, Sofia; Bae, Kyungmin; Combemale, Benoit; Heinrich, Robert; Hills, Mark; Khakpour, Narges; Reussner, Ralf; Rumpe, Bernhard; Scandurra, Patrizia; Vangheluwe, Hans
File allegato/i alla scheda:
File Dimensione del file Formato  
Talcott2021_Chapter_CompositionOfLanguagesModelsAn.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 504.28 kB
Formato Adobe PDF
504.28 kB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/202286
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact