An information system for software reuse
Software reuse: emerging technology
Implementing faceted classification for software reuse
Communications of the ACM - Special issue on software engineering
An Information Retrieval Approach for Automatically Constructing Software Libraries
IEEE Transactions on Software Engineering
Computing similarity in a reuse library system: an AI-based approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Formal Method to Software Integration in Reuse
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A Hybrid Approach to Object Library Classification and Retrieval
COMPSAC '95 Proceedings of the 19th International Computer Software and Applications Conference
A formal approach for specification and classification of software components
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Components searching system using component identifiers and request specifics
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV
| Hi-index | 0.00 |
We propose an approach to reuse-based software development using a formal method. In our approach, each software component is annotated with a set of predicates to formally describe the component and is classified using a faceted scheme. A user may retrieve components from the library using either keywords or predicates. When a component is retrieved, it is checked to determine if it matches the requirements. Then, the component is integrated with the designed system, along its required functionalities. The integrated component/system as transformed into a Predicate/Transition net (PrT net) to perform consistency checking. If there is no inconsistency, the component may be adapted or incorporated directly. Otherwise, the conditions that cause the inconsistency will be revealed. The user may decide to search the library again by modifying the query specification and restart the whole process, or to terminate the search.