Journal of Computer Science and Technology

, Volume 16, Issue 6, pp 590–594 | Cite as

Constraint-preserving architecture transformations: A graph rewriting approach

  • Yuan Chun Email author
  • Chen Yiun 


Architecture transformations are frequently performed during software design and maintenance. However this activity is not well supported at a sufficiently abstract level. In this paper, the authors characterize architecture transformations using graph rewriting rules, where architectures are represented in graph notations. Architectures are usually required to satisfy certain constraints during evolution. Therefore a way is presented to construct the sufficient and necessary condition for a transformation to preserve a constraint. The condition can be verified before the application of the transformation. Validated transformations are guaranteed not to violate corresponding constraints whenever applied.


architecture transformation graph rewriting weakest precondition constraint checking 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Courcelle B. Graph Rewriting: An Algebraic and Logic Approach. Handbook of Theoretical Computer Science, Chapter 5, Elsevier Science, 1990.Google Scholar
  2. [2]
    Raoult J-C, Voisin F. Set-theoretic graph rewriting. InProceedings of the International Workshop on Graph Transformations in Computer Science, Lecture Notes in Computer Science 776, Springer-Verlag, 1993.Google Scholar
  3. [3]
    Dijkstra E W. A Discipline of Programming. Prentice-Hall, 1976.Google Scholar
  4. [4]
    D Le Métayer. Describing software architecture styles using graph grammars.IEEE Transactions on Software Engineering, 1998, 24(7): 521–533.CrossRefGoogle Scholar
  5. [5]
    Inverardi P, Wolf A L. Formal specification and analysis of software architectures using the chemical abstract machine model.IEEE Transactions on Software Engineering, 1995, 21(4): 373–386.CrossRefGoogle Scholar
  6. [6]
    Fahmy H, Holt R C. Using graph rewriting to specify software architectural transformations. InProceedings of Automated Software Engineering (ASE 2000), Grenoble, France, 2000, pp.187–196.Google Scholar
  7. [7]
    Yuan C, Chen Y. Software architecture evolution by multiset transformation. InProceedings of the International Conference on Software: Theory and Practice (ICS 2000), The 16th IFIP World Computer Congress, Beijing, China, 2000, pp.236–243.Google Scholar

Copyright information

© Science Press, Beijing China and Allerton Press Inc. 2001

Authors and Affiliations

  1. 1.Department of Computer Science and TechnologyUniversity of Science and Technology of ChinaHefeiP.R. China

Personalised recommendations