IRC log of xproc on 2009-05-07

Timestamps are in UTC.

15:06:22 [RRSAgent]
RRSAgent has joined #xproc
15:06:22 [RRSAgent]
logging to
15:06:47 [Norm]
Meeting: XML Processing Model WG
15:06:47 [Norm]
Date: 7 May 2009
15:06:47 [Norm]
15:06:47 [Norm]
Meeting: 143
15:06:47 [Norm]
Chair: Norm
15:06:49 [Norm]
Scribe: Norm
15:06:51 [Norm]
ScribeNick: Norm
15:06:56 [Norm]
Zakim, who's here?
15:06:56 [Zakim]
On the phone I see Vojtech, Norm, Ht, Murray_Maloney
15:06:57 [Zakim]
On IRC I see RRSAgent, Zakim, MoZ, Norm, ht_home, ht
15:07:37 [Norm]
Present: Vojtech, Norm, Henry, Murray
15:07:46 [Norm]
Topic: Accept this agenda?
15:07:46 [Norm]
15:07:52 [Norm]
15:07:58 [Norm]
Topic: Accept minutes from the previous meeting?
15:07:58 [Norm]
15:08:01 [Norm]
15:08:12 [Norm]
Topic: Next meeting: telcon 14 May 2009
15:08:18 [Norm]
Norm must give regrets.
15:08:34 [Norm]
Henry to chair
15:08:49 [Zakim]
15:08:56 [Norm]
Present: Vojtech, Norm, Henry, Murray, Mohamed
15:09:04 [Norm]
Topic: The default XML processing model
15:10:18 [Norm]
Henry reminds us of the two deliverables from our charter.
15:11:05 [ht]
15:11:24 [Norm]
Henry: Those are Tim's thoughts on this issue.
15:12:38 [Norm]
Henry: Tim's ideas are driven largely by the combination of XML elements from different namespaces in vocabularies like HTML
15:13:08 [Norm]
...Tim frames the question in terms of "what is the meaning of this document"? He likes to think about it in a way that I'll characterize informally as "compositional semantics"
15:13:37 [Norm]
...If you have a tree structured thing, you can talk about its semantics as being compositional in so far as the meaning of a bit of the tree is a function of the label on that node and the meaning of its children.
15:13:50 [Norm]
...So a simple recursive descent process will allow you to compute the meaning of the whole tree.
15:14:29 [Norm]
...It's not surprising that we switch between a processing view and more abstract statements about the meaning of nodes
15:14:55 [Norm]
...Tim's perspective is that if the fully qualified names of elements can be thought of as functions, then the recursive descent story is straightforward.
15:15:13 [Norm]
...That is the "XML functions" story about the document's meaning.
15:15:57 [Norm]
Henry: Another bit of the background is the kind of issue that crops up repeatedly "now that we have specs like XML encryption and XInclude, when another spec that's supposed to deal with generic XML
15:16:54 [Norm] created, just what infoset is it that those documents work with if you hand them a URI. Is it the result you get from parsing with a minimal parser, or a maximal parser, or one of those followed by ... name your favorite set of specs ...
15:17:18 [Norm]
...until nothing changes". People keep bumping up against this and deciding that there should be some generic spec to answer this question.
15:17:25 [Norm]
Henry: That's where the requirement in our charter comes from
15:18:03 [Norm]
So GRDDL could have said "You start with a blurt infoset" where a spec such as ours could define what blurt is.
15:18:12 [Norm]
Henry: I ran with this ball in the TAG for a while.
15:18:17 [ht]
15:18:18 [Norm]
Henry: This document is as far as I got.
15:18:49 [Norm]
...It uses the phrase "elaborated infoset" to describe a richer infoset that you get from performing some number of operations.
15:19:00 [Norm]
...That document doesn't read like a TAG finding, it reads like a spec.
15:19:23 [Norm]
...So one way of looking at this document is as input into this discussion in XProc.
15:19:35 [Norm]
Henry: I think the reasons this stalled in the TAG are at least to some extent outside the scope of our deliverable.
15:20:03 [Norm]
...They have to do with the distinction between some kind of elaborated infoset and the more general question of application meaning of XML documents.
15:20:11 [Norm]
...Fortunately, we don't have to deal with the latter.
15:20:36 [Norm]
Henry: Hopefully, folks can review these documents before next week.
15:20:44 [Norm]
Norm: They make sense to me
15:22:37 [Norm]
15:24:11 [Norm]
Norm: My concern with my chair's hat on is that there are lots of ways to approach this. Perhaps the right thing to do is start by trying to create a requirements and use cases document?
15:24:26 [Norm]
Murray: Can we do that by pointing to all the existing documents?
15:24:51 [Norm]
Henry: I think we could benefit from a pointer to Murray's discussion on the GRDDL working group mailing list.
15:25:13 [Norm]
Henry: I'm thinking that what this is primarily is a way of defining a vocabulary that other specs can use.
15:25:31 [Norm]
Murray: Would I be way off base thinking that a net result of this process will be a pipeline written in XProc?
15:26:21 [Norm]
Henry: The process I described above requires you to repeat the process until nothing changes.
15:26:50 [Norm]
Norm: You could do it, you'd end up doing it n+1 times, but you could do it with p:compare.
15:27:13 [Norm]
Henry: It'd have to be recursive, it'd be a little tricky, but I guess you could do it.
15:27:39 [Norm]
Murray: It seems to me that if we can't answer part 2 by relying on part 1, then we didn't complete part 1 properly.
15:28:01 [Norm]
...If you can't produce an elaborated infoset by running it through a pipeline, then you did something wrong in the pipeline.
15:28:12 [Norm]
...Otherwise, what hope does anyone else have in accomplishing this.
15:29:07 [Norm]
Henry: It seems entirely possible to me that there are operations that on the one hand need to be specified as primitives in our view of things and on the other hand are not necessary for any of the use cases that get us over the 80/20 point.
15:29:18 [Norm]
...I'm not yet convinced that there aren't things in that category that you need.
15:29:32 [Norm]
Murray: Maybe that'll provide the imputus for XProc
15:30:15 [Norm]
...If I have a document that purports some truth, but I have to go through lots of machinations to get there, but there's a formulaic way then we should be able to use the tools to do it.
15:30:51 [Norm]
Henry: I believe, thoughI I'm not sure, that you could implement XInclude by writing an XProc pipeline that didn't use the XInclude step. Doing so might reveal something about the complexity of XInclude.
15:31:11 [Norm]
...If someone said you don't need to do that, you can always write a pipeline, I'd say "No, wrong, you could but you wouldn't want to."
15:32:15 [Norm]
Norm: If we get to the point where we think we could do it, but we needed a few extra atomic steps, I think we could call that victory.
15:32:52 [Norm]
Henry: Let me introduce one other aspect, in attempting to do this in a way that doesn't require a putative spec to be rewritten every time some new bit of XML processing gets defined,
15:33:32 [Norm]
...the elaborated infoset proposal has this notion of "elaboration cues" and attempts to define the process independent of a concreate list of these cues.
15:34:02 [Norm]
Henry: I'm not sure how valuable that attempt to be generic is.
15:34:56 [Norm]
Norm: I think one possibility is to define a concrete pipeline that does just have a limited set of steps.
15:35:51 [Norm]
Henry: Doesn't that mean that if we add a new obfuscation step, that de-obfuscation requires us to revisit the elaborated infoset spec?
15:35:54 [Norm]
Norm: Yes.
15:36:17 [Norm]
Murray: Right, we're talking about the default processing model. Henry's talking about the obfuscated processing model which would be different.
15:36:27 [Norm]
...You can petition later to become part of the default.
15:36:46 [Norm]
Henry: Another way of putting it is, should the elaboration spec be extensible?
15:36:52 [Norm]
Norm: Right. And one answer is "no".
15:37:25 [MoZ]
Scribe : MoZ
15:38:13 [MoZ]
Murray : it looks like it has been done in other spec. What we need to do is to define the processing model for the most common cases
15:39:00 [MoZ]
Henry : my experience is that it will be easier to have agreement on elaboration to allow people to control what is elaboration and what isn't
15:39:21 [MoZ]
...The default is to have XInclude but not external stylesheet
15:39:41 [MoZ]
...Some want to have XInclude, some wants external stylesheet and other wants both
15:40:16 [MoZ]
Norm : I agree, but will it make any progress on the problem ?
15:40:30 [MoZ]
Henry : it will depends on the conformance story
15:41:24 [MoZ]
...what I had in mind was : if GRRDL is coming out, and has the ability to say that the input of the processing is a GRDDL elaborated infoset
15:42:42 [MoZ]
Murray : what happen to XML document that is not anymore an XML Document (Encryption, Zipping, etc...)
15:43:23 [MoZ]
Henry : I agree, that's all we talking about
15:43:39 [Norm]
scribe: Norm
15:43:39 [MoZ]
Scribe : Norm
15:44:16 [Norm]
Some discussion about which technologies preserve the "XMLness" of a document.
15:45:42 [Norm]
Encryption and Henry's obfuscation example both produce XML documents
15:47:05 [Norm]
Mohamed: It's an interesting discussion. There is, I think, a common base on which we can at least agree.
15:47:33 [Norm]
...These are more technical than logical, for example, XInclude, encryption, where the behavior is clearly defined.
15:47:57 [Norm]
...On top of that, there's a layer of user behavior. I think we'll have a hard time at that layer.
15:48:23 [Norm]
...Defining the use caes and requirements is probably the only place we can start.
15:49:19 [Norm]
Norm: Yeah, I don't want to make us do work that's already been done. But I think there would be value in collecting the use cases together
15:49:39 [Norm] see if we have agreement that some, all, or none of them are things we think we could reasonably be expected to achieve.
15:49:46 [Norm]
Murray: Hopefully more than noen.
15:49:49 [Norm]
15:49:52 [Norm]
Norm: Indeed.
15:50:46 [Norm]
Norm: Ok, for next week, let's plan to have reviewed the documents that Henry pointed to and spend some time on use cases and requirements.
15:50:48 [Norm]
Henry. Agreed.
15:50:54 [Norm]
Topic: Any other business?
15:50:55 [Norm]
None heard.
15:51:04 [Norm]
15:51:05 [Zakim]
15:51:08 [Zakim]
15:51:09 [Zakim]
15:51:09 [Zakim]
15:51:10 [Zakim]
15:51:12 [Zakim]
XML_PMWG()11:00AM has ended
15:51:13 [Zakim]
Attendees were Norm, Vojtech, Ht, Murray_Maloney, MoZ
15:51:14 [Norm]
RRSAgent, set logs world-visible
15:51:17 [Norm]
RRSAgent, draft minutes
15:51:17 [RRSAgent]
I have made the request to generate Norm
17:33:48 [Zakim]
Zakim has left #xproc