Loading...

Checking the Compliance of Software Architecture Evolution with its Rules

Liaghat, Zainab | 2016

549 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 50895 (19)
  4. University: Sharif University of Technology
  5. Department: Computer Engineering
  6. Advisor(s): Izadi, Mohammad
  7. Abstract:
  8. With long-term evolution of large scale software systems, the study and engineering of architectural evolution becomes more and more important. In order to manage high level changes, the architects should plan the architecture evolution in a series of releases. Planning and analysis of architectural evolution is a challenge and plays a significant role in evolution management. An assessment solution could promote overall accuracy and quality of the evolution process. Compliance checking with expert-defined rules is a well-known assessment solution and could be applied in the field of architectural evolution. In this thesis, a solution is proposed in order to compliance check these evolution processes with expert knowledge (defined in terms of logical rules). An evolution process is modeled based on the coordination between basic evolutionary operations. An evolution plan is a kind of evolution process that is defined before applying the evolution. This thesis is focused on evolution plans. Architecture evolution rules are defined by some expert engineers or architects. Evolution plans are modeled via Reo coordination formalism. The evolution plan and evolutionary rules are inputs of the proposed solution in this thesis. The evolution plan should be in compliance with expert rules. According to this solution, compliance checking is automatically done by performing model checking on annotated Reo circuits. The evaluation of this solution is performed by applying the solution on an E-shop with monolithic architecture which intends to evolve to a client-server architecture. The evolution plan for this evolution is modeled and the rules for evolving a monolithic architecture to a client-server one are expressed by LTL formulae. Finally, compliance checking is performed automatically by means of Vereofy, a model checker for Reo formalism
  9. Keywords:
  10. Software Architecture ; Architecture Style Evaluation ; Reo Modeling Language ; Model Cheking ; Compliance Checking

 Digital Object List

 Bookmark

No TOC