13:58:22 RRSAgent has joined #xproc 13:58:22 logging to http://www.w3.org/2015/04/08-xproc-irc 13:58:23 Zakim has joined #xproc 13:58:25 rrsagent, set logs world-visible 13:58:25 Meeting: XML Processing Model WG 13:58:25 Agenda: http://www.w3.org/XML/XProc/2015/04/08-agenda 13:58:25 Date: 8 April 2015 13:58:26 Meeting: 269 13:58:27 Chair: Norm 13:58:29 Scribe: Norm 13:58:31 ScribeNick: Norm 13:59:29 zakim, passcode? 13:59:29 sorry, Norm, I don't know what conference this is 13:59:36 zakim, this will be xproc 13:59:36 ok, Norm; I see XML_PMWG()10:00AM scheduled to start in 1 minute 13:59:37 zakim, passcode? 13:59:37 the conference code is 97762 (tel:+1.617.761.6200 sip:zakim@voip.w3.org), Norm 13:59:56 Zakim, this is Jim 13:59:56 sorry, jfuller, I do not see a conference named 'Jim' in progress or scheduled at this time 14:00:01 Zakim, this is jfuller 14:00:01 sorry, jfuller, I do not see a conference named 'jfuller' in progress or scheduled at this time 14:00:28 zakim, who's here? 14:00:28 XML_PMWG()10:00AM has not yet started, Norm 14:00:30 On IRC I see RRSAgent, alexmilowski, Norm, jfuller, liam 14:01:45 ht has joined #xproc 14:03:03 zakim, who's here? 14:03:05 XML_PMWG()10:00AM has not yet started, Norm 14:03:05 On IRC I see ht, Zakim, RRSAgent, alexmilowski, Norm, jfuller, liam 14:03:13 jfuller: are you calling in? 14:03:21 I am hear 14:03:25 s/hear/here/ 14:03:46 Present: Norm, Alex, Jim, Henry 14:04:00 Topic: Accept this agenda? 14:04:00 -> http://www.w3.org/XML/XProc/2015/04/08-agenda 14:04:06 Accepted. 14:05:27 Topic: Next meeting 14:05:28 Proposed: 15 April 2015 does anyone have to give regrets? 14:05:32 Regrets for 15/4 14:06:37 Topic: Review of open action items 14:07:00 No progress reported. 14:07:24 Topic: "Merge" concepts of ports and options, issue 109 14:07:30 -> https://github.com/xproc/specification/issues/109 14:07:50 Jim: Things have moved on a bit; so this may not be relevant anymore. 14:07:53 https://lists.w3.org/Archives/Public/public-xml-processing-model-comments/2014Feb/0001.html 14:08:24 I thought we had actually already discussed this??? 14:08:28 Jim summarizes Romain's message. 14:10:57 Jim: I think in the end, the idea of addressing ports with XPath expressions is off the table. 14:11:04 ...The other half of the issue is addressed by the @bind shortcut. 14:11:14 Jim: I think we can close this without action. 14:12:05 Norm: Ok. I think Romain will raise another issue (or reopen this one) if there are particular details that we haven't addressed. 14:12:29 Henry: I would be very sorry to lose the basic architectural nature of ports and steps. As essentially a data flow language. 14:12:40 Norm: I propose that we close this and see what happens? 14:12:46 No objections heard. 14:12:56 Topic: Proposal for p:validate step 14:13:04 -> https://github.com/xproc/extensions/blob/master/steps/validate.md 14:13:11 Norm attempts to summarize 14:14:39 comment for the scribe - on issue #109, I think the work we did with opening up options, providing @pipe and allowing non xml docs flow all strengthen the current architecture with demarcation between options and ports 14:15:23 Alex: Can we generalize beyond the model PI. 14:16:25 Can we have definitions of group and phase that are generalized, or should they simply be parameters. 14:16:38 Norm: That didn't occur to me at the time, but making them parameters might be a good idea. 14:16:51 http://www.w3.org/2013/ShEx/Primer 14:16:54 Alex: There's a validation language for RDF stuff 14:17:46 Norm: That's the RDF Shapes work, I think. 14:18:03 Alex: I think we should make sure that we are aligned with these technologies. 14:18:47 Norm: I'll move group and phase to the parameters. 14:19:02 ACTION: A-269-01 Alex to review the RDF Shapes work and see if this validation step will cover that use case. 14:19:58 ACTION: A-269-02 Norm to review the current state of play wrt to JSON schema and see if we can cover that use case too. 14:20:59 Jim: Is there any context where there's some symmetry with assertions here. 14:21:13 ...If not, is there any work of a p:assert mechanism. 14:21:50 Norm: I think you can do assertions with XPath expressions and the p:error step. 14:22:16 Jim: It seems like we're putting a facade over existing steps to provide a single entry point. When I was thinking about this, I was thinking about what's the same about assertions. 14:22:38 ...I'm wondering if we need some symmetry at that level. A single entry point for assertions. 14:23:11 ACTION A-269-03: Jim to raise an issue with some specific examples of the kinds of assertions he has in mind 14:23:18 Alex: I wonder if we need a kind of scale of validity. 14:24:52 Norm: I think that's what the report port is for, if you don't specify assert-valid then you can expect a report of what the result of attempted validation was. 14:25:03 Alex: Is there work on this? 14:25:21 Henry: Yes. If you demand a single answer, you often get "no" but if you want more detail, XML Schema validation does generate multiple values. 14:25:54 Alex: You can consider structural validity vs datatype validity etc. 14:26:31 Henry: That's not a million miles away from what's done, but it's done in a different direction. The use cases we had in mind were things like a bank transfer where the validity of some fields wasn't considered important. 14:27:25 ...The two three-valued features are roughly speaking, "I had enough information to attempt validation on none/some/all of this document and I found that of the parts I was able to validate none/some/all of it was valid." 14:27:33 ...Then you get individual remarks about individual bits of invalidity. 14:27:53 Alex: I wonder if it makes sense to make recommendations for common parameters. 14:28:12 ...You could have a parameter called outcome and it has one of those values. 14:29:25 Norm: I think that's what you get from the report port. 14:29:54 Alex: How do we choose to validate? 14:31:16 Norm: I added parameters for the validation technologies we know about! 14:32:15 Alex: I could imagine a situation where you send the validation spec two schemas (XML Schema and RELAX NG) and my processor has some way to do validation twice. 14:32:59 ...Does it make sense to have names you can define. 14:33:05 Norm: What's a name? 14:33:14 Alex: The name is the type of validation you want to attempt. 14:34:25 Norm: But one point of this step is that it doesn't know what kind of validation it's going to do until it looks at the input document and (in the case of XML) finds the xml-model PI. 14:36:34 Norm: I left open the possibility of passing in a model. 14:36:46 Murray: The report port, is that like sending something to a log file. 14:37:40 Norm: Yes, except that it's intended for downstream steps to interpret. 14:37:50 Henry: In fact my now out of date validator produced a document and had a stylesheet. 14:38:02 Murray: Surely there's a name that's more general for a port like this? 14:38:20 Henry: I don't know one. Most compilers just spit stuff out on stderr. 14:38:33 Norm: The term "report" is what Schematron uses. 14:40:36 Alex: Could we make this simpler by having a single port for 'report' and 'validation attempted'? 14:41:49 Norm: Yes, probably. I was trying to make it possible to know what was done without necessarily knowing the format of the report. 14:42:15 Murray: So the implementation is going to do its thing with with some technology that we don't know. 14:42:25 ...The implementor knows what all the messages are. 14:43:13 ...The step should not only provide the services it should also have a known report format. 14:43:35 Alex: It would be nice to have a vocabulary for the report, even if its non-normative. 14:45:20 ...I think that should be in the spec. It's implementation defined but you can use this. 14:45:39 ...For report. For validation-attempted, that should be something that's defined. 14:46:13 ACTION: A-269-04 Norm to define the validation-attempted output format and propose a non-normative report structure 14:46:28 ACTION: A-269-03: Jim to raise an issue with some specific examples of the kinds of assertions he has in mind 14:46:39 NOTE TO SCRIBE FIX THE ISSUE NUMBERING 14:47:08 Alex: The other suggestion I want to make is that we add a section on validation with Schematron. 14:47:24 ACTION: A-269-05: Norm to make sure there's a "Validation with Schematron" section. 14:47:47 Alex: I also think that we should have examples that show how to do the same thing with p:validate that we used to do with specific validation steps. 14:49:03 Alex: I think people will gravitate towards the p:validate step 14:50:13 Henry: I strongly disagree that there should be any attempt to produce a report format, even for validate-attempted. There's such tremendous variety in what's debated and produced, that it's an 18 month research project. 14:50:31 Alex: I hear you, but in that case we have to put a big warning in the spec. 14:51:47 at the edge, looking into an abyss .... 14:51:47 Henry: Even assert-valid requires someone to map the outcomes from schema validation to that bit. The schema spec itself does not provide you with that bit. 14:52:46 Henry: The XML Schema spec only tells you two three valued numbers. 14:53:14 Henry: I think this step should explicitly say that the outputs are implementation defined; so the implementor has to document them so you'll know what they are. 14:53:20 Murray: But not interoperably? 14:53:23 Henry: No. 14:53:49 Some research into what the current p:validate-with-xml-schema step says about assert-valid; it appears to say very little. 14:54:15 http://www.w3.org/TR/xproc/#c.validate-with-xml-schema 14:54:42 ACTION: A-269-06: Henry to review the current p:validate-with-xml-schema step and see what we should possibly say differently 14:56:03 Alex: For each of the languages we're going to enumerate, if we're going to, we need to define what assert-valid means. 14:56:51 ...Users aren't going to be satisfied if we say the whole thing is completely implementation defined. 14:57:59 Topic: Any other business? 14:58:51 Jim: One point of p:validate is to enable new validation technologies, right? 14:58:53 Norm: Sortof. 14:59:20 Henry: Yes, but it does mean we have to tell implementors that they have to define how assert-valid is defined. 14:59:36 Alex: Let's push this off for two weeks until Henry returns. 14:59:50 have a great break Henry ! 15:00:12 Adjourned. 15:00:17 rrsagent, set logs world-visible 15:00:19 rrsagent, draft minutes 15:00:19 I have made the request to generate http://www.w3.org/2015/04/08-xproc-minutes.html Norm 15:22:19 Liam, could you perhaps check that we still have this slot for XProc? 15:39:00 sure 15:39:28 yes we do 15:39:39 listed on https://www.w3.org/Guide/1998/08/teleconference-calendar 15:40:17 ht, zakim knew about the call at the start; I'm not sre why it forgot 15:41:06 oh, no, beg yor pardon, it didn't 17:28:31 Zakim has left #xproc