The RAMSES Project II
Title
Reflective and Adaptive Middleware for Software Evolution of Non-Stopping Information Systems
Duration
4/1/2008 - 3/31/2010
Funding
The RAMSES project is funded by the Deutsche Forschungsgesellschaft (German Science Foundation), project number SA 465/31-2.
Staff
Prof. Gunter Saake (Project Administration), Mario Pukall
Institute for Technical and Business Information Systems, Otto-von-Guericke-Universität Magdeburg, Germany
Prof. Walter Cazzola (Major Scientist), Stefano Salvotelli
Department of Informatics and Communication, Università degli Studi di Milano, Italy
Abstract
Today’s information systems
still remain far from exhibiting the levels of agility required to operate in
our very volatile and competitive (‘socio-techno-economical’) environment. Such
environments require updated/new business services to be easily and rapidly
offered while ensuring a high-level of quality and certification. Towards that
purpose, the present proposal addresses the rigorous development of
self-adapting and run-time evolving information systems. The approach we
propose is mainly interaction-centric. First, a reflective middleware is to be
built with a UML-compliant base-level and a meta-level with evolutionary
script-based rules and consistency checking of run-time self-adaptation and
evolution. This reflective middleware is then to be enhanced by endowing it
with a more general (domain-dependent) architecture with reconfiguration
capabilities based on graph transformation rewriting techniques and property-oriented
(temporal) logic. Transformation models will then be forwarded both at the
base- and at the meta-level for formal validation and properties verification
of the running (middleware-based) system on the basis of the (domain-based)
architecture. Besides the proof of concepts with academic case studies, the
project will be validated with a non-trivial case-study dealing with an urban
traffic system.