Skip to main content
SpringerLink
Log in

From Formulae to Rewriting Systems

  • Conference paper
Theory and Application of Graph Transformations (TAGT 1998)

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

Abstract

We present an algorithmic method to obtain pure rewriting systems from logical descriptions of languages. The method, presented in an SPO framework, is applicable to visual language specification.

Partially supported by the EC under TMR Network GETGRATS and Esprit Working Group APPLIGRAPH.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Bottoni, P., Costabile, M.F., Levialdi, S., Mussio, P.: Visual Conditional Attributed Rewriting Systems in Visual Language Specification. In: Proc. IEEE Symp. on Visual Languages 1996, pp. 156–163 (1996)

    Google Scholar 

  2. Bottoni, P., Costabile, M.F., Levialdi, S., Mussio, P.: Specifying dialog control in Visual Interactive Systems. Journal of Visual Languages and Computing 9, 535–564 (1998)

    Article  Google Scholar 

  3. Bottoni, P., Costabile, M.F., Mussio, P.: Specification and Dialogue Control of Visual Interaction through Visual Rewriting Systems. To appear in ACM TOPLAS

    Google Scholar 

  4. Chok, S.S., Marriott, K.: Automatic Construction of User Interfaces from Constraint Multiset Grammars. In: Proc. IEEE VL 1995, pp. 242–249 (1995)

    Google Scholar 

  5. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specifications 1: Equations and Initial Semantics. Springer, Heidelberg (1985)

    Google Scholar 

  6. Große–Rhode, M., Parisi–Presicce, F., Simeoni, M.: Spatial and temporal refinement of typed graph transformation systems. In: Brim, L., Gruska, J., Zlatuška, J. (eds.) MFCS 1998. LNCS, vol. 1450, p. 553. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  7. Habel, A., Heckel, R., Taentzer, G.: Graphgram mars with negative application conditions. Fundamenta Informaticae 26, 287–313 (1996)

    MATH  MathSciNet  Google Scholar 

  8. Helm, R., Marriott, K.: A Declarative Specification and Semantics for Visual Languages. Journal of Visual Languages and Computing 2, 311–332 (1991)

    Article  Google Scholar 

  9. Löwe, M., Korff, M., Wagner, A.: An algebraic framework for the transformation of attributed graphs. In: Term Graph Rewriting: Theory and Practice, pp. 185–199. Wiley, Chichester (1993)

    Google Scholar 

  10. Minas, M., Viehstaedt, G.: DiaGen: A generator for diagram editors providing direct manipulation and execution of diagrams. In: Proc. IEEE Symp. on Visual Languages 1995, pp. 203–210 (1995)

    Google Scholar 

  11. Marriott, K., Meyer, B.: Classification of visual languages. Journal of Visual Languages and Computing 8, 375–402 (1997)

    Article  Google Scholar 

  12. Salomaa, A.: Formal languages. Academic Press, London (1973)

    MATH  Google Scholar 

  13. Serrano, J.A.: The Use of Semantic Constraints on Diagram Editors. In: Proc. IEEE VL 1995, pp. 211–216 (1995)

    Google Scholar 

  14. Taentzer, G., Beyer, M.: Amalgamated Graph Transformations and Their Use for Specifying AGG - an Algebraic Graph Grammar System. In: Ehrig, H., Schneider, H.-J. (eds.) Dagstuhl Seminar 1993. LNCS, vol. 776. Springer, Heidelberg (1994)

    Google Scholar 

  15. Wittenburg, K., Weitzmann, L.: Visual grammars and incremental parsing for interface languages. In: Proc. IEEE VL 1990, pp. 111–118 (1990)

    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. Technische Universität Berlin, Germany

    Hartmut Ehrig

  2. University of Paderborn, Warburger Straße 100, 33098, Paderborn, Germany

    Gregor Engels

  3. Department of Computer Science, University of Bremen, P.O. Box 33 04 40, 28334, Bremen, Germany

    Hans-Jörg Kreowski

  4. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

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). From Formulae to Rewriting Systems. In: Ehrig, H., Engels, G., Kreowski, HJ., Rozenberg, G. (eds) Theory and Application of Graph Transformations. TAGT 1998. Lecture Notes in Computer Science, vol 1764. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-46464-8_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-46464-8_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67203-6

  • Online ISBN: 978-3-540-46464-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation