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

Abstract

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
Pages37-56
ISBN (Print)978-3-540-68676-7
ISBN (Electronic)978-3-540-68679-8
DOIs
Publication statusPublished - 2008
Externally publishedYes
SeriesLecture Notes in Computer Science
Volume5065
ISSN0302-9743

Cite this

Bruni, R., Bucchiarone, A., Gnesi, S., Hirsch, D., & Lluch Lafuente, A. (2008). Graph-Based Design and Analysis of Dynamic Software Architectures. In Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (pp. 37-56). Springer Berlin Heidelberg. Lecture Notes in Computer Science, Vol.. 5065 https://doi.org/10.1007/978-3-540-68679-8_4