From graph transformation to software engineering and back

Authors:
Luciano Baresi;Mauro Pezzè
Affiliations:
Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy;Dipartimento di Informatica Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Milano, Italy
Venue:
Formal Methods in Software and Systems Modeling
Year:
2005

Citing 21
Cited 0

Software architecture styles as graph grammars

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Formal methods: state of the art and future directions

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Introducing formal specification methods in industrial practice

ICSE '97 Proceedings of the 19th international conference on Software engineering
How to represent a visual specification

Visual language theory
Graph grammars and constraint solving for software architecture styles

ISAW '98 Proceedings of the third international workshop on Software architecture
Residual test coverage monitoring

Proceedings of the 21st international conference on Software engineering
Software architecture: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Communicating sequential processes

Communications of the ACM
A graph-based formalism for RBAC

ACM Transactions on Information and System Security (TISSEC)
Gamma system: continuous evolution of software after deployment

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation

Proceedings of the 24th International Conference on Software Engineering
Model-based adaptation for self-healing systems

WOSS '02 Proceedings of the first workshop on Self-healing systems
The Vision of Autonomic Computing

Computer
A Formal Semantics of UML State Machines Based on Structured Graph Transformation

«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective

ICGT '02 Proceedings of the First International Conference on Graph Transformation
Specification of Graph Translators with Triple Graph Grammars

WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Modeling and validation of service-oriented architectures: application vs. style

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Predicting problems caused by component upgrades

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Formalizing refactorings with graph transformations: Research Articles

Journal of Software Maintenance and Evolution: Research and Practice
Pair grammars, graph languages and string-to-graph translations

Journal of Computer and System Sciences
Dynamic meta modeling: a graphical approach to the operational semantics of behavioral diagrams in UML

UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software engineers usually represent problems and solutions using graph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph transformation techniques can support reasoning about graphs in many ways, and thus can largely enhance them. Recent work indicates many applications of graph transformation to software engineering and opens new research directions. This paper aims primarily at illustrating how graph transformation can help software engineers, but it also discusses how software engineering can ameliorate the practical application of graph transformation technology and its supporting tools.