Akinori Yonezawa
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.
- Briot 1984 Brlot, J-P, Insmnclmion ct H~ dams lea Lamgc~es Objets, (ttt~ de 3~me qr.te). Lrrp Rmemch Repe~ No 85-21, Lrrp - Univmi~ pads.vz, Pro% 15 December 1984.Google Scholar
- Brodie et. al. 1984 Brodie, M., J. My~ J. Schndd~ (eds.), On CanceWuat ModeUing- Springer. 1984.Google Scholar
- Hewitt et. al. 1974 Hewitt' C., et at., Behavioral Semamics of Nonrecursive Control Structures. Ptoc. Colloque stur la Programmation, Paris, April, 1974. Google ScholarDigital Library
- Hewitt 1977 Hewitt' C., Viewing Control Structures as Patterns of Pass. in8 Messa&es, Journal of Artificial Intelligence, Vol. 8, No. 3 (1977), pp.323-364.Google ScholarDigital Library
- Hewitt and Baker 1977 Hcwitt, C., H. Baker, laws for Parallel Conununi. cazinf Processes, Proc. IFIP-77, Toronto, 1977.Google Scholar
- Hoare 1974 Hoare, C.A.R., Monitors: An Operatin& System $tructurin$ Concept, Communications of the ACM, Vol. 17, No. I0 (1974), pp.~9-558. Google ScholarDigital Library
- Hoare 1978 Hoare, C.A.R., Commmu'catin& Sequenxi~zl Processes, Communicadons of the ACM, Vol. 21 No. 8 (1978), pp.666-677. Google ScholarDigital Library
- Jackson 1983 Jackson, M., System Development, Prentice Hall, 1983. Google ScholarDigital Library
- Kerridge and Simpson 1984 gerddge, J. M., D. Simpson, Three SolutionJ for a Robot Arm Controller Uxin& Pascal.Plus, Occam and Edison, Software - Practice and Experience - Vol. 14, (1984), pp.3-1 $.Google ScholarCross Ref
- Lieberman 1981 IAeberman, H., A Preview of Act-I, Ai-Memo 625, Artificial Intelligence Laborau~, MIT, 1981.Google Scholar
- Lieberman 1986 Lieberman, H., Oele&a~on and Inhm'tance: Two Mechanisms for Sharing Knowledge in Object.Oriented Systems, Proc. of 3rd Workshop on Object-Oriented Languages, Bigre+Globule, No. 48, Paris, January 1986.Google Scholar
- Serpette 1984 Serpette, B., Conte.xtes, Processus, Objets. Stquenceurs: FORMES, (th~se de 3~me cycle). LITP Research Report, No. 85.5, LITP. Universit6 Paris-Vl, Paris, 30 October 1984.Google Scholar
- Shibayama et. al. 1985 Shibayama, E., M. Matsuda, A. Yonezawa, A Description of an Inventory Control System Based on an Object- Oriented Concurrent Programm/ng Methodology, Jouhou-Shori, VoL 26, No. $ (1985), ppA60468. (in Japanese)Google Scholar
- Shibayama and Yonezawa 1986 Shibayanm, E., A. Yonezawa, Distributed Comp~n& in ABCLII, in "Object-Ckiented Concurrent ~min$" edited by A. Yonezswa and M. Tokoro, MIT Press, 1986. Google ScholarDigital Library
- Shibayama and Yonezawa 1986a Shibayama, E., A. Yonezawa, ABCIJI U~F x Manual, ~eemal Me~ 1986.Google Scholar
- Smith 1985 Smith, R. O., Report on the l~g4 Distvi6~ed Art~cial Intelli- &ence Workshop, The AI Magazine Fall, 1985.Google Scholar
- Special Issue 1981 Special Issue on Distributed Problem Solving, IEEE Trans. on Systems, Man, and Cybernetics, Vol. SMC.I t, No.l, 1981.Google Scholar
- Special Issue 1982 Special Issue on Rapid ~ing- ACM SIC} Software Ensine~ng Notes Vol. 7, No. & December 1982.Google Scholar
- Stefik and Bobrow 1986 Steflk, M. K., D. O. Bobrow, Object.Oriented Pro&rmnn~&: Themes and Var/at/on, The AI Magazine, 1986 Google ScholarDigital Library
- Tschritzis 1985 Tschritzis, D. (Ed.), Ojice Automation, Springm', 1985.Google Scholar
- Yonezawa and Hewitt 1979 Yow.uwa, A., C Hewi~, Modelling DLu6. butcd Syatems, Machine Intelligence, Vol. 9 (1979), pp.41-50.Google Scholar
- Yonezawa et. al. 1984 Yonezawa, A., H. MaUude, E. Shibaymna, Discret~ ~nt $1mulaa'on Bawd on an Objtct.Orlented Parallel Computation Modal, Research Relx~ C-64, DepL of infornmdon Science, Tokyo Institute of Technology, November 1984.Google Scholar
- Yonezawa et. al. 1985 Yonezawa, A., Y. Matsumoto, Object-Oriented Concurrent Pro&rammin& and Industrial Soflw~e Prod~tion. Lec. ture Notes in Computer Science, No.186, Swinger-Verlag, 1985.Google Scholar
- Yonezawa et. al. 1986 Yonezawa, A., E. SIu'oayama, T. Takada, Y. Honda, ModellM8 and Pro&ramming in an Obj~t-Oriented Conca~ou Lan&uage ABCUI. in "Object43dented Concunem Rrolpmm~" edited by A. Yo,ezawa and M. Tokom, MIT Reu, 1986. Google ScholarDigital Library
- Yonezawa and Tokoro 1986 Yonezawa, A, M. Tokom (Eds.), Object- Oriented Concurrent ProlFammin$, MIT Proms 1986 (in lXeSs). Google ScholarDigital Library
Index Terms
- Object-oriented concurrent programming in ABCL/1
Recommendations
Object-oriented concurrent programming in ABCL/1
OOPSLA '86: Conference proceedings on Object-oriented programming systems, languages and applicationsAn 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, ...
Transactions for concurrent object-oriented programming systems
OOPSLA/ECOOP '88: Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programmingConcurrent object-oriented programming systems (COOPS) require support for fault tolerance, concurrency control, consistent commitment of changes and program-initiated rollback. It is sometimes suggested that the classical transaction processing model ...
Transactions for concurrent object-oriented programming systems
Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent ProgrammingConcurrent object-oriented programming systems (COOPS) require support for fault tolerance, concurrency control, consistent commitment of changes and program-initiated rollback. It is sometimes suggested that the classical transaction processing model ...
Comments