Creation of Reusable Components Based on Formal Methods


Challenges for repository-based reuse include populating the repository by artifacts that are both useful and usable, organizing the artifacts in a way that promotes easy retrieval and comparison, and providing guidelines to assist necessary modiications. We emphasize the aspect of reuse that a component can be constructed by modifying another component. Clustering analysis is applied to the formal speciication of an application to group components that are similar in function into clusters. Generic requirements are extracted for the resulting clusters. The repository is populated by frameworks that are generated to accomplish the requirements. The individual components are then implemented by modifying the appropriate framework of the same clusters.

Cite this paper

@inproceedings{Ouyang2007CreationOR, title={Creation of Reusable Components Based on Formal Methods}, author={Youwen Ouyang and Doris L. Carver}, year={2007} }