article

Free access

Specification and implementation of Actors with graph rewriting

Authors:

Joseph P. Loyall,

Simon M. Kaplan,

Steven K. GoeringAuthors Info & Claims

ACM SIGPLAN OOPS Messenger, Volume 2, Issue 2

Pages 73 - 77

https://doi.org/10.1145/127070.127088

Published: 01 April 1991 Publication History

PDF eReader

Abstract

We are investigating the use of graph rewriting for the specification and implementation of object-based concurrent systems. Graph rewriting is a powerful framework in which to specify and implement such systems because the visual, graph-based notation more closely fits the programmer's visual image of object-based concurrent systems than textual notation, an image in which objects are represented as nodes or clusters of nodes in a graph and communication links are represented as edges in the same graph, and graph-rewriting presents an efficient implementation of object-based concurrent systems.

References

[1]

[1] Gul Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. M. I. T. Press, Cambridge, Mass., 1986.

Digital Library

Google Scholar

[2]

[2] Steven K. Goering. A Graph-Grammar Approach to Concurrent Programming. PhD thesis, University of Illinois at Urbana-Champaign, 1990. Tech. report UIUCDCS-R-90-1576.

Google Scholar

[3]

[3] Simon M. Kaplan. Foundations of visual languages for object-based concurrent programming. In Gul Agha, Peter Wegner, and Akinori Yonezawa, editors, Object-Based Concurrent Programming, Addison-Wesley, to appear 1990.

Google Scholar

[4]

[4] Simon M. Kaplan, Steven K. Goering, and Roy H. Campbell. Specifying concurrent systems with ¿-grammars. In Proceedings of the Fifth International Workshop on Software Specification and Design, pages 20-27, Society, Press, Washington, D. C., April 1989.

Digital Library

Google Scholar

Cited By

View all

Vestli H(1994)Visual specification of actor configurationsProceedings of 1994 IEEE Symposium on Visual Languages10.1109/VL.1994.363634(110-117)Online publication date: 1994
https://doi.org/10.1109/VL.1994.363634
Pigel G(1992)An Approach to the Classification of Object-Based Parallel Programming ParadigmsShifting Paradigms in Software Engineering10.1007/978-3-7091-9258-0_15(150-161)Online publication date: 1992
https://doi.org/10.1007/978-3-7091-9258-0_15

Index Terms

Specification and implementation of Actors with graph rewriting

Recommendations

Specification and implementation of Actors with graph rewriting
OOPSLA/ECOOP '90: Proceedings of the workshop on Object-based concurrent programming

We are investigating the use of graph rewriting for the specification and implementation of object-based concurrent systems. Graph rewriting is a powerful framework in which to specify and implement such systems because the visual, graph-based notation ...
Complexity analysis by graph rewriting
FLOPS'10: Proceedings of the 10th international conference on Functional and Logic Programming

Recently, many techniques have been introduced that allow the (automated) classification of the runtime complexity of term rewrite systems (TRSs for short). In this paper we show that polynomial (innermost) runtime complexity of TRSs induces polytime ...
Patch Graph Rewriting
Graph Transformation
Abstract
The basic principle of graph rewriting is the stepwise replacement of subgraphs inside a host graph. A challenge in such replacement steps is the treatment of the patch graph, consisting of those edges of the host graph that touch the subgraph, ...

Comments

Information & Contributors

Information

Published In

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 April 1991

Published in SIGPLAN-OOPS Volume 2, Issue 2

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
156
Total Downloads

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

Reflects downloads up to 09 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Vestli H(1994)Visual specification of actor configurationsProceedings of 1994 IEEE Symposium on Visual Languages10.1109/VL.1994.363634(110-117)Online publication date: 1994
https://doi.org/10.1109/VL.1994.363634
Pigel G(1992)An Approach to the Classification of Object-Based Parallel Programming ParadigmsShifting Paradigms in Software Engineering10.1007/978-3-7091-9258-0_15(150-161)Online publication date: 1992
https://doi.org/10.1007/978-3-7091-9258-0_15

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.

Abstract

References

Cited By

Index Terms

Recommendations