Using a feature model for RAISE specification reusability

This paper addresses the integration of a method for reuse (FORM) into a formal method (RAISE). On the one hand, RAISE specification development process is based on the idea that software development is a stepwise, and originally designed to be applied at different levels of abstraction as well as stages of development. This method is successfully applied to different domains obtaining high precise specifications of components, but there is no explicit reference to the specification reusability in the process. On the other hand, domain analysis (DA) is seen as a prerequisite in successful reuse not only by the researchers in the reuse community but also by the methodologists who have introduced component-based development methods. We have used the FORM method that holds the notion of "feature" to support DA as an earlier phase in the RAISE formal method of software development.