BS ISO/IEC 8613-10:1995
Withdrawn
A Withdrawn Standard is one, which is removed from sale, and its unique number can no longer be used. The Standard can be withdrawn and not replaced, or it can be withdrawn and replaced by a Standard with a different number.
Information processing. Text and office systems. Office document architecture (ODA) and interchange format Formal specifications
Hardcopy , PDF
06-15-1999
English
03-15-1996
Foreword
1 Scope
2 Normative references
3 Definitions
4 Syntax and semantics of the specification
language
4.1 Basic concepts
4.2 Syntax of the specification language
4.3 Predicate symbols with built-in semantics
4.4 Operator symbols with built-in semantics
4.5 Other terms
4.6 Notational simplifications
5 Structure of the formal specifications
6 Commonly used definitions
7 Formal specification of the document structures
7.1 Sets of constituents
7.2 Constituents
7.3 Attributes
7.4 Subsidiary definitions
7.4.1 Predicates
7.4.2 Functions
7.5 Additional terminological definitions
7.6 Index of predicate symbols, operator symbols and
attribute names
Annex
A Tutorial on the specification language
A.1 Introduction
A.2 Atomic constructs
A.3 Composite constructs
A.4 Spots
A.5 Predicates
A.6 Operators
A.7 Predicates for the formal specifications of ISO
8613
A.8 Further examples
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.