Andrade, Luis Filipe and Baldan, Paolo and Baumeister, Hubert and Bruni, Roberto and Corradini, Andrea and De Nicola, Rocco and Fiadeiro, Jose Luiz and Gadducci, Fabio and Gnesi, Stefania and Hoffman, Piotr and Koch, Nora and Kosiuczenko, Piotr and Lapadula, Alessandro and Latella, Diego and Lopes, Antonia and Loreti, Michele and Massink, Mieke and Mazzanti, Franco and Montanari, Ugo and Oliveira, Cristóvão and Pugliese, Rosario and Tarlecki, Andrzej and Wermelinger, Michel and Wirsing, Martin and Zawlocki, Artur AGILE: Software Architecture for Mobility. In: Recent Trends in Algebraic Development Techniques (WADT 2002). Lecture Notes in Computer Science, 2755 . Springer, pp. 1-33. ISBN 3-540-20537-3 (2003)
Full text not available from this repository.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.
Item Type: | Book Section |
---|---|
Identification Number: | https://doi.org/10.1007/978-3-540-40020-2_1 |
Funders: | This research has been partially sponsored by the EC 5th Framework project AGILE (IST-2001-32747) . |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software |
Research Area: | Computer Science and Applications |
Depositing User: | Rocco De Nicola |
Date Deposited: | 06 Jun 2011 09:03 |
Last Modified: | 19 Sep 2011 10:00 |
URI: | http://eprints.imtlucca.it/id/eprint/323 |
Actions (login required)
Edit Item |