Incorporating a reuse model to the RAISE formal method

Reusability is widely suggested to be a key to improving software development productivity. It has been further argued that reuse at the domain level can significantly increase reuse at the later stages of development. Domain analysis is used to achieve reusability in software development, but RAISE development method does not treat this analysis deeply enough. The aim of our work is to improve RAISE software process to adapt it to the purposes of reuse incorporating a model for reuse. We address this need and sketch an abstract model that provides a more general level basis contributing to the development of specifications of reusable components.