Open Systems: A Double Categorical Perspective