Skip to main content
SpringerLink
Log in

Object-Oriented Concurrent Programming in ABCL/1

  • Chapter
Concurrent Objects and Beyond

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

Abstract

An object-oriented computation model is presented which is designed for modelling and describing a wide variety of concurrent systems. In this model, three types of message passing are incorporated. An overview of a programming language called ABCL/1, whose semantics faithfully reflects this computation model, is also presented. Using ABCL/1, a simple scheme of distributed problem solving is illustrated. Furthermore, we discuss the reply destination mechanism and its applications. A distributed “same fringe” algorithm is presented as an illustration of both the reply destination mechanism and the future type message passing which is one of the three message passing types in our computation model.

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. Smith, R.G.: Report on the 1984 distributed artificial intelligence workshop. AI Magazine 6(3), 234–243 (1986)

    Google Scholar 

  2. Special issue on distributed problem solving. IEEE Transactions on Systems, Man, and Cybernetics, SMC 11(1) (1981)

    Google Scholar 

  3. Yonezawa, A., Tokoro, M. (eds.): Object-Oriented Concurrent Programming. The MIT Press (1987)

    Google Scholar 

  4. Brodie, M., Mylopoulos, J., Schmidt, J. (eds.): On Conceptual Modelling. Springer (1984)

    Google Scholar 

  5. Stefik, M.K., Bobrow, D.G.: Object-oriented programming: Themes and variations. AI Magazine 6(4), 40–62 (1986)

    Google Scholar 

  6. Tschritzis, D. (ed.): Office Automation. Springer (1985)

    Google Scholar 

  7. Yonezawa, A., Shibayama, E., Takada, T., Honda, Y.: Modeling and programming in an object-oriented concurrent language ABCL/1. In: Yonezawa, A., Tokoro, M. (eds.) Object-Oriented Concurrent Programming, pp. 55–89. The MIT Press (1987)

    Google Scholar 

  8. Shibayama, E., Yonezawa, A.: ABCL/1 User’s Manual (1986), Internal Memo

    Google Scholar 

  9. Hewitt, C.: Viewing control structures as patterns of passing messages. Artificial Intelligence 8(3), 323–364 (1977)

    Article  Google Scholar 

  10. Hewitt, C., Baker, H.: Laws for parallel communicating processes. In: IFIP Congress Proceedings, Toronto, pp. 987–992 (1977)

    Google Scholar 

  11. Lieberman, H.: A preview of Act-1. AI-Memo AIM-625, Artificial Intelligence Laboratory. MIT (1981)

    Google Scholar 

  12. Yonezawa, A., Hewitt, C.: Modelling distributed systems. In: Machine Intelligence, vol. 9, pp. 41–50. Halsted Press (1979)

    Google Scholar 

  13. Lieberman, H.: Delegation and inheritance - two mechanisms for sharing knowledge in object-oriented systems. In: Bezivin, J., Cointe, P. (eds.) 3rd AFCET Workshop on Object-Oriented Programming, Paris, France. Globule+Bigre, vol. 48, pp. 79–89 (January 1986)

    Google Scholar 

  14. Briot, J.P.: Instanciation et héritage dans les langages objets (thèse de 3ème cycle). LITP Research Report 85-21, LITP - Université Paris-VI, Paris, France (December 1984)

    Google Scholar 

  15. Serpette, B.: Contextes, processus, objets, séquenceurs: FORMES. LITP Research Report 85-5, LITP – Université Paris-VI, Paris (October 1984)

    Google Scholar 

  16. Hewitt, C., et al.: Behavioral semantics of nonrecursive control structures. In: Proceedings of Colloque Sur la Programmation, Paris (April 1974)

    Google Scholar 

  17. Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21(8), 666–677 (1978)

    Article  MATH  Google Scholar 

  18. Hoare, C.A.R.: Monitors: An operating system structuring concept. Communications of the ACM 17(10), 549–558 (1974)

    Article  MATH  Google Scholar 

  19. Yonezawa, A., Matsuda, H., Shibayama, E.: Discrete event simulation based on an object oriented parallel computation model. Technical Report C-64, Dept. of Information Science, Tokyo Institute of Technology (1984)

    Google Scholar 

  20. Shibayama, E., Yonezawa, A.: Distributed computing in ABCL/1. In: Yonezawa, A., Tokoro, M. (eds.) Object-Oriented Concurrent Programming, pp. 91–128. The MIT Press (1987)

    Google Scholar 

  21. Kerridge, J.M., Simpson, D.: Three solutions for a robot arm controller using pascal-plus, occam and edison. Software – Practice and Experience 14, 3–15 (1984)

    Article  Google Scholar 

  22. Shibayama, E., Matsuda, M., Yonezawa, A.: A description of an inventory control system based on an object-oriented concurrent programming methodology. Jouhou-Shori 26(5), 460–468 (1985)

    Google Scholar 

  23. Jackson, M.: System Development. Prentice-Hall (1983)

    Google Scholar 

  24. Yonezawa, A., Matsumoto, Y.: Object-oriented concurrent programming and industrial software production. In: Ehrig, H., Floyd, C., Nivat, M., Thatcher, J. (eds.) TAPSOFT 1985 and CSE 1985. LNCS, vol. 186, pp. 395–409. Springer, Heidelberg (1985)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Science, Tokyo Institute of Technology, Ookayama, Meguro-ku, Tokyo, Japan, 152

    Akinori Yonezawa, Jean-Pierre Briot & Etsuya Shibayama

Authors
  1. Akinori Yonezawa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jean-Pierre Briot
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Etsuya Shibayama
    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 Illinois at Urbana-Champaign, Urbana, IL, USA

    Gul Agha

  2. Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University, Kyoto, Japan

    Atsushi Igarashi

  3. Department of Computer Science, The University of Tokyo, Tokyo, Japan

    Naoki Kobayashi

  4. Department of Mathematical and Computing Sciences, Tokyo Institute of Technology, Tokyo, Japan

    Hidehiko Masuhara

  5. Global Scientific Information and Computing Center, Tokyo Institute of Technology, Tokyo, Japan

    Satoshi Matsuoka

  6. Information Technology Center, The University of Tokyo, Tokyo, Japan

    Etsuya Shibayama

  7. Graduate School of Information Science and Technology, Department of Information and Communication Engineering, The University of Tokyo, Tokyo, Japan

    Kenjiro Taura

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Yonezawa, A., Briot, JP., Shibayama, E. (2014). Object-Oriented Concurrent Programming in ABCL/1. In: Agha, G., et al. Concurrent Objects and Beyond. Lecture Notes in Computer Science, vol 8665. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44471-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-44471-9_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-44470-2

  • Online ISBN: 978-3-662-44471-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation