@incollection{eprints323,
       publisher = {Springer},
          series = {Lecture Notes in Computer Science},
           pages = {1--33},
          volume = {2755},
       booktitle = {Recent Trends in Algebraic Development Techniques (WADT 2002)},
          author = {Luis Filipe Andrade and Paolo Baldan and Hubert Baumeister and Roberto Bruni and Andrea Corradini and Rocco De Nicola and Jose Luiz Fiadeiro and Fabio Gadducci and Stefania Gnesi and Piotr Hoffman and Nora Koch and Piotr Kosiuczenko and Alessandro Lapadula and Diego Latella and Antonia Lopes and Michele Loreti and Mieke Massink and Franco Mazzanti and Ugo Montanari and Crist{\'o}v{\~a}o Oliveira and Rosario Pugliese and Andrzej Tarlecki and Michel Wermelinger and Martin Wirsing and Artur Zawlocki},
            year = {2003},
          editor = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker},
           title = {AGILE: Software Architecture for Mobility},
        abstract = {Architecture-based approaches have been promoted as a means of controlling the complexity of system construction and evolution, in particular for providing systems with the agility required to operate in turbulent environments and to adapt very quickly to changes in the enterprise world. Recent technological advances in communication and distribution have made mobility an additional factor of complexity, one for which current architectural concepts and techniques can be hardly used. The AGILE project is developing an architectural approach in which mobility aspects can be modelled explicitly and mapped on the distribution and communication topology made available at physical levels. The whole approach is developed over a uniform mathematical framework based on graph-oriented techniques that support sound methodological principles, formal analysis, and refinement. This paper describes the AGILE project and some of the results gained during the first project year. },
             url = {http://eprints.imtlucca.it/323/}
}