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
Rigorous architectural reasoning for self-adaptive software systems
Linnaeus University, Faculty of Technology, Department of Computer Science.
Linnaeus University, Faculty of Technology, Department of Computer Science.
Linnaeus University, Faculty of Technology, Department of Computer Science.ORCID iD: 0000-0002-1343-5834
Linnaeus University, Faculty of Technology, Department of Computer Science.ORCID iD: 0000-0002-1162-0817
2016 (English)In: Proceedings: First Workshop on Qualitative Reasoning abut Software Architectures, QRASA 2016 / [ed] Lisa O'Conner, IEEE, 2016, 11-18 p.Conference paper, Published paper (Refereed)
Abstract [en]

Designing a software architecture requires architectural reasoning, i.e., activities that translate requirements to an architecture solution. Architectural reasoning is particularly challenging in the design of product-lines of self-adaptive systems, which involve variability both at development time and runtime. In previous work we developed an extended Architectural Reasoning Framework (eARF) to address this challenge. However, evaluation of the eARF showed that the framework lacked support for rigorous reasoning, ensuring that the design complies to the requirements. In this paper, we introduce an analytical framework that enhances eARF with such support. The framework defines a set of artifacts and a series of activities. Artifacts include templates to specify domain quality attribute scenarios, concrete models, and properties. The activities support architects with transforming requirement scenarios to architecture models that comply to required properties. Our focus in this paper is on architectural reasoning support for a single product instance. We illustrate the benefits of the approach by applying it to an example client-server system, and outline challenges for future work. © 2016 IEEE.

Place, publisher, year, edition, pages
IEEE, 2016. 11-18 p.
Keyword [en]
Architectural reasoning, Formal methods, Self-adaptive software systems
National Category
Software Engineering
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-56118DOI: 10.1109/QRASA.2016.9ISI: 000386785900002Scopus ID: 2-s2.0-84978284867ISBN: 9781509021314 (print)OAI: oai:DiVA.org:lnu-56118DiVA: diva2:964861
Conference
1st Workshop on Qualitative Reasoning about Software Architectures, QRASA 2016, 8 April 2016
Available from: 2016-09-08 Created: 2016-08-31 Last updated: 2017-01-16Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Abbas, NadeemAndersson, JesperIftikhar, Muhammad UsmanWeyns, Danny
By organisation
Department of Computer Science
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 226 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