Abstract
A layered semantics model of an object-based concurrent programming language is proposed, which provides a support for reasoning of object compositions. Upon construction and verification of a concurrent program, a mechanism which supports compositions of object descriptions and a technique which supports compositional reasoning are desirable. However, compositional semantics of a sufficiently rich concurrent language tends to be complicated so as to cope with rare anomalies.
In order to overcome this difficulty, a layered scheme is introduced: the bottom layer is based on a transition system and the top layer is based on the notion of program transformation, which supports compositional reasoning at least in some degree. Since more abstract descriptions rely on more concrete descriptions, all layers are not necessarily self-contained. By this scheme, information necessary for composition can be hidden away in abstract layers. Based on the layered semantics, each proof and reasoning should be performed in an appropriate level of abstraction.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. The MIT Press, 1987.
P. America. Denotational semantics of a parallel object-oriented language. Information and Computation, Vol. 83, pp. 152–205, 1989.
J. D. Brock and W. B. Ackerman. Scenarios: A Model of Nondeterminate Computation, volume 107 of Lecture Notes in Computer Science, pages 252–259. Springer-Verlag, 1981.
R. M. Burstall and J. Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24(1):44–67, 1977.
K. M. Chandy and L. Lamport. Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems, 3(l):63–75, 1985.
J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1984.
R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.
R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
R. Milner, J. Parrow, and J. Walker. A calculus of mobile processes part I. Technical Report ECS-LFCS-89-85, Lab. for Foundations of Computer Science, Univ. of Edinburgh, 1989.
R. Milner, J. Parrow, and J. Walker. A calculus of mobile processes part II. Technical Report ECS-LFCS-89-86, Lab. for Foundations of Computer Science, Univ. of Edinburgh, 1989.
V. Pratt. On the composition of processes. In Proceedings of ACM Symposium on Principles of Programming Languages (POPL), pages 213–223, 1982.
V. Pratt. Modeling concurrency with partial orders. International Journal of Parallel Programming, 15(1):33–71, 1986.
E. Shibayama. How to invent distributed implementation schemes of an object-oriented concurrent language — a transformational approach. In Proceedings of ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, San Diego CA., pages 297–305. ACM, September 1988. A revised version in [Yonezawa 90]
E. Shibayama. An object-based approach to modeling concurrent systems. Doctor Thesis, Dept. of Information Science, Univ. of Tokyo, 1991.
A. Yonezawa, editor. ABCL: An Object-Oriented Concurrent System — Theory, Language, Programming, Implementation and Application. The MIT Press, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shibayama, E. (1992). Semantic layers of object-based concurrent computing. In: Tokoro, M., Nierstrasz, O., Wegner, P. (eds) Object-Based Concurrent Computing. ECOOP 1991. Lecture Notes in Computer Science, vol 612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55613-3_5
Download citation
DOI: https://doi.org/10.1007/3-540-55613-3_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55613-8
Online ISBN: 978-3-540-47260-5
eBook Packages: Springer Book Archive