Edinburgh Research Explorer

Algebraic constructions: a simple framework for complex dependencies and parameterisation

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Access status


Original languageEnglish
Pages (from-to)117-139
Number of pages22
JournalInternational Journal of Software and Informatics
Issue number2
StatePublished - 2015


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.

Download statistics

No data available

ID: 19142901