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 language | English |
---|---|
Pages (from-to) | 117-139 |
Number of pages | 22 |
Journal | International Journal of Software and Informatics |
Volume | 9 |
Issue number | 2 |
Publication status | Published - 2015 |
Fingerprint
Dive into the research topics of 'Algebraic constructions: a simple framework for complex dependencies and parameterisation'. Together they form a unique fingerprint.Profiles
-
Don Sannella
- School of Informatics - PERSONAL CHAIR IN COMPUTER SCIENCE
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active