Return to Article Details Towards a Theory of Interoperability of Software Systems