@incollection{eprints153,
       publisher = {Springer},
          series = {Lecture Notes in Computer Science},
           pages = {37--56},
            note = {The original publication is available at www.springerlink.com},
            year = {2008},
       booktitle = {Concurrency, Graphs and Models ('08)},
          author = {Roberto Bruni and Antonio Bucchiarone and Stefania Gnesi and Dan Hirsch and Alberto Lluch-Lafuente},
          volume = {5065},
           title = {Graph-Based Design and Analysis of Dynamic Software Architectures},
          editor = {Pierpaolo Degano and Rocco De Nicola and Jos{\'e} Meseguer},
             url = {http://eprints.imtlucca.it/153/},
        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.
}
}