Re: [jsdl-wg] [Fwd: OASIS SDD TC Formal requirements]