Skip to main content
SpringerLink
Log in
Book cover

Specification and Verification of Concurrent Systems pp 1–20Cite as

The Interplay of Theory and Practice in a Parallel Object-Oriented Language

  • Conference paper

  • 56 Accesses

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

In this paper we give an overview of the techniques that have been used to describe the semantics of the language POOL in a formal way. POOL is a language designed to program a high-performance parallel machine. It was described independently in an operational way and in a denotational way, and these descriptions were subsequently proved to be equivalent. A number of other semantic techniques have also been applied to POOL. Finally we discuss the practical usefulness of this kind of semantic studies.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Pierre America and Jaco de Bakker. Designing equivalent semantic models for process creation. In Marisa Venturini Zilli, editor, Mathematical Models for the Semantics of Parallelism, 1987, 21–80, Lecture Notes in Computer Science 280, Springer-Verlag.

    Chapter  Google Scholar 

  2. Pierre America, Jaco de Bakker, Joost N. Kok, and Jan Rutten. Operational semantics of a parallel object-oriented language. In Conference Record of the 13th Symposium on Principles of Programming Languages, St. Petersburg, Florida, January 13–15, 1986, 194–208.

    Google Scholar 

  3. Pierre America, Jaco de Bakker, Joost N. Kok, and Jan Rutten. Denotational semantics of a parallel object-oriented language. ESPRIT Project 415 Document 190, Philips Research Laboratories, Eindhoven, the Netherlands, January 1988. (To appear in Information and Computation.)

    Google Scholar 

  4. Gul Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.

    Google Scholar 

  5. P. M. G. Apers, M. L. Kersten, and A. C. M. Oerlemans. PRISMA database machine: a distributed, main-memory approach. PRISMA Project Document 175, Philips Research Laboratories, Eindhoven, the Netherlands, October 1987.

    Google Scholar 

  6. Pierre America. Definition of the programming language POOL-T. ESPRIT Project 415 Document 91, Philips Research Laboratories, Eindhoven, the Netherlands, September 1985.

    Google Scholar 

  7. Pierre America. A proof theory for a sequential version of POOL. ES-PRIT Project 415 Document 188, Philips Research Laboratories, Eindhoven, the Netherlands, October 1986.

    Google Scholar 

  8. Pierre America. Inheritance and subtyping in a parallel object-oriented language. In Jean Bézivin, Jean-Marie Hullot, Pierre Cointe, and Henry Lieberman, editors, ECOOP’87: European Conference on ObjectOriented Programming, Paris, France, June 15–17, 1987, 234–242, Lecture Notes in Computer Science 276, Springer-Verlag.

    Google Scholar 

  9. Pierre America. POOL-T a parallel object-oriented language. In Akinori Yonezawa and Mario Tokoro, editors, Object-Oriented Concurrent Programming, 199–220, MIT Press, 1987.

    Google Scholar 

  10. Pierre America. Definition of POOL2, a parallel object-oriented language. ESPRIT Project 415 Document 364, Philips Research Laboratories, Eindhoven, the Netherlands, April 1988.

    Google Scholar 

  11. Pierre America. Rationale for the design of POOL2. ESPRIT Project 415 Document 393, Philips Research Laboratories, Eindhoven, the Netherlands, April 1988.

    Google Scholar 

  12. Pierre America and Jan Rutten. Solving reflexive domain equations in a category of complete metric spaces. In M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Mathematical Foundations of Programming Language Semantics, 1988, 254–288, Lecture Notes in Computer Science 298, Springer-Verlag.

    Chapter  Google Scholar 

  13. J. C. M. Baeten, J. A. Bergstra, and J. W. Klop. On the consistency of Koomen’s fair abstraction rule. Report CS-R8511, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, May 1985.

    Google Scholar 

  14. W. J. H. J. Bronnenberg, M. D. Janssens, E. A. M. Odijk, and R. A. H. van Twist. The architecture of DOOM. In P. Treleaven and M. Vanneschi, editors, Future Parallel Computers: An Advanced Course, Pisa, Italy, June 9–20, 1986, 227–269, Lecture Notes in Computer Science 272, Springer-Verlag.

    Google Scholar 

  15. J. A. Bergstra and J. W. Klop. Process algebra for synchronous communication. Information and Control, 60:109–137, 1984.

    Article  MathSciNet  MATH  Google Scholar 

  16. J. A. Bergstra and J. W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37(1):77–121, May 1985.

    Article  MathSciNet  MATH  Google Scholar 

  17. J. A. Bergstra, J. W. Klop, and E.-R. Olderog. Failures without chaos: a new process semantics for fair abstraction. Report CS-R8625, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, August 1986.

    Google Scholar 

  18. Frank S. de Boer. A proof rule for process creation. In Martin Wirsing, editor, Formal Description of Programming Concepts III Proceedings of the Third IFIP WG 2.2 Working Conference, G1. Avernæs, Ebberup, Denmark, August 25–28, 1986, 23–50, North-Holland.

    Google Scholar 

  19. J. W. de Bakker and J. I. Zucker. Processes and the denotational semantics of concurrency. Information and Control, 54:70–120, 1982.

    Article  MathSciNet  MATH  Google Scholar 

  20. William Douglas Clinger. Foundations of actor semantics. Technical Report 633, Massachusetts Institute of Technology, Artificial Intelligence Laboratory, May 1981.

    Google Scholar 

  21. W. Damm and G. Döhmen. The POOL-machine: a top level specification for a distributed object-oriented machine. ESPRIT Project 415 Document 1, Lehrstuhl für Informatik, RWTH Aachen, Aachen, West Germany, October 3, 1986.

    Google Scholar 

  22. W. Damm, G. Döhmen, and P. den Haan. Using AADL to specify distributed computer architectures a case study. In J.W. de Bakker, editor, Deliverable D3 of the Working Group on Semantics and Proof Techniques, chapter 1.4, ESPRIT Project 415, Philips Research Laboratories, Eindhoven, the Netherlands, October 1987.

    Google Scholar 

  23. J. Dugundji. Topology. Allyn and Bacon, Boston, Massachusetts, 1966.

    MATH  Google Scholar 

  24. R. Engelking. General Topology. Polish Scientific Publishers, 1977.

    MATH  Google Scholar 

  25. Michael J. C. Gordon. The Denotational Description of Programming Languages: An Introduction. Springer-Verlag, 1979.

    Google Scholar 

  26. Carl Hewitt. Viewing control structures as patterns of passing messages. Artificial Intelligence, 8:323–364, 1977.

    Article  Google Scholar 

  27. Matthew Hennessy and Gordon Plotkin. Full abstraction for a simple parallel programming language. In J. Bečvář, editor, Proceedings of the 8th Symposium on Mathematical Foundations of Computer Science, 1979, 108–120, Lecture Notes in Computer Science 74.

    Google Scholar 

  28. D. Janssens and G. Rozenberg. Basic notions of actor grammars: a graph grammar model for actor computation. In H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, editors, Graph-Grammars and Their Application to Computer Science, 1987, 280–298, Lecture Notes in Computer Science 291, Springer-Verlag.

    Chapter  Google Scholar 

  29. Joost N. Kok and Jan J. M. M. Rutten. Contractions in comparing concurrency semantics. Report CS-R8755, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, November 1987.

    Google Scholar 

  30. George Leih. Actor graph grammars and POOL2. PRISMA Project Document 265, University of Leiden, Department of Computer Science, February 1988.

    Google Scholar 

  31. Eddy A. M. Odijk. The DOOM system and its applications: a survey of ESPRIT 415 subproject A. In J. W. de Bakker, A. J. Nijman, and P. C. Treleaven, editors, Proceedings of PARLE: Parallel Architectures and Languages Europe. Volume I: Parallel Architectures, Eindhoven, the Netherlands, June 15–19, 1987, 461–479, Lecture Notes in Computer Science 258, Springer-Verlag.

    Google Scholar 

  32. Gordon D. Plotkin. A powerdomain construction. SIAM Journal on Computing, 5(3):452–487, September 1976.

    Article  MathSciNet  MATH  Google Scholar 

  33. Gordon D. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Aarhus University, Computer Science Department, Aarhus, Denmark, September 1981.

    Google Scholar 

  34. Gordon D. Plotkin. An operational semantics for CSP. In D. Bjørner, editor, Formal Description of Programming Concepts II, 1983, 199–223, North-Holland.

    Google Scholar 

  35. Jan Rutten. Semantic equivalence for a parallel object-oriented language. Report CS-R88XX, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, 1988. (To appear.)

    Google Scholar 

  36. Michael B. Smyth. Power domains. Journal of Computer and System Sciences, 16:23–36, 1978.

    Article  MathSciNet  Google Scholar 

  37. Frits W. Vaandrager. Process algebra semantics for POOL. Report CSR8629, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, August 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philips Research Laboratories, Eindhoven, Netherlands

    Pierre America

Authors
  1. Pierre America
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing Science, University of Stirling, Stirling, FK9 4LA, UK

    C. Rattray MSc

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag London

About this paper

Cite this paper

America, P. (1990). The Interplay of Theory and Practice in a Parallel Object-Oriented Language. In: Rattray, C. (eds) Specification and Verification of Concurrent Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3534-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3534-0_1

  • Publisher Name: Springer, London

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

  • Online ISBN: 978-1-4471-3534-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation