Semantic Models for Distributed Object Reflection | SpringerLink
Skip to main content
Springer Nature Link
Log in

Semantic Models for Distributed Object Reflection

  • Conference paper
  • First Online:
ECOOP 2002 — Object-Oriented Programming (ECOOP 2002)

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

Included in the following conference series:

Abstract

A generic formal model of distributed object reflection is proposed, that combines logical reflection with a structuring of distributed objects as nested configurations of metaobject that can control subobjects under them. The model provides mathematical models for a good number of existing models of distributed reflection and of reflective middleware. To illustrate the ideas, we show in some detail how two important models of distributed actor reflection can be naturally obtained as special cases of our generic model, and discuss how several recent models of reflective middleware can be likewise formalized as instances of our model.

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
¥17,985 /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
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 11439
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 14299
Price includes VAT (Japan)
  • 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.

Similar content being viewed by others

References

  1. G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, Mass., 1986.

    Google Scholar 

  2. G. Agha and C. Callsen. Actorspace: An open distributed programming paradigm. In Proc. ACM Symp. on Principles and Practice of Parallel Programming (PPOPP), volume (28:7), pages 23–32, July 1993.

    Google Scholar 

  3. G. Agha, S. Frølund, W. Kim, R. Panwar, A. Patterson, and D. Sturman. Abstraction and modularity mechanisms for concurrent computing. IEEE Parallel and Distributed Technology: Systems and Applications, 1(2):3–14, May 1993.

    Google Scholar 

  4. G. Agha, S. Frølund, R. Panwar, and D. Sturman. A linguistic framework for dynamic composition of dependability protocols. In Proceedings of the 3rd IFIP Working Conference on Dependable Computing for Critical Applications, Sept. 1992.

    Google Scholar 

  5. W. E. Aitken, R. L. Constable, and J. L. Underwood. Metalogical frameworks II: Using reflected decision procedures. Technical Report, Computer Sci. Dept., Cornell University, 1993; also, lecture at the Max Planck Institut für Informatik, Saarbrücken, Germany, July 1993.

    Google Scholar 

  6. A. Albarrán, F. Durán, and A. Vallecillo. From Maude specifications to SOAP distributed implementations: A smooth transition. In VI Jornadas Ingenieria del Software y Bases de Datos (JISBD’01), pages 419–433, 2001.

    Google Scholar 

  7. A. Albarrán, F. Durán, and A. Vallecillo. Maude meets CORBA. In Second Argentine Symposium on Software Engineering (ASSE’01), 2001.

    Google Scholar 

  8. J. Andrews. Process-algebraic foundations of separation-of-concerns programming. In Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Reflection 2001, Lecture Notes in Computer Science. Springer-Verlag, 2001.

    Google Scholar 

  9. M. Astley. Customization and Composition of Distributed Objects: Policy Management in Distributed Software Architectures. PhD thesis, University of Illinois, Urbana-Champaign, 1999.

    Google Scholar 

  10. H. G. Baker and C. Hewitt. Laws for communicating parallel processes. In IFIP Congress, pages 987–992. IFIP, Aug. 1977.

    Google Scholar 

  11. D. Basin, M. Clavel, and J. Meseguer. Rewriting logic as a metalogical framework. In S. Kapoor and S. Prasad, editors, FST TCS 2000, pages 55–80. Springer LNCS, 2000.

    Google Scholar 

  12. G. Blair, M. Clarke, F. Costa, G. Coulson, H. Duran, and N. Parlavantzas. The evolution of OpenORB. In K. B. Saikoski, editors. IFIP/ACM Middleware’2000 Workshop on Reflective Middleware, New York, April 2000. Gordon Blair and Roy Campbell (co-chairs) Kon and Saikoski [44]. see http://www.comp.lancs.ac.uk/computing/users/johnstlr/rm2000/.

  13. G. Blair, G. Coulson, P. Robin, and M. Papathomas. An architecture for next generation middleware. In Middleware’ 98, 1998.

    Google Scholar 

  14. L. Blair and G. Blair. Composition in multiparadigm specification techniques. In 3rd International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS’99), pages 401–417. Kluwer, 1999.

    Google Scholar 

  15. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and M. Vittek. ELAN: A logical framework based on computational systems. In J. Meseguer, editor, Proc. First Intl. Workshop on Rewriting Logic and its Applications, volume 4 of Electronic Notes in Theoretical Computer Science. Elsevier, 1996. http://www.elsevier.nl/cas/tree/store/tcs/free/noncas/pc/volume4.htm.

  16. R. S. Boyer and J. S. Moore. Metafunctions: proving them correct and using them efficiently as new proof procedures. In R. Boyer and J. Moore, editors, The Correctness Problem in Computer Science, pages 103–185. Academic Press, 1981.

    Google Scholar 

  17. M. Clavel. Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. CSLI Publications, 2000.

    Google Scholar 

  18. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Marti-Oliet, and J. Meseguer. Metalevel Computation in Maude. In C. Kirchner and H. Kirchner, editors, 2nd International Workshop on Rewriting Logic and Its Applications, WRLA’ 98, volume 15 of Electronic Notes in Theoretical Computer Science. Elsevier, 1998. http://www.elsevier.nl/locate/entcs/volume15.html.

  19. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. SRI International, January 1999, http://maude.csl.sri.com.

  20. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. A tutorial on Maude. SRI International, March 2000, http://maude.csl.sri.com.

  21. M. Clavel, F. Durán, S. Eker, and J. Meseguer. Building equational proving tools by reflection in rewriting logic. In Proc. of the CafeOBJ Symposium’ 98, Numazu, Japan. CafeOBJ Project, April 1998. http://maude.csl.sri.com.

  22. M. Clavel and J. Meseguer. Axiomatizing reflective logics and languages. In G. Kiczales, editor, Proceedings of Reflection’96, San Francisco, California, April 1996, pages 263–288, 1996. http://jerry.cs.uiuc.edu/reflection/.

  23. M. Clavel and J. Meseguer. Reflection in conditional rewriting logic. to appear in Theoretical Computer Science, Volume 304, Issues 1–2., 2002.

    Google Scholar 

  24. P. Cointe, editor. Proceedings of Reflection’99, volume 1616 of Lecture Notes in Computer Science. Springer, 1999.

    Google Scholar 

  25. F. M. Costa and G. S. Blair. Integrating meta-information management and reflection in middleware. In Second International Symposium on Distributed Objects and Applications (DOA’00), pages 133–143, Sept. 2000.

    Google Scholar 

  26. G. Denker, J. Meseguer, and C. L. Talcott. Rewriting semantics of distributed meta objects and composable communication services. In Third International Workshop on Rewriting Logic and Its Applications (WRLA’2000), Kanazawa, Japan, September 18 — 20, 2000, volume 36 of Electronic Notes in Theoretical Computer Science. Elsevier, 2000. http://www.elsevier.nl/locate/entcs/volume36.html.

  27. F. Durán, S. Eker, P. Lincoln, and J. Meseguer. Principles of Mobile Maude. In Agent Systems, Mobile Agents, and Applications, ASA/MA 2000, volume 1882 of Lecture Notes in Computer Science, pages 73–85. Springer-Verlag, 2000.

    Chapter  Google Scholar 

  28. F. Durán and A. Vallecillo. Specifying the ODP information viewpoint using Maude. In H. Kilov and K. Baclawski, editors, Proceedings of Tenth OOPSLA Workshop on Behavioral Semantics, pages 44–57, October 2001.

    Google Scholar 

  29. F. Durán and A. Vallecillo. Writing ODP enterprise specifications in Maude. In J. Cordeiro and H. Kilov, editors, Proceedings of Workshop On Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation (WOODPECKER’01), pages 55–68, July 2001.

    Google Scholar 

  30. H. A. Duran-Limon and G. S. Blair. The importance of resource management in engineering distributed objects. In Second International Workshop on Engineering Distributed Objects (EDO2000), Nov. 2000.

    Google Scholar 

  31. I. Foster, C. Kesselman, and S. Tuecke. The anatomy of the grid: Enabling scalable virtual organizations. International Journal of Supercomputer Applications, 2001.

    Google Scholar 

  32. S. Frølund. Coordinated Distributed Objects: An Actor Based Approach to Synchronization. MIT Press, 1996.

    Google Scholar 

  33. K. Futatsugi and R. Diaconescu. CafeOBJ Report. World Scientific, AMAST Series, 1998.

    Google Scholar 

  34. A. Grimshaw and W. W. et al. The Legion Vision of a Worldwide Virtual Computer. Communications of the ACM, 40(1), Jan. 1997.

    Google Scholar 

  35. C. Hewitt, P. Bishop, and R. Steiger. A universal modular actor formalism for artificial intelligence. In Proceedings of 1973 International Joint Conference on Artificial Intelligence, pages 235–245, Aug. 1973.

    Google Scholar 

  36. P. Hill and J. Lloyd. The Gödel language. Technical Report CSTR-92-27, University of Bristol, Computer Science Department, 1992.

    Google Scholar 

  37. D. J. Howe. Reflecting the semantics of reflected proof. In P. Aczel, H. Simmons, and S. S. Wainer, editors, Proof Theory, pages 229–250. Cambridge University Press, 1990.

    Google Scholar 

  38. J.-I. Itoh, Y. Yokote, and R. Lea. Using meta-objects to support optimisation in the apertos operating system. In USENIX Conference on Object-Oriented Technologies (COOTS), pages 147–158. USENIX Association, 1995.

    Google Scholar 

  39. ITU-T/ISO. Reference model for open distributed processing. Technical Report ITU-T X.901-X.904 — ISO/IEC IS 10746-(1,2,3), ITU-T/ISO, 1995.

    Google Scholar 

  40. G. Kiczales, editor. Reflection’96, 1996.

    Google Scholar 

  41. G. Kiczales, J. des Riviers, and D. G. Bobrow. The Art of the Metaobject Protocol. MIT Press, 1991.

    Google Scholar 

  42. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Aksit and S. Matsuoka, editors, Proc. European Conference on Object-Oriented Programming (ECOOP’97), Finland, volume 1241 of Lecture Notes in Computer Science, pages 220–242, 1997.

    Google Scholar 

  43. F. Kon, M. Román, P. Liu, J. Mao, T. Yamane, L. C. Magalhães, and R. H. Campbell. Monitoring, security, and dynamic configuration with the dynamicTAO reflective ORB. In Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware’2000), number 1795 in LNCS, pages 121–143, New York, April 2000. Springer-Verlag.

    Google Scholar 

  44. F. Kon and K. B. Saikoski, editors. IFIP/ACM Middleware’2000 Workshop on Reflective Middleware, New York, April 2000. Gordon Blair and Roy Campbell (co-chairs). see http://www.comp.lancs.ac.uk/computing/users/johnstlr/rm2000/.

  45. F. Kon, A. Singhai, R. H. Campbell, D. Carvalho, R. Moore, and F. J. Ballesteros. 2K: A Reflective, Component-Based Operating System for Rapidly Changing Environments. In ECOOP’98 Workshop on Reflective Object-Oriented Programming and Systems, Brussels, Belgium, July 1998.

    Google Scholar 

  46. J. Loyall, R. Schantz, J. Zinky, and D. Bakken. Specifying and measuring quality of service in distributed object systems. In Proceedings of the First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC’ 98), Apr. 1998.

    Google Scholar 

  47. P. Maes. Concepts and experiments in computational reflection. In OOPSLA, pages 147–155, 1987. in ACM SIGPLAN Notices 22(12).

    Google Scholar 

  48. E. Marsden, J. C. R. García, and J.-C. Fabre. Towards validating reflective architectures: formalization of a metaobject protocol. In K. B. Saikoski, editors. IFIP/ACM Middleware’2000 Workshop on Reflective Middleware, New York, April 2000. Gordon Blair and Roy Campbell (co-chairs). Kon and Saikoski [44]. see http://www.comp.lancs.ac.uk/computing/users/johnstlr/rm2000/.

  49. S. Matthews. Reflection in logical systems. In IMSA’92, pages 178–183. Information-Technology Promotion Agency, Japan, 1992.

    Google Scholar 

  50. J. Meseguer. General logics. In H.-D. E. et al., editor, Logic Colloquium’87, pages 275–329. North-Holland, 1989.

    Google Scholar 

  51. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73–155, 1992.

    Article  MathSciNet  MATH  Google Scholar 

  52. J. Meseguer. A logical theory of concurrent objects and its realization in the Maude language. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 314–390. MIT Press, 1993.

    Google Scholar 

  53. T. A. Mogensen. Efficient self-interpretation in lambda calculus. Journal of Functional Programming, 2(3):345–364, 1992.

    Article  MathSciNet  MATH  Google Scholar 

  54. E. Najm and J.-B. Stefani. Computational models for open distributed systems. In H. Bowman and J. Derrick, editors, Formal Methods for Open Object-based Distributed Systems, Volume 2, pages 157–176. Chapman & Hall, 1997.

    Google Scholar 

  55. Object Management Group. The Common Object Request Broker: Architecture and Specification, 2.3 ed., June 1999.

    Google Scholar 

  56. H. Okamura, Y. Ishikawa, and M. Tokoro. Al-1/d: A distributed programming system with multi-model reflection framework. In A. Yonezawa and B. C. Smith, editors, Reflection and Meta-Level Architetures, pages 36–47. ACM SIGPLAN, 1992.

    Google Scholar 

  57. P. P. Pal, J. Loyall, R. E. Schantz, J. Zinky, R. Shapiro, and J. Megquier. Using qdl to specify qos aware distributed (quo) application configuration. In The 3rd IEEE International Symposium on Object-Oriented Real-time Distributed Computing, (ISORC 2000), Mar. 2000.

    Google Scholar 

  58. S. Ren. An Actor-Based Framework for Real-Time Coordination. PhD thesis, University of Illinois at Urbana-Champaign, 1997.

    Google Scholar 

  59. J. C. Reynolds. Definitional interpreters for higher-order programming languages. In Proceedings, ACM national convention, pages 717–740, 1972.

    Google Scholar 

  60. H. Rueß. Formal Meta-Programming in the Calculus of Constructions. PhD thesis, Universität Ulm, 1995.

    Google Scholar 

  61. D. C. Schmidt, D. Levine, and S. Mungee. The design of the Tao real-time object request broker. Computer Communications, 21, 1997. Special Issue on Building Quality of Service into Distributed Systems.

    Google Scholar 

  62. N. Shankar. Metamathematics, Machines, and Gödel’s Proof. Cambridge University Press, 1994.

    Google Scholar 

  63. B. C. Smith. Reflection and Semantics in a Procedural Language. PhD thesis, MIT, 1982.

    Google Scholar 

  64. C. Smorynski. The incompleteness theorems. In J. Barwise, editor, Handbook of Mathematical Logic, pages 821–865. North-Holland, 1977.

    Google Scholar 

  65. R. M. Smullyan. Diagonalization and S elf-Reference. Oxford University Press, 1994.

    Google Scholar 

  66. D. Sturman. Modular Specification of Interaction Policies in Distributed Computing. PhD thesis, University of Illinois at Champaign Urbana, 1996.

    Google Scholar 

  67. V. F. Turchin. Refal-5: programming guide and reference manual. New England Publishing Co., 1989.

    Google Scholar 

  68. N. Venkatasubramanian. Resource Management in Open Distributed Systems with Applications to Multimedia. PhD thesis, University of Illinois, Urbana-Champaign, 1998.

    Google Scholar 

  69. N. Venkatasubramanian, G. Agha, and C. L. Talcott. Scalable distributed garbage collection for systems of active objects. In International Workshop on Memory Management, IWMM92, Saint-Malo, LNCS, 1992.

    Google Scholar 

  70. N. Venkatasubramanian, G. Agha, and C. L. Talcott. A formal model for reasoning about adaptive QoS-enabled middleware. In Formal Methods for Increasing Software Productivity (FME2001), 2001.

    Google Scholar 

  71. N. Venkatasubramanian and C. L. Talcott. A metaarchitecture for distributed resource management. In Hawaii International Conference on System Sciences, HICSS-26, Jan. 1993.

    Google Scholar 

  72. N. Venkatasubramanian and C. L. Talcott. Reasoning about meta level activities in open distributed systems. In Principles of Distributed Computation (PODC’ 95), pages 144–153. ACM, 1995.

    Google Scholar 

  73. N. Venkatasubramanian and C. L. Talcott. A semantic framework for modeling and reasoning about reflective middleware, 2001. to appear in Distributed Systems Online.

    Google Scholar 

  74. N. Wang, M. Kircher, D. C. Schmidt, and K. Parameswaran. Applying reflective middleware techniques to optimize a QoS-enabled CORBA component model implementation. In COMPSAC 2000 Conference, Taipei, Taiwan, 2000.

    Google Scholar 

  75. R. W. Weyhrauch. Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence, 13:133–170, 1980.

    Article  MathSciNet  MATH  Google Scholar 

  76. A. Yonezawa. ABCL: An Object-Oriented Concurrent System. MIT Press, Cambridge Mass., 1990.

    Google Scholar 

  77. A. Yonezawa, editor. Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, Reflection 2001. Lecture Notes in Computer Science. Springer-Verlag, 2001.

    Google Scholar 

  78. A. Yonezawa and B. C. Smith, editors. Reflection and Meta-Level Architecture. ACM SIGPLAN, 1992.

    Google Scholar 

  79. J. Zinky, D. Bakken, and R. Schantz. Architectural support for quality of service for CORBA objects. Theory and Practice of Object Systems, Apr. 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, University of Illinois at Urbana-Champaign, Urbana, IL, 61801

    José Meseguer

  2. Computer Science Laboratory, SRI International, Menlo Park, CA, 94025

    Carolyn Talcott

Authors
  1. José Meseguer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carolyn Talcott
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Lund, Box 118, 211 00, Lund, Sweden

    Boris Magnusson

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Meseguer, J., Talcott, C. (2002). Semantic Models for Distributed Object Reflection. In: Magnusson, B. (eds) ECOOP 2002 — Object-Oriented Programming. ECOOP 2002. Lecture Notes in Computer Science, vol 2374. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-47993-7_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-47993-7_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation