IEEE 1175.4-2008

Most inter-tool data transfer standards deal with protocol and syntax of the transfer, with a shared semantic basis assumed. This standard provides an explicitly defined metamodel (and meta-metamodel) for specifying system and software behavior. It defines a semantic basis of observables that allows each tool, whatever its own internal ontology, to communicate facts about the behavior of a subject system as precisely as the toola??s metamodel allows. Conventional tool model elements are reduced into simpler, directly observable fact statements about system behavior. This metamodel is much expanded over the original metamodel for software behavior in Part 3 of IEEE Std 1175¿¿¿-1991.