Executable Architectures and Their Application to a Geographically Distributed Air Operations Center