Detail

Publication date: 1 de June, 2021

Architectures for Mobility

Architecture-based approaches have been promoted as a means of controlling the complexity of system construction and evolution, namely for providing systems with the agility required to operate in turbulent environments and 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 are not prepared for. AGILE will provide means for addressing this new level of complexity by 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 will be developed over a uniform mathematical framework based on graph-oriented techniques that will support sound methodological principles, formal analysis, and refinement.

Description of Work:
In order to meet the proposed goals, AGILE will capitalise on the experience that the members of the consortium have accumulated in the areas of formal software architectures, algebraic and logical development techniques, process calculi, concurrency, combination of formal and semi-formal modelling techniques, graph-based semantics, and software development in business domains characterised by a high volatility of requirements. More precisely, AGILE will follow three main strands of research:

  • the extension of our previous work on the development of a categorical framework supporting software architectures on the basis of the separation between computation and coordination with an additional dimension for distribution and, consequently, mobility , providing primitives – distribution contracts in line with the coordination contracts that we have been developing – with which the distribution topology can be explicitly modelled and refined across different levels of abstraction; and further extension to the level of architectural specifications with mobility aspects, thus adding better capabilities for specifying complex components of each of the three kinds considered and more flexible ways to massage and connect individual components to specify and build up the whole system;
  • the definition of algebraic models for the underlying evolution processes, relating the reconfiguration of the coordination structure and the mobility of components across the distribution topology, again capitalising on our previous work in graph transformation techniques, and laying down the basis for logical analysis of evolution properties, including general logical mechanisms to specify mobility, as well as tools for animation and early prototyping; and
  • the extension of existing modelling languages and processes like the UML with the concepts and techniques that will have been developed in the other workpackages, including tools for animation and early prototyping.
  • A fourth line of work consisting of case study development and prototyping will ensure that the project will develop a joint awareness of the problems and solutions to be developed, and that the three different technical strands will actually come together as part of a unified and effective architectural approach to mobility.

Team

Miguel Wermelinger,

Sname AGILE
Funding Total -
Funding Center -
URL http://www.pst.informatik.uni-muenchen.de/projekte/agile/
State Concluded
Startdate 01/01/2002
Enddate 30/04/2005