Tectons: Towards a Generalised Approach to Programming Systems of Systems.

The world's computing infrastructure is becoming increasingly differentiated into autonomous subsystems (e.g., IoT installations, clouds, VANETs), and these are often composed to generate value-added functionality (systems of systems). But today, system composition is carried out in an ad-hoc, systemspecific, manner, with many associated disadvantages. We need a generalized system-of-systemsoriented programming model that allows systems to be composed by application-domain ex-perts, not just systems programmers. Furthermore, composition should occur in a principled way that generates well-understood compositional semantics and behaviour.