2008
Journal article
Restricted
Graph-based design and analysis of dynamic software architectures
Bucchiarone A, Gnesi S, Bruni R, Lafuente A L, Hirsch D
Dynamic Software Architectures Graph Grammars Process Algebra
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 inMaude. The two approaches are compared by showing how different aspects can be tackled, including representation issues, modelling phases, property specification and analysis.
Back to previous page
BibTeX entry
@article{oai:it.cnr:prodotti:44171,
title = {Graph-based design and analysis of dynamic software architectures},
author = {Bucchiarone A and Gnesi S and Bruni R and Lafuente A L and Hirsch D},
year = {2008}
}CNR authorsLaboratories
0000-0002-0139-0421