Logic frameworks for components integration process

  • Authors:
  • Haeng-Kon Kim;Deok-Soo Han

  • Affiliations:
  • Department of Computer Information & Communication Engineering, Catholic University of Daegu, Kyungbuk, South Korea;Dept. Computer Engineering, Korea Third Military Academy, Kyungbuk, South Korea

  • Venue:
  • KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

This research developed the CBD(Component Based Development) logic frameworks for the Integration of components and a tool which supports this. The Integration of components becomes necessary during the process of reusing or assembling components, and this is because the interface of the component is, in many cases, different than the component the developer wishes to assemble. After the iterations of specification modification and verification in terms of knowledge acquisition activities, Logic frameworks are correctly formed. Occasionally, additional attributes may need to be defined in accordance to new requirements. Consequently, the process for component Integration is crucial for the reuse and assembly of components. In order to support the Integration of components, this research proposes an Integration technique dependent upon binary component Integration techniques and Integration components. In addition, a support tool was developed to support an effective Integration process.