Skip to main content
SpringerLink
Log in

An Asynchronous Distributed Component Model and Its Semantics

  • Conference paper
Formal Methods for Components and Objects (FMCO 2008)

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

Included in the following conference series:

Abstract

This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchronous invocations and component synchronisation. Our model is precise enough to enable the specification of a formal semantics. A variant of this model has been implemented, together with tools for managing components.

This paper explains why we consider that our component model is efficient and provides a convenient programming model. We show how futures play a major role for such asynchronous components, and provide a reduction semantics for the component model. This reduction semantics has been specified in the Isabelle theorem prover, and will be used to prove properties on the component model and its implementations.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. CCA-Forum: The Common Component Architecture (CCA) Forum home page (2005), http://www.cca-forum.org/

  2. Object Management Group, Inc. (OMG): CORBA Component Model Specification. Omg headquarters edn. (April 2006), http://www.omg.org/cgi-bin/apps/doc?formal/06-04-01.pdf

  3. Beisiegel, M., Blohm, H., Booz, D., Edwards, M., Hurley, O.: SCA service component architecture, assembly model specification. Technical report (March 2007), http://www.osoa.org/display/Main/Service+Component+Architecture+Specifications

  4. Baude, F., Caromel, D., Dalmasso, C., Danelutto, M., Getov, V., Henrio, L., Pérez, C.: GCM: A Grid Extension to Fractal for Autonomous Distributed Components. Annals of Telecommunications (accepted for publication) (2008)

    Google Scholar 

  5. Bruneton, E., Coupaye, T., Stefani, J.B.: Recursive and dynamic software composition with sharing. In: Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming, WCOP 2002 (2002)

    Google Scholar 

  6. Caromel, D., Henrio, L.: A Theory of Distributed Objects. Springer, New York (2005)

    MATH  Google Scholar 

  7. Agha, G., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. Journal of Functional Programming 7(1), 1–72 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  8. Yonezawa, A., Briot, J.P., Shibayama, E.: Object-oriented concurrent programming in ABCL/1. In: Proceedings OOPSLA 1986, November 1986, pp. 258–268 (1986); Published as ACM SIGPLAN Notices, 21

    Google Scholar 

  9. Halstead Jr., R.H.: Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems (TOPLAS) 7(4), 501–538 (1985)

    Article  MATH  Google Scholar 

  10. Niehren, J., Schwinghammer, J., Smolka, G.: A concurrent lambda calculus with futures. Theoretical Computer Science 364(3), 338–356 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  11. omg.org team: CORBA Component Model, V3.0 (2005), http://www.omg.org/technology/documents/formal/components.htm

  12. OMG: Deployment and configuration of component-based distributed applications, v4.0. Document formal/2006-04-02 Edition (April 2006)

    Google Scholar 

  13. Caromel, D., Henrio, L., Serpette, B.P.: Asynchronous and deterministic objects. In: Proceedings of the 31st ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 123–134. ACM Press, New York (2004)

    Chapter  Google Scholar 

  14. Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New York (1996)

    Book  MATH  Google Scholar 

  15. Johnsen, E.B., Owe, O.: An asynchronous communication model for distributed concurrent objects. In: Proc. 2nd Intl. Conf. on Software Engineering and Formal Methods (SEFM 2004), pp. 188–197. IEEE press, Los Alamitos (2004)

    Google Scholar 

  16. Johnsen, E.B., Owe, O., Yu, I.C.: Creol: a types-safe object-oriented model for distributed concurrent systems. Journal of Theoretical Computer Science 365(1-2), 23–66 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  17. Grabe, I., Steffen, M., Torjusen, A.B.: Executable interface specifications for testing asynchronous creol components. Technical Report Research Report No. 375, University of Oslo (July 2008)

    Google Scholar 

  18. Meseguer, J.: Conditional reqriting logic as a unified model of concurrency. Journal of Theoretical Computer Science 96, 73–155 (1992)

    Article  MATH  Google Scholar 

  19. Jones, C.B.: Development Methods for Computer Programs Including a Notion of Interference. PhD thesis, Oxford University, UK (June 1981)

    Google Scholar 

  20. Broy, M., Dederich, F., Dendorfer, C., Fuchs, M., Gritzner, T., Weber, R.: The design of distributed systems - an introduction to focus. Technical Report TUM-I9202, Technische Univerität München (1992)

    Google Scholar 

  21. He, J., Li, X., Liu, Z.: rcos: A refinement calculus for object systems. Theoretical Computer Science 365(1-2), 109–142 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  22. Chen, X., He, J., Liu, Z., Zhan, N.: A model of component-based programming. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 191–206. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  23. Caromel, D., Delbé, C., di Costanzo, A., Leyton, M.: ProActive: an integrated platform for programming and running applications on grids and P2P systems. Computational Methods in Science and Technology 12(1), 69–77 (2006)

    Article  Google Scholar 

  24. Schmitt, A., Stefani, J.-B.: The kell calculus: A family of higher-order distributed process calculi. In: Priami, C., Quaglia, P. (eds.) GC 2004. LNCS, vol. 3267, pp. 146–178. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  25. Hirschkoff, D., Hirschowitz, T., Pous, D., Schmitt, A., Stefani, J.-B.: Component-oriented programming with sharing: Containment is not ownership. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 389–404. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  26. Merle, P., Stefani, J.B.: A formal specification of the Fractal component model in Alloy. Research Report RR-6721, INRIA (2008)

    Google Scholar 

  27. de Boer, F.S., Clarke, D., Johnsen, E.B.: A complete guide to the future. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 316–330. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  28. Nipkow, T., Paulson, L.C., Wenzel, M.T.: Isabelle/HOL. LNCS, vol. 2283. Springer, Heidelberg (2002)

    MATH  Google Scholar 

  29. Henrio, L., Rivera, M.: Stopping safely hierarchical distributed components: application to gcm. In: CBHPC 2008: Proceedings of the 2008 compFrame/HPC-GECO workshop on Component based high performance, pp. 1–11. ACM, New York (2008)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INRIA – CNRS – I3S – Université de Nice Sophia-Antipolis, France

    Ludovic Henrio & Marcela Rivera

  2. Institut für Softwaretechnik und Theoretische Informatik, TU-Berlin, Germany

    Florian Kammüller

Authors
  1. Ludovic Henrio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Florian Kammüller
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marcela Rivera
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centre for Mathematics and Computer Science, CWI, Science Park 123, 1098, Amsterdam, XG, The Netherlands

    Frank S. de Boer

  2. Leiden Institute of Advanced Computer Science, Leiden University, P.O. Box 9512, 2300, Leiden, RA, The Netherlands

    Marcello M. Bonsangue

  3. INRIA, Centre Sophia Antipolis, 2004 route des Lucioles, B.P. 93, 06902, Sophia Antipolis, France

    Eric Madelaine

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Henrio, L., Kammüller, F., Rivera, M. (2009). An Asynchronous Distributed Component Model and Its Semantics. In: de Boer, F.S., Bonsangue, M.M., Madelaine, E. (eds) Formal Methods for Components and Objects. FMCO 2008. Lecture Notes in Computer Science, vol 5751. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04167-9_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04167-9_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04166-2

  • Online ISBN: 978-3-642-04167-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation