TY - CHAP SN - 978-3-540-68676-7 ED - Degano, Pierpaolo ED - De Nicola, Rocco ED - Meseguer, José N2 - 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. EP - 56 ID - eprints153 PB - Springer T2 - Concurrency, Graphs and Models ('08) AV - none N1 - The original publication is available at www.springerlink.com T3 - Lecture Notes in Computer Science TI - Graph-Based Design and Analysis of Dynamic Software Architectures SP - 37 Y1 - 2008/// M1 - 5065 UR - http://dx.doi.org/10.1007/978-3-540-68679-8_4 A1 - Bruni, Roberto A1 - Bucchiarone, Antonio A1 - Gnesi, Stefania A1 - Hirsch, Dan A1 - Lluch-Lafuente, Alberto ER -