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: 2348
Download times: 3826
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:1717334
Top Paper  |  FAQ  |  Guest Editors  |  Email Alert  |  Links  |  Copyright  |  Contact Us

© Copyright by Institute of Software, the Chinese Academy of Sciences
ICP: Jing ICP Bei No.10016592

京公网安备 11040202500065号