The RAMSES Project II


Reflective and Adaptive Middleware for Software Evolution of Non-Stopping Information Systems


4/1/2008 - 3/31/2010


The RAMSES project is funded by the Deutsche Forschungsgesellschaft (German Science Foundation), project number SA 465/31-2.


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


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.