Another look at parameterization for order-sorted algebraic specifications


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.

Zhenyu Qian