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]

Graph-Based Design and Analysis of Dynamic Software Architectures

Bucchiarone Antonio;
2008-01-01

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.
2008
Pierpaolo Degano Rocco De Nicola José Meseguer
Concurrency, Graphs and Models
Berlin
Springer
978-3-540-68676-7
Bruni, Roberto; Bucchiarone, Antonio; Gnesi, Stefania; Hirsch, Dan; Lluch Lafuente, Alberto
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]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/343602
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 32
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact