Graph-Based Design and Analysis of Dynamic Software Architectures

Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch Lafuente

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


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.
Original languageEnglish
Title of host publicationConcurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
PublisherSpringer Berlin Heidelberg
Publication date2008
ISBN (Print)978-3-540-68676-7
ISBN (Electronic)978-3-540-68679-8
Publication statusPublished - 2008
Externally publishedYes
SeriesLecture Notes in Computer Science


Dive into the research topics of 'Graph-Based Design and Analysis of Dynamic Software Architectures'. Together they form a unique fingerprint.

Cite this