All posts by krocjoe

Executable Implementations of DM2

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.