Skip to main content
Springer Nature Link
Log in

Control Encapsulation: A Calculus for Exogenous Composition of Software Components

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

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

Included in the following conference series:

Abstract

In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Connection mechanisms are not hierarchical in general, and therefore current component models do not support hierarchical system construction. In this paper we argue that control encapsulation by components, together with suitable composition mechanisms, can lead to a component model that supports hierarchical system construction. We show an example of such a model and present a calculus for its hierarchical composition mechanisms.

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

Access this chapter

Log in via an institution

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. Achermann, F., Nierstrasz, O.: A calculus for reasoning about software composition. Theoretical Computer Science 331(2-3), 367–396 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  2. Crafa, S., Varacca, D., Yoshida, N.: Compositional event structure semantics for the internal pi-calculus. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 317–332. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  3. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)

    Book  MATH  Google Scholar 

  4. DeMichiel, L., Keith, M.: Enterprise JavaBeans, Version 3.0. Sun Microsystems (2006)

    Google Scholar 

  5. Gelernter, D., Carriero, N.: Coordination languages and their significance. Comm. ACM 35(2), 97–107 (1992)

    Article  Google Scholar 

  6. Lau, K.-K., Ntalamagkas, I., Tran, C.: Composite software composition operators using coloured Petri-nets. Technical report, Computer Science, Univ. Manchester (in preparation)

    Google Scholar 

  7. Lau, K.-K., Ornaghi, M., Wang, Z.: A software component model and its preliminary formalisation. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 1–21. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  8. Lau, K.-K., Taweel, F.: Data encapsulation in software components. In: Schmidt, H.W., Crnković, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol. 4608, pp. 1–16. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  9. 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., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 90–106. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Lau, K.-K., Wang, Z.: Software component models. IEEE Trans. on Soft. Eng. 33(10), 709–724 (2007)

    Article  Google Scholar 

  11. Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Trans. on Soft. Eng. 26(1), 70–93 (2000)

    Article  Google Scholar 

  12. Miglioli, P., Moscato, U., Ornaghi, M., Usberti, G.: A constructivism based on classical truth. Notre Dame Journal of Formal Logic 30(1), 67–90 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  13. Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980)

    Book  MATH  Google Scholar 

  14. Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  15. Ornaghi, M., Benini, M., Ferrari, M., Fiorentini, C., Momigliano, A.: A constructive object oriented modeling language for information systems. ENTCS 153(1), 67–90 (2006)

    Google Scholar 

  16. OMG. UML 2.0 Infrastructure Final Adopted Specifcation (2003)

    Google Scholar 

  17. Peltz, C.: Web services orchestration and choreography. Computer 36(10), 46–52 (2003)

    Article  Google Scholar 

  18. Petri, C.A.: Kommunikation mit Automaten. PhD thesis, University of Bonn (1962)

    Google Scholar 

  19. Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1492. Springer, Heidelberg (1998)

    MATH  Google Scholar 

  20. Sangiorgi, D.: π-calculus, internal mobility, and agent-passing calculi. Theoretical Computer Science 167(1&2), 235–274 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  21. Schröder, B.S.W.: Ordered Sets: An Introduction. Birkhäuser, Basel (2003)

    Book  MATH  Google Scholar 

  22. Szyperski, C.: Universe of composition. Software Development (August 2002)

    Google Scholar 

  23. Winskel, G., Nielsen, M.: Models for concurrency. In: Handbook of Logic in Computer Science. Semantic Modelling, vol. 4, pp. 1–148. Oxford University Press, Oxford (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Kung-Kiu Lau

  2. Dipartimento di Scienze dell’Informazione, Universita’ degli studi di Milano, Via Comelico 39/41, 20135, Milano, Italy

    Mario Ornaghi

Authors
  1. Kung-Kiu Lau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mario Ornaghi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software Engineering Institute, Software Engineering Institute, Carnegie Mellon® http://www.sei.cmu.edu/staff/glewis, 4500 Fifth Ave., PA 15213, Pittsburgh, USA

    Grace A. Lewis

  2. The Predictable Assembly Laboratory, , Department of Computer Science,, King’s College London, Strand, http://palab.dcs.kcl.ac.uk, WC2R 2LS, London, UK

    Iman Poernomo

  3. Computer Science Department, East Stroudsburg University, http://www.esu.edu/~chrish, 200 Prospect Street, PA 18301-2999, East Stroudsburg, USA

    Christine Hofmeister

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lau, KK., Ornaghi, M. (2009). Control Encapsulation: A Calculus for Exogenous Composition of Software Components. In: Lewis, G.A., Poernomo, I., Hofmeister, C. (eds) Component-Based Software Engineering. CBSE 2009. Lecture Notes in Computer Science, vol 5582. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02414-6_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-02414-6_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-02413-9

  • Online ISBN: 978-3-642-02414-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics