relation: http://eprints.imtlucca.it/153/
title: Graph-Based Design and Analysis of Dynamic Software Architectures
creator: Bruni, Roberto
creator: Bucchiarone, Antonio
creator: Gnesi, Stefania
creator: Hirsch, Dan
creator: Lluch-Lafuente, Alberto
subject: QA75 Electronic computers. Computer science
description: 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.  
publisher: Springer
contributor: Degano, Pierpaolo
contributor: De Nicola, Rocco
contributor: Meseguer, José
date: 2008
type: Book Section
type: PeerReviewed
identifier:   Bruni, Roberto and Bucchiarone, Antonio and Gnesi, Stefania and Hirsch, Dan and Lluch-Lafuente, Alberto  Graph-Based Design and Analysis of Dynamic Software Architectures.   In:  Concurrency, Graphs and Models ('08).   Lecture Notes in Computer Science, 5065 .  Springer, pp. 37-56.  ISBN 978-3-540-68676-7      (2008)  
relation: http://dx.doi.org/10.1007/978-3-540-68679-8_4
relation: 10.1007/978-3-540-68679-8_4