橡SPA2000.PDF

Size: px

Start display at page:

Download "橡SPA2000.PDF"

えつみかがんじ
5 years ago
Views:

1 XSLT ( ) d-oka@is.s.u-tokyo.ac.jp ( ) hagiya@is.s.u-tokyo.ac.jp XSLT(eXtensible Stylesheet Language Transformations) XML XML XSLT XSLT XML XSLT XML XSLT XML XML XPath XML XSLT XPath XML XSLT,XPath 1 XSLT([6]) XML([5]) W3C XML HTML Web Web [3] XML XML XSLT XSLT XSLT XSLT XML A) GUI XML XML GUI XML HTML XSLT GUI HTML -1-

2 XML HTML GUI [2] B) XSLT XML XML 2 XSLT XSLT XML XML XSLT <xsl:for-each select= person > <xsl:value-of select= name /> </xsl:for-each> XSLT XML <xsl:for-each select= person > XML person xsl:for-each <xsl:value-of select= name /> XML name XML <person><name>tyler</name></person> <person><name>jack</name></person> <person><name>marla</name></person> XSLT tyler jack marla xsl:for-eachxsl:value-of select XML XPath([7]) -2-

3 XSLT XML( T ) T := PT P := any-string any-string XSLT XSLT XML 3 XSLT XML XSLT XSLT XSLT <xsl:apply-templates/> <xsl:template>... </xsl-template> <xsl:for-each select="..."> (element: T1) (element: T2)... (element: Tn) </xsl:for-each> <xsl:template>... </xsl-template> xsl:for-each <xsl:template>... </xsl-template> xsl:value-of xsl:apply-templates <xsl:value-of select="..."/> -3-

4 <xsl:element name="n"> :o first element: T1 second element: T2... last element: Tn </xsl:element> :c <xsl:if test="..."> (contents: T) </xsl:if> xsl:if xsl:element 1 XSLT xsl:apply-templates xsl:template xsl:apply-templates select xsl:template match template xsl:value-of any-string XML XML <xsl:attribute name= attr-name >attr-value</xsl:attribute> XML XSLT XSLT 4 SLR XSLT SLR SLR [4] XSLT LR(0) -4-

5 FIRST FOLLOW 5 XML XML <div>(d) <xsl:for-each select= person >(F) <xsl:value-of select= name /> </xsl:for-each> <xsl:if test= mark >(B) <xsl:value-of select= mark /> </xsl:if> </div> D := FI F := any-stringf B := any-string 2XSLT XML any-string XML xsl:value-of ( ) XML Name:<xsl:value-of /> XML Name:Tyler -5-

6 Name: Name: Tyler xsl:value-of <xsl:value-of /> xsl:value-of XML xsl:value-of xsl:value-of any-string XML XML XSLT XML inorder XSLT XML 6 XML XML XSLT XPath XML <xsl:value-of select= name /> Tyler name Tyler XPath XML <xsl:value-of select= person[@country= Japan ][2]/name /> country Japan name <person country= Japan /> <person country= Japan ><name>tyler</name></person> XPath -6-

7 XPath := Step Step / XPath Step := AxisSpecifier NodeTest (Predicate)* AxisSpecifier NodeTest := string Predicate := [XPath = string] [ number ] [number] predicate XPath number [number] Predicate Step Predicate Xpath Predicate // XML Step FindStep Step Predicate function FindStep(nodeset, Step) //We represent this Step as N[P 1 ][P 2 ]...[P n ]. if(n==0) //with no predicates return children whose name is N and whose parent is an element in nodeset. else x = FindStep(nodeset, N[P 1 ][P 2 ]...[P n-1 ]) if(p n is of the form path=literal) r = for each i in x if(the first element of FindStep(i 1, path) equals Literal) add i to r return r else // P n is a positioned predicate [n] return nth element of x Algorithm 6-1 Function FindStep MakeStep FindStep Step Step MakeStep Step Step Predicate 1 i i -7-

