Another look at parameterization for order-sorted algebraic specifications
Abstract:The parameterization for order-sorted algebraic
specification is studied systematically by following the notion of
order-sorted algebraic specification by Smolka, Nutt, Goguen and Messequer.
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.