A Graph-based Design Framework for Global Computing Systems

Authors:
Antonio Bucchiarone;Greg Dennis;Stefania Gnesi
Affiliations:
Istituto di Scienze e Tecnologie dell'Informazione “A. Faedo”, Area della Ricerca CNR di Pisa;Computer Science and Artificial Intelligence Laboratory, MIT, Cambridge, MA;Istituto di Scienze e Tecnologie dell'Informazione “A. Faedo”, Area della Ricerca CNR di Pisa
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 15
Cited 0

Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Graph grammars with negative application conditions

Fundamenta Informaticae - Special issue on graph transformations
Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach

Handbook of graph grammars and computing by graph transformation
Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach

Handbook of graph grammars and computing by graph transformation
Alloy: a lightweight object modelling notation

ACM Transactions on Software Engineering and Methodology (TOSEM)
Model-based adaptation for self-healing systems

WOSS '02 Proceedings of the first workshop on Self-healing systems
A graph transformation approach to software architecture reconfiguration

Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
An Architecture-Based Approach to Self-Adaptive Software

IEEE Intelligent Systems
Describing Software Architecture Styles Using Graph Grammars

IEEE Transactions on Software Engineering
Hierarchical graph transformation

Journal of Computer and System Sciences
Style-Based Refinement of Dynamic Software Architectures

WICSA '04 Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture
DynAlloy: upgrading alloy with actions

Proceedings of the 27th international conference on Software engineering
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
Modelling Dynamic Software Architectures using Typed Graph Grammars

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a framework for designing and analyzing Global Computing Systems using Dynamic Software Architectures. The framework, called TGG"A, integrates typed graph grammars and the Alloy modeling language to specify Programmed Dynamic Software Architectures that represent systems that evolve their topology at runtime. We demonstrate the benefits of the framework by applying it to the study of an Automotive Software System.