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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Burmeister, P.: A Model Theoretic Oriented Approach to Partial Algebras. Mathematical Research, vol. 32. Akademie-Verlag, Berlin (1986)
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)
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)
Große-Rhode, M.: Specification of State Based Systems by Algebra Rewrite Systems and Refinements. Technical Report 99-04, TU Berlin (March 1999)
Kawahara, Y.: Pushout-Complements and Basic Concepts of Grammars in Toposes. Theoretical Computer Science 77, 267–289 (1990)
Llabrés, M., Rosselló, F.: Double-Pushout Transformation of Arbitrary Partial Algebras (in preparation)
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)
Wagner, A., Gogolla, M.: Defining Operational Behavior of Object Specifications by Attributed Graph Transformations. Fundamenta Informaticae 26, 407–431 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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