Algebraic constructions: a simple framework for complex dependencies and parameterisation

Grzegorz Marczynski, Don Sannella, Andrzej Tarlecki

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

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.
Original languageEnglish
Pages (from-to)117-139
Number of pages22
JournalInternational Journal of Software and Informatics
Issue number2
Publication statusPublished - 2015


Dive into the research topics of 'Algebraic constructions: a simple framework for complex dependencies and parameterisation'. Together they form a unique fingerprint.

Cite this