Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Module interconnection languages
Journal of Systems and Software
Software interconnection models
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
Implementing faceted classification for software reuse
Communications of the ACM - Special issue on software engineering
Information retrieval: data structures and algorithms
Information retrieval: data structures and algorithms
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Using Iterative Refinement to Find Reusable Software
IEEE Software
An Empirical Study of Representation Methods for Reusable Software Components
IEEE Transactions on Software Engineering
Analysis and simulation of graph models.
Analysis and simulation of graph models.
Component Reuse Through Reverse Engineering and Semantic Interface Analysis
COMPSAC '95 Proceedings of the 19th International Computer Software and Applications Conference
Structured programming
An Overview of Anna, a Specification Language for Ada
IEEE Software
A formal approach to software components classification and retrieval
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Computers & Mathematics with Applications
| Hi-index | 0.00 |
Abstract: Software reuse covers the whole process of identification, representation, retrieval, adaptation and integration of reusable software components. The utilization of current library techniques is important in such a software process. However, these approaches tend to be retrieval based and offer no formal assistance to software integration in reuse. We propose a semantic interface Predicate/Transition nets based formal method for reuse. In this method, software components are selected from a reuse library and automatically translated and integrated into the net model. Thus, software integration and adaptation problems are converted into problems in the corresponding net model. With this formal method, software reuse problems such as the detection of inconsistencies in component integration can be automatically revealed.