FODA — the formal specification of ODA document structures and its use as a basis for conformance testing

The Office Document Architecture (ODA) is an International Standard which is developed by TC 97/sc 18 of the International Organization for Standardization (ISO) in close collaboration with CCITT's Study Group VIII and with ECMA. This paper describes the current state of a formal specification of the ODA document structures by mathematical means and its use for conformance specification and conformance testing.