Abstract
A relation-sorted (algebraic) specification SPEC consists of a signature, a set of equations and an arbitrary relation ⊳ on the sorts. If s⊳s' for two sorts s,s', then an operator ⊳:As → As, is assumed in every relation-sorted SPEC-algebra A.
We study the parameterization and parameter passing for relation-sorted specifications. While the parameterization in this case turns out to be a simple extension of that for many-sorted specifications, a notion of coordinate parameter passing is introduced for the parameter passing, which covers an extension of the relation ⊳ among the new generated sorts of several value specifications of one arbitrary parameterized specification. We also discuss the semantics for coordinate parameter passing.
The results obtained are specialized to order-sorted specification, since our notion of specification is more general than that of order-sorted specification.
The research has been partially supported by the Commission of the European Communities under the ESPRIT Programme in the PROSPECTRA Project, ref #390
Preview
Unable to display preview. Download preview PDF.
References
Goguen, J.A., Thatcher, J.W. and Wagner, E.G.: "An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types." In: R. T. Yeh(ed.) Current Trends in Programming Methodology, Vol. IV, Data Structure; Prentice Hall (1978) 80–149.
Blum, E.K., Ehrig, H., Parisi-Presicce, F.: "Algebraic Specification of Modules and Their Basic Interconnections." In: Journal of Computer System Science, 34 (1987) 293–339
Blum,E.K. and Parisi-Presicce,F.: "The Semantics of Shared Submodules Specifications." In: Proc. TAPSOFT 85. LNCS 186. 1985
Cohn,P.M.: "Universal Algebra" D.Reidel Publishing Company.
Ehrig, H., Kreowski, H.-J.: "Pushout-Properties: An analysis for gluing constructions for graphs." In: Math. Nachr. 91,135–149 (1979).
Ehrig,H., Kreowski,H.-J., Thatcher,J.W., Wagner,E.G. and Wright,J.B.: "Parameterized data types in algebraic specification languages" Proc. 7th ICALP. LNCS 85.
Ehrig,H., Mahr,B.: "Fundamentals of Algebraic Specification 1-Equations and Initial Semantics" Springer-Verlag 1985.
Goguen,J.A. and Meseguer,J.: "Order-sorted Algebra Solves the Constructor-Selector, Multiple Representation and Coercion Problems" In: Proc. 1987 Symposium on Logic in Computer Science, Cornell. 1987
Herrlich,H. and Strecker,G.E.: "Category Theory: An introduction" Heldermann Verlag Berlin 1979.
Kreowski,H.-J. and Qian,Zh.: "Relation-sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results." PROSPECTRA-Report M.1.1.S3-SN-44.
Poigne,A.: "Parameterization for Order-Sorted Algebraic Specification." To appear in Science of Computer Programming.
Qian,Zh.: "The Parameterization and Parameter Passing of Relation-sorted Algebraic Specifications." PROSPECTRA-Report M.1.1.S3-SN-45. (1988)
Thatcher, J.W., Wagner, E.G., Wright, J.B.: "Data type specifications:parameterization and the power of specification techniques" In: ACM TOPLAS 4, 711–73 (1982)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Qian, Z. (1989). Relation-sorted algebraic specifications with built-in coercers: Parameterization and parameter passing. In: Ehrig, H., Herrlich, H., Kreowski, H.J., Preuß, G. (eds) Categorical Methods in Computer Science With Aspects from Topology. Lecture Notes in Computer Science, vol 393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51722-7_14
Download citation
DOI: https://doi.org/10.1007/3-540-51722-7_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51722-1
Online ISBN: 978-3-540-46787-8
eBook Packages: Springer Book Archive