The Z notation: a reference manual
The Z notation: a reference manual
Retrieving re-usable software components by polymorphic type
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Using types as search keys in function libraries
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Specification matching for software reuse: a foundation
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Designing Components with the C++STL: A New Approach to Programming
Designing Components with the C++STL: A New Approach to Programming
Supporting component-based reuse in CARE
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Object Oriented Interoperability
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Adapting Components with Mismatching Behaviours
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
NORA/HAMMR: making deduction-based software component retrieval practical
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
An Industrial-Strength Method For The Construction Of Formally Verified Software
ASWEC '96 Proceedings of the 1996 Australian Software Engineering Conference
Using CARE to Construct Verified Software
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Only the Best Can Make It: Optimal Component Selection
Electronic Notes in Theoretical Computer Science (ENTCS)
Semi-Automated Component-Based Development of Formally Verified Software
Electronic Notes in Theoretical Computer Science (ENTCS)
Ontology based algorithm modeling: obtaining adaptation for SOA environment
Proceedings of the 2nd workshop on Middleware for service oriented computing: held at the ACM/IFIP/USENIX International Middleware Conference
Component Adaptation Architectures A Formal Approach
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part III
Interaction protocol mediation in web service composition
International Journal of Web Engineering and Technology
Patterns for service composition
Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
Hi-index | 0.00 |
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is that CBSE has not been widely adopted. From a technical perspective, the reason is largely due to the difficulty of locating suitable components in the library and adapting these components to meet the specific needs of the user.Formal approaches to retrieval - using formal notations for interface specification, and semantic based matching techniques - have been proposed as a solution to the retrieval problem. These approaches are aimed at overcoming the lack of precision and ambiguity associated with text-based component interfaces, requirements and retrieval techniques. However these approaches fail to adequately address the problem of component adaptation and composition.In this paper we describe how component adaptation and composition strategies can be defined using parameterised library templates. We define a variety of templates, including wrapper templates that adapt a single program component, and architecture templates that combine program components. We include definitions for sequential architectures, independent architectures and alternative architectures. These library templates are formally specified, so we are able to employ existing formal-based retrieval strategies to match problem specifications against library templates. We discuss how adaptation and composition can be semi-automated by the library templates defined in this paper in combination with existing retrieval strategies.