Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Theory and Application of Graph Transformations

TAGT 1998: Theory and Application of Graph Transformations pp 131–144Cite as

Pushout Complements for Arbitrary Partial Algebras

  • Conference paper

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

Abstract

To develop a double-pushout approach to transformation in a specific category, two basic preliminary questions must be answered: a) when a given rule can be applied through a given occurrence?, and b) when the result of such an application is unique? We solve these problems in the usual category of partial algebras over an arbitrary signature.

This work has been partly supported by the DGES, grant PB96-0191-C02-01. M. Llabrés has also been partly supported by the EU TMR Network GETGRATS (General Theory of Graph Transformation Systems) through the Technical University of Berlin.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Burmeister, P.: A Model Theoretic Oriented Approach to Partial Algebras. Mathematical Research, vol. 32. Akademie-Verlag, Berlin (1986)

    MATH  Google Scholar 

  2. Burmeister, P., Rosselló, F., Torrens, J., Valiente, G.: Algebraic Transformation of Unary Partial Algebras I: Double-Pushout Approach. Theoretical Computer Science 184, 145–193 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  3. Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B.K., Winkowski, J.: Deriving Structures from Structures. Lect. Notes in Comp. Science 64, 177–190 (1978)

    MathSciNet  Google Scholar 

  4. Große-Rhode, M.: Specification of State Based Systems by Algebra Rewrite Systems and Refinements. Technical Report 99-04, TU Berlin (March 1999)

    Google Scholar 

  5. Kawahara, Y.: Pushout-Complements and Basic Concepts of Grammars in Toposes. Theoretical Computer Science 77, 267–289 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  6. Llabrés, M., Rosselló, F.: Double-Pushout Transformation of Arbitrary Partial Algebras (in preparation)

    Google Scholar 

  7. Monserrat, M., Rosselló, F., Torrens, J.: When is a Category of Many–Sorted Partial Algebras Cartesian Closed? International Journal of Foundations of Computer Science 6, 51–66 (1995)

    Article  MATH  Google Scholar 

  8. Wagner, A., Gogolla, M.: Defining Operational Behavior of Object Specifications by Attributed Graph Transformations. Fundamenta Informaticae 26, 407–431 (1996)

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departament de Matemàtiques i Informàtica, Universitat de les Illes Balears, 07071, Palma de Mallorca, Spain

    Mercè Llabrés & Francesc Rosselló

Authors
  1. Mercè Llabrés
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesc Rosselló
    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

Llabrés, M., Rosselló, F. (2000). Pushout Complements for Arbitrary Partial Algebras. 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_10

Download citation

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

  • 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