PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bucchiarone A., Gnesi S., Bruni R., Lafuente A. L., Hirsch D. Graph-based design and analysis of dynamic software architectures. P. Degano et al... (eds.). (Lecture Notes in Computer Science, vol. 5065). Berlin: Springer, 2008.
 
 
Abstract
(English)
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.
DOI: 10.1007/978-3-540-68679-8
Subject Dynamic Software Architectures
Graph Grammars
Process Algebra
D.2.11 Software Architectures


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional