Mathematical Support for Ensemble Engineering
We study some of the mathematical challenges presented by the need to support ensemble engineering, concentrating on likely contributions from category theory and universal algebra. Particular attention is paid to dealing with missing data, modelling dynamics and interaction, and analysing inconsistencies.
KeywordsEnsemble engineering category theory universal algebra inconsistency analysis
Unable to display preview. Download preview PDF.
- 3.Hölzl, M., Wirsing, M.: State of the Art for the Engineering of Software-Intensive Systems. Deliverable Number D3.1 (2007) (accessed July 19, 2008), http://interlink.ics.forth.gr/central.aspx?sId=84I238I744I323I344283
- 12.Menon, C.: A category theoretic approach to inconsistencies in modular system specification. PhD thesis, University of Adelaide (2006)Google Scholar