ANOTHER LOOK AT PARAMETERIZATION FOR ORDER-SORTED ALGEBRAIC SPECIFICATIONS

The parameterization of order-sorted algebraic specification is studie d systematically by following the notion of order-sorted algebraic spe cification by Smolka, Nutt, Goguen, and Meseguer. Some notions of para meterized specification and parameter passing are introduced and justi fied in this context. Especially, we introduce a notion of coordinate parameter passing, which relates different actualizations of one param eterized specification in the very spirit of the order-sorted algebrai c specifications. The semantics of coordinate parameter passing is pro ved to protect the semantics of each single actualization. (C) 1994 Ac ademic Press, Inc.