Article

Free access

How to invent distributed implementation schemes of an object-based concurrent language: a transformational approach

Author:

Etsuya ShibayamaAuthors Info & Claims

OOPSLA '88: Conference proceedings on Object-oriented programming systems, languages and applications

Pages 297 - 305

https://doi.org/10.1145/62083.62110

Published: 01 January 1988 Publication History

PDF eReader

Abstract

A design and verification technique for implementation schemes of distributed software is presented. In this technique, first, the specification is modelled by a concurrent object system, that is, one which is constituted of computational agents with capability of concurrent execution and message passing. Then, such a concurrent object system is transformed into another concurrent object system, which models a sophisticated implementation scheme.

Our transformation technique is mainly based on fusing and splitting concurrent objects. The correctness of transformation rules can be proven formally.

References

[1]

G. Agha: Actors: A Mode} o~ Concurrent Computation in Distributed Systems, MIT Press, 1986.

Digital Library

Google Scholar

[2]

P. America et al." Operational Semantics of a Parallel Object-Oriented Language, CS- R8515, Dept. of Computer Science, Centre Mathematics and Science, 1985.

Google Scholar

[3]

R. M. Burstall and J. Darlington: A Tr~_nsformation System for Developing Recursive Programs, JournaI of ~he A CM, Vol. 24, No. 1, pp. 44-67, 1977.

Digital Library

Google Scholar

[4]

W. D. Clinger: Foundations of Actor Semantics, (Ph.D. thesis), Dept. of Math., M.I.T, 1981.

Google Scholar

[5]

P. Kursawe: How to Invent a Prolog Machine, Lecture No{es in Computer Sdence, Vol. 225, pp. 134-148, Springer-Verlag, 1986.

Digital Library

Google Scholar

[6]

R. Milner: A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vol. 92, Springer-Verlag, 1980.

Digital Library

Google Scholar

[7]

R. Milner: Lectures on a Calculus for Communicating Systems, Lecture Notes in Computer Science, Vol. 197, pp. 197-220, Springer-Verlag, 1985.

Digital Library

Google Scholar

[8]

P. Pepper (F~.): Program Transformation and Programming Environments, Springer-Verlag, 1984

Digital Library

Google Scholar

[9]

V. Pratt: On the Composition of Processes, Proc. ox~ the Ninth Annual A CM Syrup. on POPL, pp. 213-223, 1982

Digital Library

Google Scholar

[10]

V. Pratt: Modeling Concurrency with Partial Orders, Luter~atlonal Journa/of" Parallel Programruing, Vol. 15, No. 1, pp. 33-71, 1986.

Digital Library

Google Scholar

[11]

E. Shibayama: Program Transformation in an Object-Based Parallel Computing Model, Proc. of France-Japan AI and Comp. Sc~ Syrup. '87,93- 109, Cannes, France (1987)

Google Scholar

[12]

A. Yonezawa, J-P. Briot, and E. Shibayama: Object-Oriented Concurrent Programming in ABCL/1, Proceedings of Object-Oriented Programming Systems, Languases and Applications, Portland, Oregon, pp. 258-268, 1986.

Digital Library

Google Scholar

Cited By

View all

Yonezawa A(2007)Parallel Processing Description in the Concurrent Object‐Oriented Language ABCL/1Systems and Computers in Japan10.1002/scj.469021040421:4(36-44)Online publication date: 6-Sep-2007
https://doi.org/10.1002/scj.4690210404
Wakita K(2005)First class continuation facilities in concurrent programming language Harmony/2Theory and Practice of Parallel Programming10.1007/BFb0026576(300-319)Online publication date: 15-Jun-2005
https://doi.org/10.1007/BFb0026576
Aoyama M(1991)Current state of object technology in JapanCOMPCON Spring '91 Digest of Papers10.1109/CMPCON.1991.128863(540-545)Online publication date: 1991
https://doi.org/10.1109/CMPCON.1991.128863
Show More Cited By

Index Terms

How to invent distributed implementation schemes of an object-based concurrent language: a transformational approach
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Concurrent programming structures

Recommendations

How to invent distributed implementation schemes of an object-based concurrent language: a transformational approach
Special issue: 'OOPSLA 88 Conference Proceedings

A design and verification technique for implementation schemes of distributed software is presented. In this technique, first, the specification is modelled by a concurrent object system, that is, one which is constituted of computational agents with ...
Granularity of modules in object-based concurrent systems
OOPSLA/ECOOP '88: Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming

We examine the interaction of abstraction, distribution, and synchronization in determining the granularity of modules in object-based concurrent systems. The relation between linearizability and serializability as correctness criteria for processes ...
Granularity of modules in object-based concurrent systems
Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming

We examine the interaction of abstraction, distribution, and synchronization in determining the granularity of modules in object-based concurrent systems. The relation between linearizability and serializability as correctness criteria for processes ...

Comments

Information & Contributors

Information

Published In

OOPSLA '88: Conference proceedings on Object-oriented programming systems, languages and applications

January 1988

390 pages

ISBN:0897912845

DOI:10.1145/62083

Editor:
Norman Meyrowitz

ACM SIGPLAN Notices Volume 23, Issue 11
Special issue: 'OOPSLA 88 Conference Proceedings
Nov. 1988
353 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/62084
Editor:
Norman Meyorwitz
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 1988

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

OOPSLA88

Sponsor:

SIGPLAN

OOPSLA88: Object Oriented Programming Systems, Languages and Applications

September 25 - 30, 1988

California, San Diego, USA

Acceptance Rates

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
268
Total Downloads

Downloads (Last 12 months)32
Downloads (Last 6 weeks)5

Reflects downloads up to 01 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Yonezawa A(2007)Parallel Processing Description in the Concurrent Object‐Oriented Language ABCL/1Systems and Computers in Japan10.1002/scj.469021040421:4(36-44)Online publication date: 6-Sep-2007
https://doi.org/10.1002/scj.4690210404
Wakita K(2005)First class continuation facilities in concurrent programming language Harmony/2Theory and Practice of Parallel Programming10.1007/BFb0026576(300-319)Online publication date: 15-Jun-2005
https://doi.org/10.1007/BFb0026576
Aoyama M(1991)Current state of object technology in JapanCOMPCON Spring '91 Digest of Papers10.1109/CMPCON.1991.128863(540-545)Online publication date: 1991
https://doi.org/10.1109/CMPCON.1991.128863
Shibayama E(1988)Transformation of concurrent object systemsACM SIGPLAN Notices10.1145/67387.6743724:4(177-179)Online publication date: 26-Sep-1988
https://dl.acm.org/doi/10.1145/67387.67437
Shibayama E(1988)Transformation of concurrent object systemsProceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming10.1145/67386.67437(177-179)Online publication date: 26-Sep-1988
https://dl.acm.org/doi/10.1145/67386.67437
Zedan H(1990)Key references in distributed computer systems 1959–1989Distributed Computer Systems10.1016/B978-0-408-02938-4.50016-4(193-295)Online publication date: 1990
https://doi.org/10.1016/B978-0-408-02938-4.50016-4

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

How to invent distributed implementation schemes of an object-based concurrent language: a transformational approach

Granularity of modules in object-based concurrent systems

Granularity of modules in object-based concurrent systems