7.4.15.4.2 on p.101 contains the rule

(225) <annotation_appl> ::= "@" <scoped_name> [ "(" <annotation_appl_params> ")" ]

The nature of the EBNF notation leaves room for interpreting that between the @ and the <scoped_name> there could appear spaces, tabs, or even comments.

On the other hand, 7.4.15.4.1 on p.100 contains:

(220) <annotation_header> ::= "@annotation" <identifier>

Here, it is clear that @annotation shall be treated as a single token without intermittent characters between @ and annotation.

I propose adding a clarification in the explanations at the beginning of p.102 (following rule 227):

Applying an annotation consists in prefixing the element under annotation with:

• The annotation name ( <scoped_name> ) prefixed with the at symbol( @ ), also known as commercial at. There shall be no intermittent spaces, tabs, or comments between @ and <scoped_name>.

The last sentence is my proposed addition.

Extend the grammar for Constants to allow constants for all Core Data Types that are currently not allowed:

• sequence
• structure
• union
• array

7.4.13.4 "Explanations and Semantics" gives a synoptic list of the complements,

Those complements are:

• Additions to structure definition in order to support single inheritance and void content (no members).
• Ability to discriminate a union with other types (wide char and octet).
• An additional template type (maps).
• Additional constructed types (bitsets and bitmasks).

The complement "Integers restricted to holding 8 bits of information" (7.4.13.4.4) should be added there.

Page 112 top continues the bullet list started on p.111 bottom:

• May precise on which elements the annotation is valid in that specific context. That list may be only a subset of all the possible ones.

Replace "precise" by a verb, e.g. specify, detail, elaborate, or expound.

• Shall indicate the default behavior [...]. This is because the later values are intended to be the most logical values when the annotation is present.

"later" -> latter

7.2.6.2.1 on page 23 contains:

A character literal is one or more characters enclosed in single quotes, as in:
const char C1 = ’X’;

Please use the ASCII apostrophe:
const char C1 = 'X';

If an implementation wishes to claim support for the "Building Block Extended Data-Types", it must support all of its complements, including the section 7.4.13.4.4 "Integers restricted to holding 8-bits of information".

However, if the targeted programming language does not natively support int8 or uint8 then it is not obvious how the "unsupported" type may be mapped.

For example, the Java language has a native type byte which is signed.
The question then arises how the implementation maps the type uint8.

The implementation could choose to

• Maintain bit size:
  In that case, it would map uint8 to Java byte.
  The question then arises how values exceeding the positive signed maximum (127) are handled.
• Maintain numeric range:
  In that case, it could map uint8 e.g. to Java short (16 bit quantity) or int (32 bit quantity).
  The implementation must then address the interoperability with other languages where uint8 is
  mapped to an 8 bit quantity.
• Use yet a different mapping, for example a holder class (cf. Short, Integer, etc.)

I therefore propose adding the requirement that the implementation shall document its mapping choice:

If the targeted programming language does not natively support int8 or uint8 then an implementation
shall include information about how it maps the types which lack the native language support.

In section 7.4.11.4.3 page 87 and in Annex A page 132, <connector_inherit_spec> should have the rule number 182.

There is a stray > at the end of the title,

7.4.1.4.1 IDL Specification>

Page 133 last item of "From Building Block Extended Data-Types" :

(1) <unsigned_longlong_int> ::+ “uint64”

The rule number should be 215.

As an aside, the quotation marks used in rules 208 to 215 are fancy Unicode characters while the rest of the grammar uses the regular ASCII code 34 decimal.

This is not an issue in the strict sense, just a usability observation.
If I copy/paste the word <porttype_def> of rule 174, it comes out as

>‎ yedeepyotrop <

In section 4 "Terms and Definitions" on page 7, the last sentence is:

> [...] Building blocks are described in
> clause 0,

The sentence seems to end on the comma; furthermore, I cannot find a "clause 0".