8 Path=Literal [number] Predicate function MakeStep(nodeset, Step) //We assume that FindStep(nodeset, Step) returns the empty set. //We represent this Step as N[P 1 ][P 2 ]... [P n-1 ] [path=literal]. if(n==0) //When this step has no predicates append an element with its name N to the first element of nodeset and return it else x = FindStep(nodeset, N[P 1 ]...[P n-1 ]) if(x==) x = MakeStep(nodeset, N[P 1 ]...[P n-1 ]) //Now we have obtained nodes that meet P 1,..., P n-1. for each i in x v = FindStep(i, path) if(==) set the value of MakeStep(i,path) to Literal and return i //When existing nodes cannot meet the last predicate, append an element e with its name N to the first element of nodeset. for each P i in P 1...P n-1 set the value of MakeStep(e, the path of P i ) to Literal of P i Algorithm 6-2 Function MakeStep MakePositionedStep Predicate [number] MakeStep [number]step Predicate //We assume that FindStep(nodeset, Step) returns the empty set. function MakePositionedStep(nodeset, Step) //We represent this Step as N[P1][P2]... [Pn-1] [pos]. x = FindStep(nodeset, N[P1][P2]... [Pn-1]) if((pos+1) > x ) repeat (pos+1)- x times append an element e with name N to the first element of nodeset for each Pi set the value of MakeStep(e, path of Pi) to Literal of Pi append e to x as last element return the posth element of x. Algorithm 6-3 Function MakePositionedStep -8-

9 Step XPath SolvePath function SolvePath(node, Step 1 /Step 2 /.../Step N ) t = (N==1)? node : SolvePath(node, Step 1 /.../Step N-1 ) if(findstep(t, Step N )==) if(step N is a positioned predicate) return MakePositionedStep(t, Step N ) else return MakeStep(t, Step N ) else return the first element of FindStep(t, Step N ) Algorithm 6-4 Function SolveStep XML XML XML SolvePath XSLT SolvePath <xsl:value-of select= path /> SolvePath(context, path) xsl:value-of <xsl:for-each select= path > for-each SolvePath(context, path[1] 2 ) 1 context xsl:for-each SolvePath(context, path[2]) <xsl:apply-templates select= path > xsl:for-each template for-each apply-templates <xsl:if test= path >, <xsl:when test= path > XML SolvePath(context, path) -9-

10 7 A. XML XML ( XSLT ) B. XSLT C. xsl:value-of D. XPath XML A XML XML B D XPath XPath XPath XML person[@score < 20]score 20 person XPath score XPath XSLT 8 XSLT/XPath C++ Microsoft XML XSLT 3KB,10KB,30KB XML XML 3KB 10KB 30KB CFG 10ms 10ms 10ms XML 0.02sec 0.14sec 0.80sec XML 0.17sec 2.7sec 23.6sec 0.19sec 2.8sec 24.4sec ( ) 0.01sec 0.03sec 0.11sec XML XML 2 path Step [1] Predicate -10-

11 XML 1 XML 9 XML XPath XML DTD -11-

12 SLR XML XPath XML XPath XPath XSLT,XPath XSLT [1] 10 [1], Inverse Transformation of XSLT,, [2] Stephane Bonhomme, Cecile Roisin, Interactively Restructuring HTML Documents, Fifth International World Wide Web Conference, 1996, [3], XML Web, 2 (SPA'99), 1999 [4] Alfred V. Aho, Ravi Sethi, Jeffrey D.Ullman, (),, 1990, [5] W3C, Extensible Markup Language(XML), 1998, [6] W3C, XSL Transformations Version 1.0, 1999, [7] W3C, XML Path Language Version 1.0, 1999,

XSLT 4-1

XSLT 4-1 XSLT XML XML HTML XSLT 1.0 (W3C ) http://www.w3.org/tr/xslt http://www.zvon.org/xxl/xsltreference/output/ ( ) XML 4-2 XSLT XML

橡SPA2000.PDF

橡SPA2000.PDF