JABER KARIMPOUR - University of Tabriz, Department of Computer Science
AYAZ ISAZADEH - University of Tabriz, Department of Computer Science
ROBAB ALYARI - University of Tabriz, Department of Computer Science

We expect modern systems have dynamic reconfigurations to cope with failure or adapt themselves with environment and clients. Software adaptation techniques try to solve the problem of compatible interfaces in components with reconfiguration capabilities and an abstract specification of systems called adaptation contract. In our approach, at first, we represent whole system by a mathematical model and then we build adaptor based on system parts and adaptation contract. After that, we are going to generate net for adaptors by using synchronization vectors to synchronize whole system.

Reconfiguration, Adaptive systems, formal method