Résumé: Complex computer systems are seldom implemented from scratch, but they contain significant amounts of legacy code, which is under continuous pressure for evolution. We propose a management method for reactive and distributed systems, based on creating a formal abstraction hierarchy to model the system with abstractions that exceed those that are used as implementation facilities. The hierarchy is used to estimate an effort needed for implementing a modification by associating the modification to abstractions in the hierarchy and by determining the abstractions that need to be revised to retain the hierarchy consistency.

Langue: Anglais