lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Composition of Languages, Models, and Analyses
SRI International, USA.
FZI Research Center for Information Technology, Germany.
POSTECH, South Korea.
University of Rennes, France.
Show others and affiliations
2021 (English)In: Composing Model-Based Analysis Tools / [ed] Heinrich, R., Durán, F., Talcott, C., Zschaler, S., Springer, 2021, p. 45-70Chapter in book (Refereed)
Abstract [en]

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).

Place, publisher, year, edition, pages
Springer, 2021. p. 45-70
National Category
Computer Sciences
Research subject
Computer and Information Sciences Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-127090DOI: 10.1007/978-3-030-81915-6_4ISBN: 9783030819149 (print)ISBN: 9783030819156 (electronic)OAI: oai:DiVA.org:lnu-127090DiVA, id: diva2:1831083
Available from: 2024-01-24 Created: 2024-01-24 Last updated: 2025-02-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Khakpour, Narges

Search in DiVA

By author/editor
Khakpour, Narges
By organisation
Department of computer science and media technology (CM)
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 32 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf