IEEE 1175.4-2008 PDF

Scope: 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 tool’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. This reference model provides a common interpretation basis by which tools may express and communicate the observable features of system/software behavior to users and to other tools. Tools incorporating this metamodel in their import/export facilities enable engineers to interconnect best-in-class analysis and specification tools for integrated problem solving. Another feature of this metamodel is that it provides a specification that is directly testable. Finally, the provision of an explicit meta-metamodel enables tool builders to extend the reference metamodel for particular purposes.

IEEE 1175.4-2008 Referenced Document

IEEE 610.12 Standard Glossary of Software Engineering Terminology Revision and Redesignation of IEEE Std 729-1983; Corrected Edition; IEEE Computer Society Document

2008 IEEE 1175.4-2008 Recommended practice for CASE tool interconnections - Reference model for specifying system behavior