Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation
    Download PDF
Grzegorz Marczynski,Donald Sannella,Andrzej Tarlecki. Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation. International Journal of Software and Informatics, 2015,9(2):117~139
Hits: 3938
Download times: 4773
Abstract:We propose a simple framework of algebraic constructions for software specification, modular design and development. Algebraic constructions generalise (parameterised) modules by allowing on one hand a rather arbitrary collection of elements to form the parameter and on the other hand dependencies between the module elements to be spelled out explicitly. Algebraic constructions are specified in a very natural way by means of ordinary algebraic specifications. They are combined using a sum operation which captures as special cases various operations on (parameterised) modules offered by standard specification and development frameworks. We show the expected composability result for the sum of algebraic constructions and of their specifications.
keywords:algebraic specification  module  parameterisation  hierarchy  dependency  algebraic construction
View Full Text  View/Add Comment  Download reader

 

 

more>>  
Visitor:3139674
Top Paper  |  E-mail Alert  |  Publication Ethics  |  New Version

© Copyright by Institute of Software, the Chinese Academy of Sciences
京ICP备05046678号-5

京公网安备 11040202500065号