Regular Article
Another look at parameterization for order-sorted algebraic specifications

https://doi.org/10.1016/S0022-0000(05)80074-1Get rights and content
Under an Elsevier user license
open archive

The parameterization of order-sorted algebraic specification is studied systematically by following the notion of order-sorted algebraic specification by Smolka, Nutt, Goguen, and Meseguer. Some notions of parameterized specification and parameter passing are introduced and justified in this context. Especially, we introduce a notion of coordinate parameter passing, which relates different actualizations of one parameterized specification in the very spirit of the order-sorted algebraic specifications. The semantics of coordinate parameter passing is proved to protect the semantics of each single actualization.

Cited by (0)

*

Research partially supported by ESPRIT Project 390 PROSPECTRA and ESPRIT Basic Research WG 3264 COMPASS.