Loading...

Using reo formalism for compliance checking of architecture evolution with evolutionary rules

Liaghat, Z ; Sharif University of Technology | 2019

376 Viewed
  1. Type of Document: Article
  2. DOI: 10.3233/FAIA190093
  3. Publisher: IOS Press , 2019
  4. Abstract:
  5. Assessment of architectural evolution is a challenge and plays a significant role in system evolution management. Although the evolution rules of the software architecture are defined by some expert engineers or architects, there is no guarantee that applying them will end to the desired change. So, having a reliable assessment technique promotes the overall accuracy and quality of the evolution process. Compliance checking with expert-defined rules is a well-known assessment approach that can be applied in architectural evolution. In this paper, an approach is proposed for compliance checking of evolution processes. To this end, evolution paths and processes are modeled by Reo coordination language and compliance checking is automatically performed by model checking of the Reo circuits. To demonstrate the applicability of our approach, we show how it can be applied to a real-world architecture evolution problem. © 2019 The authors and IOS Press. All rights reserved
  6. Keywords:
  7. Architecture evolution ; Compliance checking ; Reo coordination language ; Model checking ; Software architecture ; Architectural evolution ; Assessment approaches ; Compliance checking ; Coordination language ; Evolution process ; Evolutionary rules ; Overall accuracies ; Reliable assessment ; Compliance control
  8. Source: 18th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, SoMeT 2019, 23 September 2019 through 25 September 2019 ; Volume 318 , 2019 , Pages 725-738 ; 09226389 (ISSN); 9781643680125 (ISBN)
  9. URL: http://ebooks.iospress.nl/volumearticle/52731