Development of global specification for dynamically adaptive software