PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Latella D., Massink M., Mazzanti F., Andrade L., Baldan P., Baumeister H., Bruni R., Corradini A., De Nicola R., Fiadeiro J. L., Gadducci F., Hoffman P., Koch N., Kosiuczenko P., Lapadula A., Lopes A., Lo Reti M., Montanari U., Oliveira C., Pugliese R., Tarlecki A., Wermelinger M., Wirsing M., Zawlocki A. AGILE: Software Architecture for Mobility. In: 16th International Workshop on Algebraic Development Techniques (Frauenchiemsee, Germany, 24-27 September 2002). Proceedings, pp. 1 - 33. Wirsing, M. and Pattinson, D. and Hennicker, R (eds.). (Lecture Notes in Computer Science, vol. 2755). Springer-Verlag, 2003.
 
 
Abstract
(English)
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 re nement. This paper describes the AGILE project and some of the results gained during the rst project year.
Subject Mobility
Concurrency Theory
UML
D.2.2. Design Tools and Techniques
F.1.1. Models of Computation
D.2.4. Software/Program Verification
D.2.11 Software Architectures
D.3.1. Formal Definitions and Theory


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