Skip to main content
SpringerLink
Log in
Book cover

International Conference on Distributed Computing and Internet Technology

ICDCIT 2004: Distributed Computing and Internet Technology pp 294–303Cite as

Supporting Partial Component Matching

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3347))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Batory, D., Geraci, B.: Composition validation and subjectivity in GenVoca generators. IEEE Transactions on Software Engineering 23(2), 67–82 (1997)

    Article  Google Scholar 

  2. Chung, L., Cooper, K.: A knowledge-based cots-aware requirements engineering approach. In: Proceedings of the Software Engineering and Knowledge Engineering Conference, Ischia, Italy, pp. 175–182 (2002)

    Google Scholar 

  3. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), pp. 109–120. ACM Press, New York (2001)

    Google Scholar 

  4. de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148–165. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  5. Diekert, V., Rozenberg, G.: The Book of Traces. World Scientific, Singapore (1995)

    Book  Google Scholar 

  6. Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch: Why reuse is so hard. IEEE Software, 17–26 (November 1995)

    Google Scholar 

  7. Greenfield, J., Short, K.: Software factories assembling applications with patterns, models, frameworks and tools. In: Proceedings of OOPSLA, pp. 16–27. ACM, New York (2003)

    Google Scholar 

  8. Ivers, J., Sinha, N., Wallnau, K.: A basis for composition language CL. Technical Report CMU/SEI-2002-TN-026, Software Engineering Institute (2002)

    Google Scholar 

  9. Iribarne, L., Troya, J.M., Vallecillo, A.: A trading service for cots components. The Computer Journal 47(3), 342–357 (2004)

    Article  Google Scholar 

  10. Jonkers, H.B.M.: ISpec: Towards Practical and Sound Interface Specifications. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 116–135. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  11. Leung, H.K.N., Leung, K.R.P.H.: Domain-based cots-product selection method. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality. LNCS, vol. 2693, pp. 40–63. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. Mezini, M., Ostermann, K.: Integrating independent components with on-demand remodularization. In: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 52–67. ACM Press, New York (2002)

    Chapter  Google Scholar 

  13. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes I/II. Information and Computation 100(1), 1–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  14. Ncube, C., Maiden, N.A.: PORE: Procurement-Oriented Requirements Engineering Method for the Component Based Systems Engineering Development Paradigm. In: Proceedings of International Workshop on Component Based Software Engineering (1999)

    Google Scholar 

  15. Pahl, C.: Components, Contracts and Connectors for the Unified Modelling Language UML. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol. 2021, pp. 259–277. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  16. Ştefănescu, A., Esparza, J., Muscholl, A.: Synthesis of distributed algorithms using asynchronous automata. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 27–41. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  17. Voas, J.: User participation based software certification. In: The 5th European Symposium on Validation and Verification of Knowledge Based System, pp. 267–276 (1999)

    Google Scholar 

  18. Wanyama, T., Far, B.H.: Agent-based commercial off-the-shelf software components evaluation method. In: The First International Conference on Agent Based Technologies and Systems (ATS 2003), pp. 133–141 (2003)

    Google Scholar 

  19. Zaremski, A.M., Wing, J.M.: Specification Matching of Software Components. ACM Transactions on Software Engineering Methodology 6(4), 333–369 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre for Software Assurance, Faculty of Information Technology, Bond University, Gold Coast, Queensland, 4229, Australia

    Padmanabhan Krishnan & Lei Wang

Authors
  1. Padmanabhan Krishnan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lei Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Indian Institute of Technology, Kanpur, India

    R. K. Ghosh

  2. Department of Computer and Information Science, University of Hyderabad, Central University PO, 500 046, AP, India

    Hrushikesha Mohanty

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Krishnan, P., Wang, L. (2004). Supporting Partial Component Matching. In: Ghosh, R.K., Mohanty, H. (eds) Distributed Computing and Internet Technology. ICDCIT 2004. Lecture Notes in Computer Science, vol 3347. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30555-2_34

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30555-2_34

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24075-4

  • Online ISBN: 978-3-540-30555-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation