Using Graph Rewriting to Specify Software Architectural Transformations

Authors:
Hoda Fahmy;Richard C. Holt
Affiliations:
-;-
Venue:
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Year:
2000

Citing 0
Cited 12

Architectural transformations

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Flow equations as a generic programming tool for manipulation of attributed graphs

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Automated abstraction of class diagrams

ACM Transactions on Software Engineering and Methodology (TOSEM)
Transforming Specification Architectures by GenGED

ICGT '02 Proceedings of the First International Conference on Graph Transformation
Wins and Losses of Algebraic Transformations of Software Architectures

Proceedings of the 16th IEEE international conference on Automated software engineering
Refining code-design mapping with flow analysis

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Model-driven migration of supervisory machine control architectures

Journal of Systems and Software
Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism

CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Pushout: a mathematical model of architectural merger

PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars

International Journal of Autonomic Computing
Graph-based implicit knowledge discovery from architecture change logs

Proceedings of the WICSA/ECSA 2012 Companion Volume
An approach to supporting architecture evolution in Internetware

Proceedings of the Fourth Asia-Pacific Symposium on Internetware

Quantified Score

Hi-index	0.00

Visualization

Abstract

The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it easier to experiment with mechanized formal methods such as theorem provers ...