Document - Graph-based design and analysis of dynamic software architectures

2008

Contribution to book Restricted

Graph-based design and analysis of dynamic software architectures

Bucchiarone A., Gnesi S., Bruni R., Lafuente A. L., Hirsch D.

Dynamic Software Architectures Process Algebra Graph Grammars

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.

Source: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, edited by Pierpaolo Degano; Rocco De Nicola; Josè Meseguer, pp. 37–56. Berlin: Springer Berlin / Heildelberg, 2008

Publisher: Springer Berlin / Heildelberg, Berlin, DEU

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:179732,
	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.},
	publisher = {Springer Berlin / Heildelberg, Berlin, DEU},
	doi = {10.1007/978-3-540-68679-8_4},
	booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, edited by Pierpaolo Degano; Rocco De Nicola; Josè Meseguer, pp. 37–56. Berlin: Springer Berlin / Heildelberg, 2008},
	year = {2008}
}