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.

(2021). Foundations . Retrieved from http://hdl.handle.net/10446/202284

Foundations

Scandurra, Patrizia;
2021-01-01

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.
2-s2.0-105005033259
scientifica
Inglese
18-lug-2021
2021
Composing Model-Based Analysis Tools
Talcott, Carolyn; Ananieva, Sofia; Bae, Kyungmin; Combemale, Benoit; Heinrich, Robert; Hills, Mark; Khakpour, Narges; Reussner, Ralf; Rumpe, Bernhard; Scandurra, Patrizia; Vangheluwe, Hans; Durán, Francisco; Zschaler, Steffen;
Zschaler, Steffen; Talcott, Carolyn; Durán, Francisco; Heinrich, Robert;
online
978-3-030-81914-9
9
37
Switzerland
Cham
Springer
Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
Capitolo liberamente scaricabile dal sito dell'editore https://link.springer.com/book/10.1007/978-3-030-81915-6
info:eu-repo/semantics/bookPart
(2021). Foundations . Retrieved from http://hdl.handle.net/10446/202284
reserved
1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays
Non definito
Talcott, Carolyn; Ananieva, Sofia; Bae, Kyungmin; Combemale, Benoit; Heinrich, Robert; Hills, Mark; Khakpour, Narges; Reussner, Ralf; Rumpe, Bernhard;...espandi
13
268
File allegato/i alla scheda:
File Dimensione del file Formato  
Talcott2021_Chapter_Foundations.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 393 kB
Formato Adobe PDF
  Visualizza/Apri
393 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/202284
Citazioni
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact