A Theory of Software Architecture