کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
434505 | 689745 | 2014 | 41 صفحه PDF | دانلود رایگان |
We investigate multiple-parameterised specifications and their instantiation within the institution-independent framework of abstract structured specifications. Our work identifies a set of distinctive features of specifications languages that have a fundamental role in defining and instantiating parameterised specifications. We consider both simultaneous and sequential instantiation of parameters, and allow not only sharing between the body of the parameterised specification and the instances of the parameters, but also between the parameters of a generic specification. The developments conclude with the examination of the relation between the results of simultaneous and sequential instantiation of parameters, which are shown to be isomorphic under a given set of sufficient abstract conditions.
Journal: Theoretical Computer Science - Volume 517, 16 January 2014, Pages 102–142