Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Rule-based Approach for Evolution of AADL Models based on Changes in Functional Requirements
Göknil, Arda; Kurtev, Ivan; van den Berg, Klaas
2016In The workshop on Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA) at the 10th European Conference on Software Architecture (ECSA)
Peer reviewed
 

Files


Full Text
Goknil_Workshop_2016.pdf
Author postprint (495.45 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Software Architecture; Change Management; AADL; Maude
Abstract :
[en] The increasing complexity of software systems makes change management costly and time consuming. To ensure the cost-effective system longevity and endurance, it is crucial to apply change management in the early stages of software development. In this paper, we introduce a rule-based approach to make software architecture evolving based on counter examples provided by a model checker for violated, changing functional requirements. The approach works on software architecture in AADL and is based on verifying functional requirements using Maude model checker. Our goal is to provide guidelines to the architect about potential changes. Using an industrial example, we show how our approach helps in determining changes to produce a new version of the architecture.
Disciplines :
Computer science
Author, co-author :
Göknil, Arda ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Kurtev, Ivan
van den Berg, Klaas
External co-authors :
yes
Language :
English
Title :
A Rule-based Approach for Evolution of AADL Models based on Changes in Functional Requirements
Publication date :
November 2016
Event name :
The workshop on Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA) at the 10th European Conference on Software Architecture (ECSA)
Event place :
Copenhagen, Denmark
Event date :
from 28-11-2016 to 02-12-2016
Main work title :
The workshop on Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA) at the 10th European Conference on Software Architecture (ECSA)
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 09 December 2016

Statistics


Number of views
125 (12 by Unilu)
Number of downloads
276 (4 by Unilu)

OpenCitations
 
2

Bibliography


Similar publications



Contact ORBilu