IEEE 1232 : 2010

Table of Contents

1. Overview
2. Normative references
3. Definitions, acronyms, and abbreviations
4. Description of AI-ESTATE
5. AI-ESTATE usage
6. Models
7. Reasoner manipulation services
Annex A (informative) - Bibliography
Annex B (informative) - Overview of EXPRESS
Annex C (informative) - Overview of ISO 10303-28:2007
Annex D (informative) - Overview of ISO 10303-21:1994
Annex E (normative) - Information object registration
Annex F (normative) - Universal resource names for
                      derived XML schemas

Abstract

Defines formal specifications for supporting system diagnosis. It provides formal models of diagnostic information to ensure unambiguous access to an understanding of the information supporting system test and diagnosis.

General Product Information

Published
Document Type	Standard
Status	Current
Publisher	Institute of Electrical & Electronics Engineers
Pages
ISBN