Skip to main content

Defining and Checking Deployment Contracts for Software Components

  • Conference paper
Component-Based Software Engineering (CBSE 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4063))

Included in the following conference series:

Abstract

Ideally in the deployment phase, components should be composable, and their composition checked. Current component models fall short of this ideal. Most models do not allow composition in the deployment phase. Moreover, current models use only deployment descriptors as deployment contracts. These descriptors are not ideal contracts. For one thing, they are only for specific containers, rather than arbitrary execution environments. In any case, they are checked only at runtime, not deployment time. In this paper we present an approach to component deployment which not only defines better deployment contracts but also checks them in the deployment phase.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bachmann, F., Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Robert, J., Seacord, R., Wallnau, K.: Vol. ii: Technical concepts of component-based software engineering, 2nd edn. Technical Report CMU/SEI-2000-TR-008, Carnegie Melon Software Engineering Institute (2000)

    Google Scholar 

  2. Boehm, B., Abts, C.: COTS integration: Plug and pray? IEEE Computer 32(1), 135–138 (1999)

    Google Scholar 

  3. Box, D.: Essential COM. Addison-Wesley, Reading (1998)

    MATH  Google Scholar 

  4. Schmidt, D.C.: Pattern-oriented Software Architecture. Patterns for Concurrent and Networked Objects, vol. 2. John Wiley&Sons, Ltd., New York (2000)

    Google Scholar 

  5. Microsoft Corporation. Microsoft asynchronous pattern for components

    Google Scholar 

  6. Microsoft Corporation. Msdn.net framework class library version 2.0 (2005)

    Google Scholar 

  7. Englander, R.: Developing Java Beans. O’Reilly & Associates, Sebastopol (1997)

    MATH  Google Scholar 

  8. EZ JCom Framework web page, http://www.ezjcom.com

  9. Fowler, M., Box, D., Hejlsberg, A., Knight, A., High, R., Crupi, J.: The great j2ee vs. microsoft.net shootout. In: OOPSLA 2004: Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, pp. 143–144. ACM Press, New York (2004)

    Chapter  Google Scholar 

  10. Heineman, G.T., Councill, W.T. (eds.): Component-Based Software Engineering: Putting the Pieces Together. Addison-Wesley, Reading (2001)

    Google Scholar 

  11. Keen, A.W., Olsson, R.A.: Exception handling during asynchronous method invocation. In: Monien, B., Feldmann, R.L. (eds.) Euro-Par 2002. LNCS, vol. 2400. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  12. Lau, K.-K., Ukis, V.: Component metadata in component-based software development: A survey. Preprint 34, School of Computer Science, The University of Manchester, Manchester, M13 9PL, UK (October 2005)

    Google Scholar 

  13. Lau, K.-K., Ukis, V.: A container for automatic system control flow generation using exogenous connectors. Preprint 31, School of Computer Science, The University of Manchester, Manchester, M13 9PL, UK (August 2005)

    Google Scholar 

  14. Lau, K.-K., Ukis, V.: Deployment contracts for software components. Preprint 36, School of Computer Science, The University of Manchester, Manchester, M13 9PL, UK (February 2006) ISSN 1361 - 6161

    Google Scholar 

  15. Lau, K.-K., Velasco Elizondo, P., Wang, Z.: Exogenous connectors for software components. In: Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 90–106. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  16. Lau, K.-K., Wang, Z.: A taxonomy of software component models. In: Proc. 31st Euromicro Conference. IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  17. Medvidovic, N., Oreizy, P., Robbins, J.E., Taylor, R.N.: Using object-oriented typing to support architectural design in the c2 style. In: Proc. ACM SIGSOFT 1996, pp. 24–32 (1996)

    Google Scholar 

  18. Sun Microsystems. Enterprise java beans specification, version 3.0 (2005)

    Google Scholar 

  19. Object Management Group (OMG). Corba components, specification, version 0.9.0 (2005)

    Google Scholar 

  20. Platt, D.S.: Introducing Microsoft .NET, 3rd edn. Microsoft Press (2003)

    Google Scholar 

  21. Schmidt, D.C., Harrison, T., Pryce, N.: Thread-specific storage - an object behavioral pattern for accessing per-thread state efficiently. In: The Pattern Languages of Programming Conference (September 1997)

    Google Scholar 

  22. Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)

    MATH  Google Scholar 

  23. Sun Microsystems. Java 2 Platform, Enterprise Edition, http://java.sun.com/j2ee/

  24. Szyperski, C., Gruntz, D., Murer, S.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Reading (2002)

    Google Scholar 

  25. Wigley, A., Sutton, M., MacLeod, R., Burbidge, R., Wheelwright, S.: Microsoft. NET Compact Framework (Core Reference). Microsoft Press (January 2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lau, KK., Ukis, V. (2006). Defining and Checking Deployment Contracts for Software Components. In: Gorton, I., et al. Component-Based Software Engineering. CBSE 2006. Lecture Notes in Computer Science, vol 4063. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11783565_1

Download citation

  • DOI: https://doi.org/10.1007/11783565_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35628-8

  • Online ISBN: 978-3-540-35629-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics