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.
Graph-Based Design and Analysis of Dynamic Software Architectures / Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Hirsch, Dan; Lluch Lafuente, Alberto. - 5065:(2008), pp. 37-56. [10.1007/978-3-540-68679-8_4]
Scheda prodotto non validato
I dati visualizzati non sono stati ancora sottoposti a validazione formale da parte dello Staff di IRIS, ma sono stati ugualmente trasmessi al Sito Docente Cineca (Loginmiur).
Titolo: | Graph-Based Design and Analysis of Dynamic Software Architectures | |
Autori: | Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Hirsch, Dan; Lluch Lafuente, Alberto | |
Autori Unitn: | ||
Autore/i del libro: | Pierpaolo Degano Rocco De Nicola José Meseguer | |
Titolo del volume contenente il saggio: | Concurrency, Graphs and Models | |
Luogo di edizione: | Berlin | |
Casa editrice: | Springer | |
Anno di pubblicazione: | 2008 | |
ISBN: | 978-3-540-68676-7 | |
Handle: | http://hdl.handle.net/11572/343602 | |
Citazione: | Graph-Based Design and Analysis of Dynamic Software Architectures / Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Hirsch, Dan; Lluch Lafuente, Alberto. - 5065:(2008), pp. 37-56. [10.1007/978-3-540-68679-8_4] | |
Appare nelle tipologie: | 02.1 Saggio su volume miscellaneo o Capitolo di libro (Essay or Book Chapter) |