Abstract
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.
Research partially supported by the Australian Research Council. I thank the anonymous referees for useful comments and the editors for encouraging me to include the survey material in Sections 2 and 3.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barr, M., Wells, C.: Category theory for computing science, 2nd edn. Prentice-Hall, Englewood Cliffs (1995)
Ehrig, H., Mahr, B.: Fundamentals of algebraic specifications. Springer, Heidelberg (1985)
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
Johnson, M.: Enterprise Software with Half-Duplex Interoperations. In: Doumeingts, G., Mueller, J., Morel, G., Vallespir, B. (eds.) Enterprise Interoperability: New Challenges and Approaches, pp. 521–530. Springer, Heidelberg (2007)
Johnson, M., Rosebrugh, R.: View Updatability Based on the Models of a Formal Specification. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol. 2021, p. 534. Springer, Heidelberg (2001)
Johnson, M., Rosebrugh, R.: Three approaches to partiality in the sketch data model. ENTCS 78, 1–18 (2003)
Johnson, M., Rosebrugh, R.: Fibrations and Universal View Updatability. Theoretical Computer Science 388, 109–129 (2007)
Johnson, M., Rosebrugh, R., Wood, R.J.: Entity-relationship models and sketches. Theory and Applications of Categories 10, 94–112 (2002)
Katis, P., Sabadini, N., Walters, R.F.C.: Bicategories of processes. J. Pure Appl. Algebra 115, 141–178 (1997)
Katis, P., Sabadini, N., Walters, R.F.C.: On the algebra of systems with feedback and boundary. Rendiconti del Circolo Matematico di Palermo Serie II Suppl. 63, 123–156 (2000)
Mac Lane, S.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics 5. Springer, Heidelberg (1998)
Menon, C.: A category theoretic approach to inconsistencies in modular system specification. PhD thesis, University of Adelaide (2006)
Walters, R.F.C.: Categories and Computer Science. Cambridge University Press, Cambridge (1993)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Johnson, M. (2008). Mathematical Support for Ensemble Engineering. In: Wirsing, M., Banâtre, JP., Hölzl, M., Rauschmayer, A. (eds) Software-Intensive Systems and New Computing Paradigms. Lecture Notes in Computer Science, vol 5380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89437-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-89437-7_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89436-0
Online ISBN: 978-3-540-89437-7
eBook Packages: Computer ScienceComputer Science (R0)