Graph-Based Design and Analysis of Dynamic Software Architectures

13 years 6 months ago

Download www.antoniobucchiarone.it

We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented in Alloy; ii) a process algebraic presentation of graph transformation implemented in Maude. The two approaches are compared by showing how different aspects can be tackled, including representation issues, modelling phases, property specification and analysis.

Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi

Real-time Traffic

Applied Computing | BIRTHDAY 2008 | Dynamic Software Architectures | Graph Transformation | Ordinary Typed Graph |

claim paper

» Dynamic Software Architecture Development Towards an Automated Process

» Dynamic Software Architecture Slicing

» Designing Persistent ObjectOriented Software Architectures

» Specifying and Analyzing Dynamic Software Architectures

» Towards an architectural approach for the dynamic and automatic composition of software co...

» A graph based routing algorithm for multihop cognitive radio networks

» ScenarioDriven Dynamic Analysis of Distributed Architectures

» Workshop on GraphBased Tools

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	BIRTHDAY
Authors	Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente

Comments (0)

Sciweavers

Graph-Based Design and Analysis of Dynamic Software Architectures

Applied Computing | BIRTHDAY 2008 | Dynamic Software Architectures | Graph Transformation | Ordinary Typed Graph |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers