article

Free access

Specifying concurrent systems with Δ-grammars

Authors:

S. M. Kaplan,

s. K. Goering,

R. H. CampbellAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 14, Issue 3

Pages 20 - 27

https://doi.org/10.1145/75200.75203

Published: 01 April 1989 Publication History

PDF eReader

References

[1]

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

Digital Library

Google Scholar

[2]

Edsger W. Dijkstra. Hierarchical ordering of sequential processes. Actu Informutica, (1):115-138, 1971.

Google Scholar

[3]

Hartmut Ehrig. Introduction to the algebraic theory of graph grammars. In Hartmut Ehrig Volker Claus and Grzegorz Rozenberg, editors, Graph Grammars and their Application to Computer Science and Biology, LNCS 79, pages l-69, Springer-Verlag, Heidelberg, 19'79.

Digital Library

Google Scholar

[4]

Steven K. Goering. Message Passing Grammar Systems. PhD thesis, University of Illinois, To appear, 1989.

Google Scholar

[5]

Herbert Gottler. Attributed graph grammars for graphics. In Hartmut Ehrig, Manfred Nagl, and Grzegorz Rosenberg, editors, Graph Grammars and their Application lo Computer Science, LNCS 153, pages 130-142, Springer-Verlag, 1982.

Digital Library

Google Scholar

[6]

Dirk Janssens and Grzegorz Rozenberg. Graph grammars with node-label control and rewriting. In Hartmut Ehrig, Manfred Nagl, and Grzegorz Rozenberg, editors, Graph Grammars and their Application to Computer Science, LNCS 153, pages 186-205, Springer- Verlag, 1982.

Digital Library

Google Scholar

[7]

Simon M. Kaplan and Roy H. Campbell. Designing and prototyping in grads. In Proceedings IEE/BCS Symposium on Software Engineering, July 1988.

Google Scholar

[8]

Simon M. Kaplan and Steven K. Goering. Garp - a textual/graphical hybrid language for concurrent programming. In Proceedings of the Workshop on Object- Based Concurrent Programming, February 1989.

Digital Library

Google Scholar

[9]

Simon M. Kaplan and Gail E. Kaiser. Garp: graph abstractions for concurrent programming. In ESOP '88, Springer-Verlag, March 1988.

Digital Library

Google Scholar

[10]

R. Milner. A calculus of communicating systems. In Lecture Notes in Computer Science, LNCS 92, Springer-Verlag, Berlin, 1980.

Digital Library

Google Scholar

[11]

Manfred Nagl. Set theoretic approaches to graph gammars. In Hartmut Ehrig, Manfred Nagl, and Grzegorz Rozenberg, editors, Graph Grammars and their Application to Computer Science, LNCS 291, pages 41- 54, Springer-Verlag, 1987.

Digital Library

Google Scholar

[12]

Francesco Parisi-Presicce, Hartmut Ehrig, and Ugo Montanari. Graph rewriting with unification and composition. In Hartmut Ehrig, Manfxed Nagl, and Grzegorz Rozenberg, editors, Graph Grammars and their Application to Compuler Science, LNCS 291, pages 496-514, Springer-Verlag, 1987.

Digital Library

Google Scholar

[13]

C. A. Petri. Concurrency. In Net Theory and Applications, LNCS 84, Springer-Verlag, Berlin, 1980.

Digital Library

Google Scholar

Cited By

View all

Bhattacharyya AMokhov APierce K(2017)An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systemsFormal Aspects of Computing10.1007/s00165-016-0405-z29:2(251-307)Online publication date: 20-Jan-2017
https://doi.org/10.1007/s00165-016-0405-z
Yu LAmmar H(1992)Analysis of real-time distributed systems: a case study (of robot juggling system)[1992] Proceedings of the 35th Midwest Symposium on Circuits and Systems10.1109/MWSCAS.1992.271354(496-499)Online publication date: 1992
https://doi.org/10.1109/MWSCAS.1992.271354
Krämer BFinance JGhezzi CRoman G(1991)Prototyping and formal analysis of concurrent and distributed systemsProceedings of the 6th international workshop on Software specification and design10.5555/952786.952796(60-66)Online publication date: 25-Oct-1991
https://dl.acm.org/doi/10.5555/952786.952796
Show More Cited By

Index Terms

Specifying concurrent systems with Δ-grammars
1. Mathematics of computing
  1. Discrete mathematics
    1. Graph theory
2. Theory of computation
  1. Models of computation
    1. Concurrency
      1. Parallel computing models
  2. Semantics and reasoning
    1. Program reasoning
      1. Program specifications
    2. Program semantics

Recommendations

Transactions for concurrent object-oriented programming systems
OOPSLA/ECOOP '88: Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Concurrent 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 Programming
Concurrent 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 ...
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 ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 14, Issue 3

May 1989

288 pages

ISSN:0163-5948

DOI:10.1145/75200

Editor:
Sol J. Greenspan

Issue’s Table of Contents

IWSSD '89: Proceedings of the 5th international workshop on Software specification and design
April 1989
295 pages
ISBN:0897913051
DOI:10.1145/75199
Chairman:
Sol J. Greenspan

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1989

Published in SIGSOFT Volume 14, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
243
Total Downloads

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

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bhattacharyya AMokhov APierce K(2017)An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systemsFormal Aspects of Computing10.1007/s00165-016-0405-z29:2(251-307)Online publication date: 20-Jan-2017
https://doi.org/10.1007/s00165-016-0405-z
Yu LAmmar H(1992)Analysis of real-time distributed systems: a case study (of robot juggling system)[1992] Proceedings of the 35th Midwest Symposium on Circuits and Systems10.1109/MWSCAS.1992.271354(496-499)Online publication date: 1992
https://doi.org/10.1109/MWSCAS.1992.271354
Krämer BFinance JGhezzi CRoman G(1991)Prototyping and formal analysis of concurrent and distributed systemsProceedings of the 6th international workshop on Software specification and design10.5555/952786.952796(60-66)Online publication date: 25-Oct-1991
https://dl.acm.org/doi/10.5555/952786.952796
Kramer B(1991)Prototyping and formal analysis of concurrent and distributed systemsProceedings of the Sixth International Workshop on Software Specification and Design10.1109/IWSSD.1991.213076(60-66)Online publication date: 1991
https://doi.org/10.1109/IWSSD.1991.213076
Bhattacharyya AMokhov APierce K(2017)An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systemsFormal Aspects of Computing10.1007/s00165-016-0405-z29:2(251-307)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1007/s00165-016-0405-z
Park YJung WLee BWu C(2009)Automatic Discovery of Web Services Based on Dynamic Black-Box TestingProceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 0110.1109/COMPSAC.2009.24(107-114)Online publication date: 20-Jul-2009
https://dl.acm.org/doi/10.1109/COMPSAC.2009.24
Bhattacharyya AFitzgerald JGuelfi NMuccini HPelliccione PRomanovsky A(2008)Development of a formalism for modelling and analysis of dynamic reconfiguration of dependable real-time systemsProceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems10.1145/1479772.1479785(67-72)Online publication date: 17-Nov-2008
https://dl.acm.org/doi/10.1145/1479772.1479785
Goering SKaplan S(2005)Visual concurrent object-based programming in GARPPARLE '89 Parallel Architectures and Languages Europe10.1007/3-540-51285-3_40(165-180)Online publication date: 2-Jun-2005
https://doi.org/10.1007/3-540-51285-3_40
Rodgers PVidal N(2003)A Demonstration of the Grrr Graph Rewriting Programming LanguageApplications of Graph Transformations with Industrial Relevance10.1007/3-540-45104-8_40(473-480)Online publication date: 18-Apr-2003
https://doi.org/10.1007/3-540-45104-8_40
Rodgers PVidal N(2003)Graph Algorithm Animation with GrrrApplications of Graph Transformations with Industrial Relevance10.1007/3-540-45104-8_30(379-394)Online publication date: 18-Apr-2003
https://doi.org/10.1007/3-540-45104-8_30
Show More Cited By

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.

References

Cited By

Index Terms

Recommendations

Transactions for concurrent object-oriented programming systems

Transactions for concurrent object-oriented programming systems

Granularity of modules in object-based concurrent systems

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations