Skip to main content
SpringerLink
Log in

On a Uniform Representation of Transformation Systems

  • Conference paper
  • First Online:
Book cover Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1779))

  • 559 Accesses

Abstract

We discuss an intermediate language to represent transitions defining behaviours of autonomous agents. The language allows a uniform representation of several diagrammatic languages for specification of reactive systems, based on an underlying notion of transition. The translation of graph transformations to this language opens an opportunity for a notion of communication between agents represented by graphs.

Partially supported by the EC under TMR Network GETGRATS and Esprit Working Group APPLIGRAPH. P. Bottom is with the Pictorial Computing Laboratory

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, 1986.

    Google Scholar 

  2. J.M. Andreoli, R. Pareschi, “Linear objects: Logical processes with built-in inheritance”, New Generation Computing, vol.9, n.3–4, 445–473, 1991.

    Article  Google Scholar 

  3. J.P. Banatre, D. LeMetayer, “The Gamma Model and its Discipline of Programming”, Science of Computing Programming, vol.115, 55–77, 1990.

    Article  MathSciNet  Google Scholar 

  4. W. R. van Biljon, “Extending Petri nets for specifying man-machine dialogues”, International Journal of Man-Machine Studies, vol.28, 437–455, 1988.

    Article  MATH  Google Scholar 

  5. U.M. Borghoff, P. Bottoni, P. Mussio, R. Pareschi, “Reflective Agents for Adaptive Workflows”, Proc. PAAM’ 97, 1997, 405–420.

    Google Scholar 

  6. P. Bottoni, P. Mussio, B. Olivieri, M. Protti, “A completely visual environment for agent-based computing”, Proc. AVI’98, T. Catarci, M.F. Costabile, G. Santucci, L. Tarantino eds., ACM Press, 1998, 261–263.

    Google Scholar 

  7. N. Carriero, D. Gelernter, How To Write Parallel Programs. A First Course, MIT Press, 1990.

    Google Scholar 

  8. A. Corradini, F. Rossi, “Synchronized Composition of Graph Grammar Productions”, in H. Ehrig, G. Engels, G. Rozenberg eds. Graph Grammars and Their Application to Computer Science, Springer, 1995 [9], 257–270.

    Google Scholar 

  9. J. Cuny, H. Ehrig, G. Engels, G. Rozenberg eds. Graph Grammars and Their Application to Computer Science, Springer, 1995.

    Google Scholar 

  10. J. Engelfriet, G. Rozenberg, “Node Replacement Graph Grammars”, in [18], 1–94.

    Google Scholar 

  11. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, M. Lowe, “Algebraic Approaches to Graph Transformation-Part I: Basic Concepts and Double Pushout Approach”, in [18], 163–245.

    Google Scholar 

  12. H. Ehrig, R. Heckel, M. Lowe, L. Ribeiro, A. Wagner, A. Corradini, “Algebraic Approaches to Graph Transformation-Part II: Single Pushout Approach and Comparison with Double Pushout Approach”, in [18], 247–312.

    Google Scholar 

  13. I. Fischer, M. Koch, G. Taentzer, “Local Views on Distributed Systems and their Communication”, in Proc. TAGT98, G. Engels, G. Rozenberg eds., Universitat Paderborn tr-ri-98-201, 1998, 40–47.

    Google Scholar 

  14. M.R. Genesereth, S.P. Ketchpel, “Software Agents”, Communications of the ACM, vol.37, n.7, 48–53, 1994.

    Article  Google Scholar 

  15. D. Janssens, G. Rozenberg, “Actor Grammars”, Mathematical Systems Theory, vol.22, 75–107, 1989.

    Article  MathSciNet  Google Scholar 

  16. J. Meseguer, “A Logical Theory of Concurrent Objects and its Realization in the Maude Language”, in Research Directions in Concurrent Object-Oriented Programming, G. Agha, P. Wegner, A. Yonezawa eds., MIT Press, 1993, 314–390.

    Google Scholar 

  17. F. Parisi Presicce, “Transformations of Graph Grammars”, in H. Ehrig, G. Engels, G. Rozenberg eds. Graph Grammars and Their Application to Computer Science, Springer, 1995 [9], 428–442.

    Google Scholar 

  18. G. Rozenberg ed., Handbook of Graph Grammars and Computing by Graph Transformation, Vol. 1, World Scientific, 1997.

    Google Scholar 

  19. G. Taentzer, “Hierarchically Distributed Graph Transformation”, in H. Ehrig, G. Engels, G. Rozenberg eds. Graph Grammars and Their Application to Computer Science, Springer, 1995 [9], 304–320.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Rome, La Sapienza Via Salaria 113, 00198, Roma, Italy

    Paolo Bottoni, Francesco Parisi-Presicce & Marta Simeoni

Authors
  1. Paolo Bottoni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesco Parisi-Presicce
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marta Simeoni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science III, Aachen University of Technology (RWTH), Ahornstr. 55, 52074, Aachen, Germany

    Manfred Nagl  & Manfred Münch  & 

  2. Institute for Software Technology, Department of Computer Science, University of the German Federal Armed Forces Munich, Werner-Heisenberg-Weg 39, 85579, Neubiberg, Germany

    Andreas Schürr

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bottoni, P., Parisi-Presicce, F., Simeoni, M. (2000). On a Uniform Representation of Transformation Systems. In: Nagl, M., Schürr, A., Münch, M. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 1999. Lecture Notes in Computer Science, vol 1779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45104-8_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-45104-8_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67658-4

  • Online ISBN: 978-3-540-45104-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation