A Unified Approach to Adapting and Retrieving Formally Specified Components for Reuse

Hemer, David George (2000). A Unified Approach to Adapting and Retrieving Formally Specified Components for Reuse PhD Thesis, Information Technology and Electrical Engineering, University of Queensland.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
n01front.pdf n01front.pdf application/pdf 135.25KB 0
n02chapter1.pdf n02chapter1.pdf application/pdf 132.10KB 0
n03chapter2.pdf n03chapter2.pdf application/pdf 303.15KB 0
n04chapter3.pdf n04chapter3.pdf application/pdf 122.33KB 0
n05chapter4.pdf n05chapter4.pdf application/pdf 215.93KB 0
n06chapter5.pdf n06chapter5.pdf application/pdf 140.17KB 0
n07chapter6.pdf n07chapter6.pdf application/pdf 223.65KB 0
n08chapter7.pdf n08chapter7.pdf application/pdf 162.68KB 0
n09chapter8.pdf n09chapter8.pdf application/pdf 169.29KB 0
n10chapter9.pdf n10chapter9.pdf application/pdf 691.91KB 0
n11chapter10.pdf n11chapter10.pdf application/pdf 92.25KB 0
n12appendices.pdf n12appendices.pdf application/pdf 181.43KB 0
Author Hemer, David George
Thesis Title A Unified Approach to Adapting and Retrieving Formally Specified Components for Reuse
School, Centre or Institute Information Technology and Electrical Engineering
Institution University of Queensland
Publication date 2000
Thesis type PhD Thesis
Supervisor Peter Lindsay
Abstract/Summary This thesis presents an approach to reusing components which alleviates some of the main problems encountered in component-based reuse; in particular modifying components to suit user's specific needs, and locating suitable components within a library. The focus of the thesis is on components described using a formal language (in other words components with a formal interface specification). The main reason for this is the concise and precise nature of formal languages, which can be exploited in developing more sophisticated methods and tools which take advantage of the semantics of the component. The solution is presented in two main stages: firstly a framework for adapting components is defined; secondly a framework for retrieving components based on matching component interfaces is defined. Both of these frameworks take advantage of the formal nature of the component interfaces, as a result more sophisticated tools can be developed. For generality it is proposed that formal languages used to represent interfaces are partitioned into three separate levels of granularity - expressions, units and modules - and solutions to adaptation and retrieval are developed separately at each level. An important consideration in developing these frameworks is to ensure that certain component properties are preserved when adapting and retrieving components. Having proposed these general frameworks, algorithms for adapting and retrieving components are defined in a more concrete and detailed sense within the CARE system. CARE was chosen because the language is relatively simple and compact, yet contains many of the features found in other formal languages, including: variables; functions; predicates; binders; application; typing; parameters; inputs and outputs (and their types); preconditions and postconditions; textual and formal parameters; separation of specification and implementation; case statements; modules; applicability conditions; encapsulation; and information hiding. These techniques for adapting and retrieving components have been prototyped as extensions to existing CARE tools. As a means of illustrating the value that these extensions have added to the overall CARE system, several example developments using the extended tools are presented at the end of the thesis. The approach to component reuse presented in this thesis represents a significant advance on other similar approaches. The approach given here is far more general than other approaches, particularly with respect to the scope of components and their interfaces that are considered. Also the adaptation framework goes beyond other approaches which have typically been restricted to parameter instantiation.
Keyword specification matching
formal methods

Citation counts: Google Scholar Search Google Scholar
Created: Fri, 21 Nov 2008, 20:46:22 EST