Skip to main content
Springer Nature Link
Log in

Component-Based Software Development and Logic Programming

  • Conference paper
Logic Programming (ICLP 2003)

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

Included in the following conference series:

  • 431 Accesses

Abstract

Component-based Software Development (CBD) represents a paradigm shift in software development. In the tutorial I will explain what CBD is about, briefly survey current component technology, and posit that Logic Programming can play a role in next-generation CBD. In this abstract, I give an overview of the material that I plan to cover in the tutorial.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. BEA Systems et al. CORBA Components. Technical Report orbos/99-02-05, Object Management Group (1999)

    Google Scholar 

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

    MATH  Google Scholar 

  3. Brown, A.W., Wallnau, K.C.: The current state of CBSE. IEEE Software, 37–46 (September/October 1998)

    Google Scholar 

  4. Cheesman, J., Daniels, J.: UML Components: A Simple Process for Specifying Component-based Software. Addison-Wesley, Reading (2001)

    Google Scholar 

  5. The Ciao Prolog Development System, http://clip.dia.fi.upm.es/Software/Ciao/

  6. COM web page, http://www.microsoft.com/com/

  7. CORBA FAQ web page, http://www.omg.org/gettingstarted/corbafaq.htm

  8. D’Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1999)

    Google Scholar 

  9. EJB web page, http://java.sun.com/products/ejb/

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

    Google Scholar 

  11. Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)

    Google Scholar 

  12. Lau, K.-K.: A priori reasoning for component-based software development. In: Carro, M., Vaucheret, C., Lau, K.-K. (eds.) Proc. 1st CoLogNET Workshop on Component-based Software Development and Implementation Technology fo Computational Logic Systems, pp. 5–19. Technical Report CLIP4/02.0, School of Computer Science, Technical University of Madrid (2002)

    Google Scholar 

  13. Lau, K.-K.: The role of logic programming in next-generation component-based software development. In: Gupta, G., Ramakrishnan, I.V. (eds.) Proc. Workshop on Logic Programming and Software Enginering, London, UK (July 2000)

    Google Scholar 

  14. Lau, K.-K.: Some ingredients of trusted components. In: Proc. Workshop on Trusted Components, Prato, Italy, pp. 1–5 (January 2003)

    Google Scholar 

  15. Lau, K.-K.: Component certification and system prediction: Is there a role for formality? In: Crnkovic, I., Schmidt, H., Stafford, J., Wallnau, K. (eds.) Proc. 4th ICSE Workshop on Component-based Software Engineering, pp. 80–83. IEEE Computer Society Press, Los Alamitos (2001)

    Google Scholar 

  16. Lau, K.-K., Ornaghi, M.: Logic for component-based software development. In: Kakas, A.C., Sadri, F. (eds.) Computational Logic: Logic Programming and Beyond. LNCS (LNAI), vol. 2407, pp. 347–373. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  17. Lau, K.-K., Vanden Bossche, M.: Logic programming for software engineering: A second chance. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, pp. 437–451. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  18. Meyer, B.: Object-oriented Software Construction, 2nd edn. Prentice-Hall, Englewood Cliffs (1997)

    MATH  Google Scholar 

  19. Microsoft .NET web page, http://www.microsoft.com/net/

  20. Object Management Group. The Common Object Request Broker: Architecture and specification Revision 2.2 (February 1998)

    Google Scholar 

  21. OMG Model Driven Architecture, http://www.omg.org/mda/

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

    Google Scholar 

  23. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)

    Google Scholar 

  24. Somogyi, Z., Henderson, F., Conway, T.: Mercury – an efficient, purely declarative logic programming language. In: Proc. Australian Computer Science Comference, pp. 499–512 (1995)

    Google Scholar 

  25. Sun Microsystems. Enterprise JavaBeans Specification. Version 2.0 (2001)

    Google Scholar 

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

    Google Scholar 

  27. Introduction to OMG UML, http://www.omg.org/gettingstarted/what_is_uml.htm

  28. Wallnau, K., Hissam, S., Seacord, R.: Building Systems from Commercial Components. Addison-Wesley, Reading (2001)

    Google Scholar 

  29. Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Manchester, Manchester, M13 9PL, United Kingdom

    Kung-Kiu Lau

Authors
  1. Kung-Kiu Lau
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Ecole Polytechnique, Rue de Saclay, 91128, Palaiseau Cedex, France

    Catuscia Palamidessi

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lau, KK. (2003). Component-Based Software Development and Logic Programming. In: Palamidessi, C. (eds) Logic Programming. ICLP 2003. Lecture Notes in Computer Science, vol 2916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24599-5_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24599-5_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20642-2

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics