Supporting Partial Component Matching

In this paper we define a formal framework for describing components and gaps or holes (where components can be plugged in) This is based on the theory of interface automata The main focus is to define a component partially satisfying the requirements of a hole A partial plug-in of a hole will result in other holes The definition of a partial plug-in does not result in a unique set of holes, i.e., the resulting holes can have different properties We define an software engineering process which uses the formal framework to complete the component selection and insertion process The process is defined in terms of the possible interactions between a component vendor and a customer seeking a component.

[1]  Jack Greenfield Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools , 2004, SPLC.

[2]  Hareton K. N. Leung,et al.  Domain-Based COTS-Product Selection Method , 2003, Component-Based Software Quality.

[3]  Jack Greenfield,et al.  Software factories: assembling applications with patterns, models, frameworks and tools , 2004, OOPSLA '03.

[4]  Don S. Batory,et al.  Composition Validation and Subjectivity in GenVoca Generators , 1997, IEEE Trans. Software Eng..

[5]  Cnrs Fre,et al.  Model Checking a Path (Preliminary Report) , 2003 .

[6]  Behrouz H. Far,et al.  Agent-Based Commercial Off-The-Shelf Software Components Evaluation Method , 2003 .

[7]  Thomas A. Henzinger,et al.  Interface Theories for Component-Based Design , 2001, EMSOFT.

[8]  Antonio Vallecillo,et al.  Component-Based Software Quality , 2003, Lecture Notes in Computer Science.

[9]  Lawrence Chung,et al.  A knowledge-based COTS-aware requirements engineering approach , 2002, SEKE '02.

[10]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[11]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[12]  Claus Pahl Components, Contracts, and Connectors for the Unified Modelling Language UML , 2001, FME.

[13]  Mira Mezini,et al.  Integrating independent components with on-demand remodularization , 2002, OOPSLA '02.

[14]  Anca Muscholl,et al.  Synthesis of Distributed Algorithms Using Asynchronous Automata , 2003, CONCUR.

[15]  Cornelius Ncube,et al.  PORE : Procurement Oriented Requirements Engineering Method for the Component-Based Systems Engineering Development Paradigm , 1999 .

[16]  James Ivers,et al.  A Basis for Composition Language CL , 2002 .

[17]  Satoshi Matsuoka,et al.  Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , 2002, OOPSLA 2002.

[18]  David Garlan,et al.  Architectural Mismatch: Why Reuse Is So Hard , 1995, IEEE Softw..

[19]  José Nuno Oliveira,et al.  FME 2001: Formal Methods for Increasing Software Productivity , 2001, Lecture Notes in Computer Science.

[20]  Jeffrey M. Voas User Participation-based Software Certification , 1999, EUROVAV.

[21]  H. B. M. Jonkers ISpec: Towards Practical and Sound Interface Specifications , 2000, IFM.

[22]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[23]  Jeannette M. Wing,et al.  Specification matching of software components , 1997 .

[24]  Antonio Vallecillo,et al.  A Trading Service for COTS Components , 2004, Comput. J..

[25]  Volker Diekert,et al.  The Book of Traces , 1995 .