Search: onr:"swepub:oai:DiVA.org:lnu-127090" >
Composition of Lang...
Composition of Languages, Models, and Analyses
-
- Talcott, Carolyn (author)
- SRI International, USA
-
- Ananieva, Sofia (author)
- FZI Research Center for Information Technology, Germany
-
- Bae, Kyungmin (author)
- POSTECH, Republic of Korea
-
show more...
-
- Combemale, Benoit (author)
- University of Rennes, France
-
- Heinrich, Robert (author)
- Karlsruhe Institute of Technology, Germany
-
- Hills, Mark (author)
- East Carolina University, USA
-
- Khakpour, Narges (author)
- Linnéuniversitetet,Institutionen för datavetenskap och medieteknik (DM)
-
- Reussner, Ralf (author)
- Karlsruhe Institute of Technology, Germany
-
- Rumpe, Bernhard (author)
- RWTH Aachen, Germany
-
- Scandurra, Patrizia (author)
- University of Bergamo, Italy
-
- Vangheluwe, Hans (author)
- University of Antwerp, Belgium
-
show less...
-
(creator_code:org_t)
- 2021-07-18
- 2021
- English.
-
In: Composing Model-Based Analysis Tools. - Cham : Springer. - 9783030819149 - 9783030819156 ; , s. 45-70
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- 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).
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Data- och informationsvetenskap
- Computer and Information Sciences Computer Science
Publication and Content Type
- ref (subject category)
- kap (subject category)
Find in a library
To the university's database
- By the author/editor
-
Talcott, Carolyn
-
Ananieva, Sofia
-
Bae, Kyungmin
-
Combemale, Benoi ...
-
Heinrich, Robert
-
Hills, Mark
-
show more...
-
Khakpour, Narges
-
Reussner, Ralf
-
Rumpe, Bernhard
-
Scandurra, Patri ...
-
Vangheluwe, Hans
-
show less...
- About the subject
-
- NATURAL SCIENCES
-
NATURAL SCIENCES
-
and Computer and Inf ...
-
and Computer Science ...
- Articles in the publication
-
Composing Model- ...
- By the university
-
Linnaeus University