One question is whether there are executable versions that implement the semantics of the IDEAS ontology that is the basis of the DoDAF Meta-Model. With representations such as the Unified Modeling Language, it may be not be easy to perform formal verification of a system model. It may be interesting to see what implementations of IDEAS become available in the next few months.