April 2023 - dfdl-wg - lists.ogf.org

Latest OGF DFDL WG Call Minutes
by Steve Hanson 21 Jun '23

21 Jun '23

Please find minutes from the latest call at https://github.com/OpenGridForum/DFDL/wiki/DFDL-Workgroup-News. Regards Steve Hanson IBM Integration, Hursley, UK Architect, IBM DFDL Co-Chair, OGF DFDL Working Group smh(a)uk.ibm.com<mailto:smh@uk.ibm.com> tel:+44-7717-378890 Note: I work Tuesday to Friday Unless otherwise stated above: IBM United Kingdom Limited Registered in England and Wales with number 741598 Registered office: PO Box 41, North Harbour, Portsmouth, Hants. PO6 3AU

3 12

Agenda for DFDL WG Call
by Steve Hanson 08 Jun '23

08 Jun '23

Please find agenda for today's DFDL WG call on GitHub at https://github.com/OpenGridForum/DFDL/blob/master/calls/2022/2022-10-06_DFD…. Note change of format of agenda & minutes to GitHub markdown file. Mike can't make the call on 20th October so next call after today's is 3rd November. Regards Steve Hanson IBM Integration, Hursley, UK Architect, IBM DFDL Co-Chair, OGF DFDL Working Group smh(a)uk.ibm.com tel:+44-7717-378890 Note: I work Tuesday to Friday Unless otherwise stated above: IBM United Kingdom Limited Registered in England and Wales with number 741598 Registered office: PO Box 41, North Harbour, Portsmouth, Hants. PO6 3AU

2 12

Unparsng Asterix format - challenges for DFDL
by Mike Beckerle 24 Apr '23

24 Apr '23

Asterix is a Eurocontrol aviation-related messaging data format. We are trying to create a DFDL schema for Asterix. Asterix messages have a field-spec or fspec at the start. This is a variable-length set of presence-bit flag bytes at the start of the message. The fspec flags are a vector of bytes. Each byte contains 7 bits which are the presence-indicator flags, and an FX bit indicating whether there is another flags byte. After those flags are the fields themselves which are, if present, fixed length. The fields are commonly numbers of various fixed sizes (int, float, byte, etc.) The challenge is this. A given flag byte is only needed when unparsing if 1. a field whose presence bit is in that flag byte is present in the message. 2. a subsequent flag byte is needed. In that case the flag byte could be all 0 flags, but the FX bit will be 1 to indicate that there is a subsequent flag byte. As an example, imagine a message has from 1 to 3 flag bytes at the start, allowing up to 21 optional fields to follow. Flag byte 2 is needed if any of fields 8-14 exists, or if flag byte 3 exists. Flag byte 2's FX bit is 1 if flag byte 3 exists. For the sake of discussion, let's call the presence flags p1 to p21, so the fspec flags bytes are: fspec1 fspec2 fspec3 p1, p2, p3, p4, p5, p6, p7 fx1 | p8, p9, p10, p11, p12, p13, p14, fx2 | p15, p16, p17, p18 p19, p20, p21 (fspec3 has a final unused bit. It uses only the first 7 bits of the byte.) We'd like to compute the entire flag byte vector including the existence of each flag byte, based on the existence of the subsequent fields, which we can call f1 to f21. We do this with dfdl:newVariableInstance like so: <dfdl:newVariableInstance ref="s:p1Exists">{ fn:exists(../p1) }</dfdl:newVariableInstance> ... <dfdl:newVariableInstance ref="s:p21Exists">{ fn:exists(../p21) }</dfdl:newVariableInstance> <dfdl:newVariableInstance ref="s:fspec3Exists">{ $s:p15Exists or $s:p16Exists or ... $s:p21Exists }</dfdl:newVariableInstance> <dfdl:newVariableInstance ref="s:fspec2Exists">{ $fspec3Exists or $s:p8Exists or $s:p9Exists or ... $s:p14Exists }</dfdl:newVariableInstance> That allows us to then easily compute the values of each flag bit, and of each FX bit. But we have no way at unparse time to only create the entire fspec2 or fspec3 element based on $s:fspec2Exists, or $s:fspec3Exists. It appears it is not possible to do this in DFDL v1.0. Because dfdl:occursCountKind 'expression' does not evaluate the expression at unparse time. Nor does choice evaluate a choice dispatch key at unparse time. So it appears we have no way to evaluate an expression at unparse time, and use the value of that expression to decide to create an element in the augmented infoset that was not present in the initial infoset at the start of unparsing. Hence, we cannot cause the creation of these optional fspec flag bytes based on the existence of subsequent fields when unparsing. It is illegal in Asterix for the last flag byte to contain only zero bits. So I believe DFDL cannot properly compute the fspec flag bytes based on the existence of the subsequent fields. I think application logic outside of the DFDL schema has to replicate the logic about whether a flag byte needs to exist or not, and place the corresponding fspec elements into the infoset. It is very close. If we had either the ability to evaluate and select a choice branch at unparse time based on an expression, or the ability to evaluate an occursCount expression at unparse time to determine the existence or not of an element in the infoset, those would enable us to fully capture the Asterix format. Mike Beckerle Apache Daffodil PMC | daffodil.apache.org OGF DFDL Workgroup Co-Chair | www.ogf.org/ogf/doku.php/standards/dfdl/dfdl Owl Cyber Defense | www.owlcyberdefense.com

1 0

[OpenGridForum/DFDL] First version of PAS Explanatory Report added (PR #41)
by Mike Beckerle 04 Apr '23

04 Apr '23

I created a first cut at this. You will notice the many TBDs, where I wasn't sure what to say. You can review with github code review. ---------- Forwarded message --------- From: Mike Beckerle <notifications(a)github.com> Date: Tue, Apr 4, 2023 at 6:18 PM Subject: [OpenGridForum/DFDL] First version of PAS Explanatory Report added (PR #41) To: OpenGridForum/DFDL <DFDL(a)noreply.github.com> Cc: Mike Beckerle <mbeckerle(a)apache.org>, Your activity < your_activity(a)noreply.github.com> This is in markdown. Use new line for each new sentence style. Long sentences can have multiple lines, but each new sentence should start on a new line. ------------------------------ You can view, comment on, or merge this pull request online at: https://github.com/OpenGridForum/DFDL/pull/41 Commit Summary - 5035464 <https://github.com/OpenGridForum/DFDL/pull/41/commits/50354643904565a921733…> First version of PAS Explanatory Report added File Changes (1 file <https://github.com/OpenGridForum/DFDL/pull/41/files>) - *A* ISO-process/ISO-PAS-Explanatory-Report-For-OGF-DFDL.md <https://github.com/OpenGridForum/DFDL/pull/41/files#diff-9a0253d3ff4f2d918f…> (259) Patch Links: - https://github.com/OpenGridForum/DFDL/pull/41.patch - https://github.com/OpenGridForum/DFDL/pull/41.diff — Reply to this email directly, view it on GitHub <https://github.com/OpenGridForum/DFDL/pull/41>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AALUDAYW5F7LQTEQ33C4IITW7…> . You are receiving this because you are subscribed to this thread.Message ID: <OpenGridForum/DFDL/pull/41(a)github.com>

1 0