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
Living with Uncertainty in Model-Based Development
University of Zaragoza, Spain.
Université de Montréal, Canada.
University of Rennes, France.
Polytechnic University of Milan, Italy.
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. 159-185Chapter in book (Refereed)
Abstract [en]

Uncertainty is present in model-based developments in many different ways. In the context of composing model-based analysis tools, this chapter discusses how the combination of different models can increase or decrease the overall uncertainty. It explores how such uncertainty could be more explicitly addressed and systematically managed, with the goal of defining a conceptual framework to deal with and manage it. We proceed towards this goal both with a theoretical reasoning and a practical application through an example of designing a peer-to-peer file-sharing protocol. We distinguish two main steps: (i) software system modelling and (ii) model-based performance analysis by highlighting the challenges related to the awareness that model-based development in software engineering needs to coexist with uncertainty. This core chapter addresses Challenge 5 introduced in Chap. 3 of this book (living with uncertainty).

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

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Perez-Palacin, Diego

Search in DiVA

By author/editor
Perez-Palacin, Diego
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: 41 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