The Common Semantic Constructs of XML Family
Identifieur interne : 000365 ( Istex/Corpus ); précédent : 000364; suivant : 000366The Common Semantic Constructs of XML Family
Auteurs : Hong Li Yang ; Jun Gang Han ; Ke Gang HaoSource :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: The most striking aspect of XML specifications released by W3C is their mutual interdependence. At the time of this writing, XSLT2.0, XPath2.0 and XQuery1.0 are all W3C working drafts. Standardizing each specification will be a major challenge. The formal semantics will be helpful to the standardization of languages. The key idea of this paper is to model common semantic constructs of these languages as Object-Z classes. The purpose is to reuse these semantic constructs to specify the semantics of XML family languages and to understand the common and difference between those languages.
Url:
DOI: 10.1007/978-3-540-39893-6_24
Links to Exploration step
ISTEX:0D14073D94C4D28C20FE72C400F59BF92FEA0E56Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">The Common Semantic Constructs of XML Family</title><author><name sortKey="Yang, Hong Li" sort="Yang, Hong Li" uniqKey="Yang H" first="Hong Li" last="Yang">Hong Li Yang</name><affiliation><mods:affiliation>Department of Computer Science, Northwest University, Xi’an, China</mods:affiliation></affiliation><affiliation><mods:affiliation>Department of Computer Science, University of Xi’an Post & Telecomm, China</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: yhl_ly@163.com</mods:affiliation></affiliation></author><author><name sortKey="Han, Jun Gang" sort="Han, Jun Gang" uniqKey="Han J" first="Jun Gang" last="Han">Jun Gang Han</name><affiliation><mods:affiliation>Department of Computer Science, University of Xi’an Post & Telecomm, China</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: hjg@xiyou.edu.cn</mods:affiliation></affiliation></author><author><name sortKey="Hao, Ke Gang" sort="Hao, Ke Gang" uniqKey="Hao K" first="Ke Gang" last="Hao">Ke Gang Hao</name><affiliation><mods:affiliation>Department of Computer Science, Northwest University, Xi’an, China</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: hkg@nwu.edu.cn</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:0D14073D94C4D28C20FE72C400F59BF92FEA0E56</idno><date when="2003" year="2003">2003</date><idno type="doi">10.1007/978-3-540-39893-6_24</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-7SL2QFB8-B/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000365</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000365</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">The Common Semantic Constructs of XML Family</title><author><name sortKey="Yang, Hong Li" sort="Yang, Hong Li" uniqKey="Yang H" first="Hong Li" last="Yang">Hong Li Yang</name><affiliation><mods:affiliation>Department of Computer Science, Northwest University, Xi’an, China</mods:affiliation></affiliation><affiliation><mods:affiliation>Department of Computer Science, University of Xi’an Post & Telecomm, China</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: yhl_ly@163.com</mods:affiliation></affiliation></author><author><name sortKey="Han, Jun Gang" sort="Han, Jun Gang" uniqKey="Han J" first="Jun Gang" last="Han">Jun Gang Han</name><affiliation><mods:affiliation>Department of Computer Science, University of Xi’an Post & Telecomm, China</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: hjg@xiyou.edu.cn</mods:affiliation></affiliation></author><author><name sortKey="Hao, Ke Gang" sort="Hao, Ke Gang" uniqKey="Hao K" first="Ke Gang" last="Hao">Ke Gang Hao</name><affiliation><mods:affiliation>Department of Computer Science, Northwest University, Xi’an, China</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: hkg@nwu.edu.cn</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: The most striking aspect of XML specifications released by W3C is their mutual interdependence. At the time of this writing, XSLT2.0, XPath2.0 and XQuery1.0 are all W3C working drafts. Standardizing each specification will be a major challenge. The formal semantics will be helpful to the standardization of languages. The key idea of this paper is to model common semantic constructs of these languages as Object-Z classes. The purpose is to reuse these semantic constructs to specify the semantics of XML family languages and to understand the common and difference between those languages.</div></front></TEI><istex><corpusName>springer-ebooks</corpusName><author><json:item><name>Hong Li Yang</name><affiliations><json:string>Department of Computer Science, Northwest University, Xi’an, China</json:string><json:string>Department of Computer Science, University of Xi’an Post & Telecomm, China</json:string><json:string>E-mail: yhl_ly@163.com</json:string></affiliations></json:item><json:item><name>Jun Gang Han</name><affiliations><json:string>Department of Computer Science, University of Xi’an Post & Telecomm, China</json:string><json:string>E-mail: hjg@xiyou.edu.cn</json:string></affiliations></json:item><json:item><name>Ke Gang Hao</name><affiliations><json:string>Department of Computer Science, Northwest University, Xi’an, China</json:string><json:string>E-mail: hkg@nwu.edu.cn</json:string></affiliations></json:item></author><arkIstex>ark:/67375/HCB-7SL2QFB8-B</arkIstex><language><json:string>eng</json:string></language><originalGenre><json:string>OriginalPaper</json:string></originalGenre><abstract>Abstract: The most striking aspect of XML specifications released by W3C is their mutual interdependence. At the time of this writing, XSLT2.0, XPath2.0 and XQuery1.0 are all W3C working drafts. Standardizing each specification will be a major challenge. The formal semantics will be helpful to the standardization of languages. The key idea of this paper is to model common semantic constructs of these languages as Object-Z classes. The purpose is to reuse these semantic constructs to specify the semantics of XML family languages and to understand the common and difference between those languages.</abstract><qualityIndicators><score>7.531</score><pdfWordCount>4415</pdfWordCount><pdfCharCount>23898</pdfCharCount><pdfVersion>1.3</pdfVersion><pdfPageCount>16</pdfPageCount><pdfPageSize>430 x 660 pts</pdfPageSize><refBibsNative>false</refBibsNative><abstractWordCount>93</abstractWordCount><abstractCharCount>602</abstractCharCount><keywordCount>0</keywordCount></qualityIndicators><title>The Common Semantic Constructs of XML Family</title><chapterId><json:string>24</json:string><json:string>Chap24</json:string></chapterId><genre><json:string>conference</json:string></genre><serie><title>Lecture Notes in Computer Science</title><language><json:string>unknown</json:string></language><copyrightDate>2003</copyrightDate><issn><json:string>0302-9743</json:string></issn><eissn><json:string>1611-3349</json:string></eissn><editor><json:item><name>Gerhard Goos</name><affiliations><json:string>Karlsruhe University, Germany</json:string></affiliations></json:item><json:item><name>Juris Hartmanis</name><affiliations><json:string>Cornell University, NY, USA</json:string></affiliations></json:item><json:item><name>Jan van Leeuwen</name><affiliations><json:string>Utrecht University, The Netherlands</json:string></affiliations></json:item></editor></serie><host><title>Formal Methods and Software Engineering</title><language><json:string>unknown</json:string></language><copyrightDate>2003</copyrightDate><doi><json:string>10.1007/b94115</json:string></doi><issn><json:string>0302-9743</json:string></issn><eissn><json:string>1611-3349</json:string></eissn><eisbn><json:string>978-3-540-39893-6</json:string></eisbn><bookId><json:string>978-3-540-39893-6</json:string></bookId><isbn><json:string>978-3-540-20461-9</json:string></isbn><volume>2885</volume><pages><first>416</first><last>431</last></pages><genre><json:string>book-series</json:string></genre><editor><json:item><name>Jin Song Dong</name><affiliations><json:string>School of Computing, National University of Singapore, Singapore</json:string><json:string>E-mail: dongjs@comp.nus.edu.sg</json:string></affiliations></json:item><json:item><name>Jim Woodcock</name><affiliations><json:string>University of York,</json:string><json:string>E-mail: jim@cs.york.ac.uk</json:string></affiliations></json:item></editor><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Software Engineering</value></json:item><json:item><value>Programming Languages, Compilers, Interpreters</value></json:item><json:item><value>Logics and Meanings of Programs</value></json:item><json:item><value>Mathematical Logic and Formal Languages</value></json:item></subject></host><ark><json:string>ark:/67375/HCB-7SL2QFB8-B</json:string></ark><publicationDate>2003</publicationDate><copyrightDate>2003</copyrightDate><doi><json:string>10.1007/978-3-540-39893-6_24</json:string></doi><id>0D14073D94C4D28C20FE72C400F59BF92FEA0E56</id><score>1</score><fulltext><json:item><extension>pdf</extension><original>true</original><mimetype>application/pdf</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-7SL2QFB8-B/fulltext.pdf</uri></json:item><json:item><extension>zip</extension><original>false</original><mimetype>application/zip</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-7SL2QFB8-B/bundle.zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/ark:/67375/HCB-7SL2QFB8-B/fulltext.tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">The Common Semantic Constructs of XML Family</title></titleStmt><publicationStmt><authority>ISTEX</authority><availability><licence>Springer-Verlag Berlin Heidelberg</licence></availability><date when="2003">2003</date></publicationStmt><notesStmt><note type="conference" source="proceedings" scheme="https://content-type.data.istex.fr/ark:/67375/XTP-BFHXPBJJ-3">conference</note><note type="publication-type" subtype="book-series" scheme="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</note></notesStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">The Common Semantic Constructs of XML Family</title><author><persName><forename type="first">Hong</forename><forename type="first">Li</forename><surname>Yang</surname></persName><email>yhl_ly@163.com</email><affiliation><orgName type="department">Department of Computer Science</orgName><orgName type="institution">Northwest University</orgName><address><settlement>Xi’an</settlement><country key="CN">CHINA</country></address></affiliation><affiliation><orgName type="department">Department of Computer Science</orgName><orgName type="institution">University of Xi’an Post & Telecomm</orgName><address><country key="CN">CHINA</country></address></affiliation></author><author><persName><forename type="first">Jun</forename><forename type="first">Gang</forename><surname>Han</surname></persName><email>hjg@xiyou.edu.cn</email><affiliation><orgName type="department">Department of Computer Science</orgName><orgName type="institution">University of Xi’an Post & Telecomm</orgName><address><country key="CN">CHINA</country></address></affiliation></author><author><persName><forename type="first">Ke</forename><forename type="first">Gang</forename><surname>Hao</surname></persName><email>hkg@nwu.edu.cn</email><affiliation><orgName type="department">Department of Computer Science</orgName><orgName type="institution">Northwest University</orgName><address><settlement>Xi’an</settlement><country key="CN">CHINA</country></address></affiliation></author><idno type="istex">0D14073D94C4D28C20FE72C400F59BF92FEA0E56</idno><idno type="ark">ark:/67375/HCB-7SL2QFB8-B</idno><idno type="DOI">10.1007/978-3-540-39893-6_24</idno></analytic><monogr><title level="m" type="main">Formal Methods and Software Engineering</title><title level="m" type="sub">5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings</title><title level="m" type="part">Z/Object-Z</title><idno type="DOI">10.1007/b94115</idno><idno type="book-id">978-3-540-39893-6</idno><idno type="ISBN">978-3-540-20461-9</idno><idno type="eISBN">978-3-540-39893-6</idno><idno type="chapter-id">Chap24</idno><idno type="part-id">Part7</idno><editor><persName><forename type="first">Jin</forename><forename type="first">Song</forename><surname>Dong</surname></persName><email>dongjs@comp.nus.edu.sg</email><affiliation><orgName type="department">School of Computing</orgName><orgName type="institution">National University of Singapore</orgName><address><country key="SG">SINGAPORE</country></address></affiliation></editor><editor><persName><forename type="first">Jim</forename><surname>Woodcock</surname></persName><email>jim@cs.york.ac.uk</email><affiliation><orgName type="institution">University of York</orgName><address><country key=""></country></address></affiliation></editor><imprint><biblScope unit="vol">2885</biblScope><biblScope unit="page" from="416">416</biblScope><biblScope unit="page" to="431">431</biblScope><biblScope unit="chapter-count">37</biblScope><biblScope unit="part-chapter-count">3</biblScope></imprint></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><editor><persName><forename type="first">Gerhard</forename><surname>Goos</surname></persName><affiliation><orgName type="institution">Karlsruhe University</orgName><address><country key="DE">GERMANY</country></address></affiliation></editor><editor><persName><forename type="first">Juris</forename><surname>Hartmanis</surname></persName><affiliation><orgName type="institution">Cornell University</orgName><address><region>NY</region><country key="US">UNITED STATES</country></address></affiliation></editor><editor><persName><forename type="first">Jan</forename><nameLink>van</nameLink><surname>Leeuwen</surname></persName><affiliation><orgName type="institution">Utrecht University</orgName><address><country key=""></country></address></affiliation></editor><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="seriesID">558</idno></series></biblStruct></sourceDesc></fileDesc><profileDesc><abstract xml:lang="en"><head>Abstract</head><p>The most striking aspect of XML specifications released by W3C is their mutual interdependence. At the time of this writing, XSLT2.0, XPath2.0 and XQuery1.0 are all W3C working drafts. Standardizing each specification will be a major challenge. The formal semantics will be helpful to the standardization of languages. The key idea of this paper is to model common semantic constructs of these languages as Object-Z classes. The purpose is to reuse these semantic constructs to specify the semantics of XML family languages and to understand the common and difference between those languages.</p></abstract><textClass ana="subject"><keywords scheme="book-subject-collection"><list><label>SUCO11645</label><item><term>Computer Science</term></item></list></keywords></textClass><textClass ana="subject"><keywords scheme="book-subject"><list><label>I</label><item><term type="Primary">Computer Science</term></item><label>I14029</label><item><term type="Secondary" subtype="priority-1">Software Engineering</term></item><label>I14037</label><item><term type="Secondary" subtype="priority-2">Programming Languages, Compilers, Interpreters</term></item><label>I1603X</label><item><term type="Secondary" subtype="priority-3">Logics and Meanings of Programs</term></item><label>I16048</label><item><term type="Secondary" subtype="priority-4">Mathematical Logic and Formal Languages</term></item></list></keywords></textClass><langUsage><language ident="EN"></language></langUsage></profileDesc></teiHeader></istex:fulltextTEI><json:item><extension>txt</extension><original>false</original><mimetype>text/plain</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-7SL2QFB8-B/fulltext.txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="corpus springer-ebooks not found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType><istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName><PublisherLocation>Berlin, Heidelberg</PublisherLocation></PublisherInfo><Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesElectronicISSN>1611-3349</SeriesElectronicISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor AffiliationIDS="Aff1"><EditorName DisplayOrder="Western"><GivenName>Gerhard</GivenName><FamilyName>Goos</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff2"><EditorName DisplayOrder="Western"><GivenName>Juris</GivenName><FamilyName>Hartmanis</FamilyName></EditorName></Editor><Editor AffiliationIDS="Aff3"><EditorName DisplayOrder="Western"><GivenName>Jan</GivenName><Particle>van</Particle><FamilyName>Leeuwen</FamilyName></EditorName></Editor><Affiliation ID="Aff1"><OrgName>Karlsruhe University</OrgName><OrgAddress><Country>Germany</Country></OrgAddress></Affiliation><Affiliation ID="Aff2"><OrgName>Cornell University</OrgName><OrgAddress><State>NY</State><Country>USA</Country></OrgAddress></Affiliation><Affiliation ID="Aff3"><OrgName>Utrecht University</OrgName><OrgAddress><Country>The Netherlands</Country></OrgAddress></Affiliation></EditorGroup></SeriesHeader><Book Language="En"><BookInfo BookProductType="Proceedings" ContainsESM="No" Language="En" MediaType="eBook" NumberingDepth="2" NumberingStyle="ContentOnly" OutputMedium="All" TocLevels="0"><BookID>978-3-540-39893-6</BookID><BookTitle>Formal Methods and Software Engineering</BookTitle><BookSubTitle>5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings</BookSubTitle><BookVolumeNumber>2885</BookVolumeNumber><BookSequenceNumber>2885</BookSequenceNumber><BookDOI>10.1007/b94115</BookDOI><BookTitleID>80498</BookTitleID><BookPrintISBN>978-3-540-20461-9</BookPrintISBN><BookElectronicISBN>978-3-540-39893-6</BookElectronicISBN><BookChapterCount>37</BookChapterCount><BookCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2003</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I14029" Priority="1" Type="Secondary">Software Engineering</BookSubject><BookSubject Code="I14037" Priority="2" Type="Secondary">Programming Languages, Compilers, Interpreters</BookSubject><BookSubject Code="I1603X" Priority="3" Type="Secondary">Logics and Meanings of Programs</BookSubject><BookSubject Code="I16048" Priority="4" Type="Secondary">Mathematical Logic and Formal Languages</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup><BookContext><SeriesID>558</SeriesID></BookContext></BookInfo><BookHeader><EditorGroup><Editor AffiliationIDS="Aff4"><EditorName DisplayOrder="Western"><GivenName>Jin</GivenName><GivenName>Song</GivenName><FamilyName>Dong</FamilyName></EditorName><Contact><Email>dongjs@comp.nus.edu.sg</Email></Contact></Editor><Editor AffiliationIDS="Aff5"><EditorName DisplayOrder="Western"><GivenName>Jim</GivenName><FamilyName>Woodcock</FamilyName></EditorName><Contact><Email>jim@cs.york.ac.uk</Email></Contact></Editor><Affiliation ID="Aff4"><OrgDivision>School of Computing</OrgDivision><OrgName>National University of Singapore</OrgName><OrgAddress><Country>Singapore</Country></OrgAddress></Affiliation><Affiliation ID="Aff5"><OrgName>University of York</OrgName><OrgAddress><Country> </Country></OrgAddress></Affiliation></EditorGroup></BookHeader><Part ID="Part7"><PartInfo TocLevels="0"><PartID>7</PartID><PartSequenceNumber>7</PartSequenceNumber><PartTitle>Z/Object-Z</PartTitle><PartChapterCount>3</PartChapterCount><PartContext><SeriesID>558</SeriesID><BookTitle>Formal Methods and Software Engineering</BookTitle></PartContext></PartInfo><Chapter ID="Chap24" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" NumberingDepth="2" NumberingStyle="ContentOnly" TocLevels="0"><ChapterID>24</ChapterID><ChapterDOI>10.1007/978-3-540-39893-6_24</ChapterDOI><ChapterSequenceNumber>24</ChapterSequenceNumber><ChapterTitle Language="En">The Common Semantic Constructs of XML Family</ChapterTitle><ChapterFirstPage>416</ChapterFirstPage><ChapterLastPage>431</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2003</CopyrightYear></ChapterCopyright><ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant><AbstractGrant Grant="OpenAccess"></AbstractGrant><BodyPDFGrant Grant="Restricted"></BodyPDFGrant><BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant><BibliographyGrant Grant="Restricted"></BibliographyGrant><ESMGrant Grant="Restricted"></ESMGrant></ChapterGrants><ChapterContext><SeriesID>558</SeriesID><PartID>7</PartID><BookID>978-3-540-39893-6</BookID><BookTitle>Formal Methods and Software Engineering</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff6 Aff7"><AuthorName DisplayOrder="Western"><GivenName>Hong</GivenName><GivenName>Li</GivenName><FamilyName>Yang</FamilyName></AuthorName><Contact><Email>yhl_ly@163.com</Email></Contact></Author><Author AffiliationIDS="Aff7"><AuthorName DisplayOrder="Western"><GivenName>Jun</GivenName><GivenName>Gang</GivenName><FamilyName>Han</FamilyName></AuthorName><Contact><Email>hjg@xiyou.edu.cn</Email></Contact></Author><Author AffiliationIDS="Aff6"><AuthorName DisplayOrder="Western"><GivenName>Ke</GivenName><GivenName>Gang</GivenName><FamilyName>Hao</FamilyName></AuthorName><Contact><Email>hkg@nwu.edu.cn</Email></Contact></Author><Affiliation ID="Aff6"><OrgDivision>Department of Computer Science</OrgDivision><OrgName>Northwest University</OrgName><OrgAddress><City>Xi’an</City><Country>China</Country></OrgAddress></Affiliation><Affiliation ID="Aff7"><OrgDivision>Department of Computer Science</OrgDivision><OrgName>University of Xi’an Post & Telecomm</OrgName><OrgAddress><Country>China</Country></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>The most striking aspect of XML specifications released by W3C is their mutual interdependence. At the time of this writing, XSLT2.0, XPath2.0 and XQuery1.0 are all W3C working drafts. Standardizing each specification will be a major challenge. The formal semantics will be helpful to the standardization of languages. The key idea of this paper is to model common semantic constructs of these languages as Object-Z classes. The purpose is to reuse these semantic constructs to specify the semantics of XML family languages and to understand the common and difference between those languages.</Para></Abstract></ChapterHeader><NoBody></NoBody></Chapter></Part></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>The Common Semantic Constructs of XML Family</title></titleInfo><titleInfo type="alternative" contentType="CDATA"><title>The Common Semantic Constructs of XML Family</title></titleInfo><name type="personal"><namePart type="given">Hong</namePart><namePart type="given">Li</namePart><namePart type="family">Yang</namePart><affiliation>Department of Computer Science, Northwest University, Xi’an, China</affiliation><affiliation>Department of Computer Science, University of Xi’an Post & Telecomm, China</affiliation><affiliation>E-mail: yhl_ly@163.com</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Jun</namePart><namePart type="given">Gang</namePart><namePart type="family">Han</namePart><affiliation>Department of Computer Science, University of Xi’an Post & Telecomm, China</affiliation><affiliation>E-mail: hjg@xiyou.edu.cn</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Ke</namePart><namePart type="given">Gang</namePart><namePart type="family">Hao</namePart><affiliation>Department of Computer Science, Northwest University, Xi’an, China</affiliation><affiliation>E-mail: hkg@nwu.edu.cn</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre displayLabel="OriginalPaper" authority="ISTEX" authorityURI="https://content-type.data.istex.fr" type="conference" valueURI="https://content-type.data.istex.fr/ark:/67375/XTP-BFHXPBJJ-3">conference</genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><dateIssued encoding="w3cdtf">2003</dateIssued><copyrightDate encoding="w3cdtf">2003</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><abstract lang="en">Abstract: The most striking aspect of XML specifications released by W3C is their mutual interdependence. At the time of this writing, XSLT2.0, XPath2.0 and XQuery1.0 are all W3C working drafts. Standardizing each specification will be a major challenge. The formal semantics will be helpful to the standardization of languages. The key idea of this paper is to model common semantic constructs of these languages as Object-Z classes. The purpose is to reuse these semantic constructs to specify the semantics of XML family languages and to understand the common and difference between those languages.</abstract><relatedItem type="host"><titleInfo><title>Formal Methods and Software Engineering</title><subTitle>5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings</subTitle></titleInfo><name type="personal"><namePart type="given">Jin</namePart><namePart type="given">Song</namePart><namePart type="family">Dong</namePart><affiliation>School of Computing, National University of Singapore, Singapore</affiliation><affiliation>E-mail: dongjs@comp.nus.edu.sg</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jim</namePart><namePart type="family">Woodcock</namePart><affiliation>University of York, </affiliation><affiliation>E-mail: jim@cs.york.ac.uk</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book-series" authority="ISTEX" authorityURI="https://publication-type.data.istex.fr" valueURI="https://publication-type.data.istex.fr/ark:/67375/JMC-0G6R5W5T-Z">book-series</genre><originInfo><publisher>Springer</publisher><copyrightDate encoding="w3cdtf">2003</copyrightDate><issuance>monographic</issuance></originInfo><subject><genre>Book-Subject-Collection</genre><topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic></subject><subject><genre>Book-Subject-Group</genre><topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic><topic authority="SpringerSubjectCodes" authorityURI="I14029">Software Engineering</topic><topic authority="SpringerSubjectCodes" authorityURI="I14037">Programming Languages, Compilers, Interpreters</topic><topic authority="SpringerSubjectCodes" authorityURI="I1603X">Logics and Meanings of Programs</topic><topic authority="SpringerSubjectCodes" authorityURI="I16048">Mathematical Logic and Formal Languages</topic></subject><identifier type="DOI">10.1007/b94115</identifier><identifier type="ISBN">978-3-540-20461-9</identifier><identifier type="eISBN">978-3-540-39893-6</identifier><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="BookTitleID">80498</identifier><identifier type="BookID">978-3-540-39893-6</identifier><identifier type="BookChapterCount">37</identifier><identifier type="BookVolumeNumber">2885</identifier><identifier type="BookSequenceNumber">2885</identifier><identifier type="PartChapterCount">3</identifier><part><date>2003</date><detail type="part"><title>Z/Object-Z</title></detail><detail type="volume"><number>2885</number><caption>vol.</caption></detail><extent unit="pages"><start>416</start><end>431</end></extent></part><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2003</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title></titleInfo><name type="personal"><namePart type="given">Gerhard</namePart><namePart type="family">Goos</namePart><affiliation>Karlsruhe University, Germany</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Juris</namePart><namePart type="family">Hartmanis</namePart><affiliation>Cornell University, NY, USA</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jan</namePart><namePart type="family">van Leeuwen</namePart><affiliation>Utrecht University, The Netherlands</affiliation><role><roleTerm type="text">editor</roleTerm></role></name><originInfo><publisher>Springer</publisher><copyrightDate encoding="w3cdtf">2003</copyrightDate><issuance>serial</issuance></originInfo><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SeriesID">558</identifier><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2003</recordOrigin></recordInfo></relatedItem><identifier type="istex">0D14073D94C4D28C20FE72C400F59BF92FEA0E56</identifier><identifier type="ark">ark:/67375/HCB-7SL2QFB8-B</identifier><identifier type="DOI">10.1007/978-3-540-39893-6_24</identifier><identifier type="ChapterID">24</identifier><identifier type="ChapterID">Chap24</identifier><accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag Berlin Heidelberg, 2003</accessCondition><recordInfo><recordContentSource authority="ISTEX" authorityURI="https://loaded-corpus.data.istex.fr" valueURI="https://loaded-corpus.data.istex.fr/ark:/67375/XBH-RLRX46XW-4">springer</recordContentSource><recordOrigin>Springer-Verlag Berlin Heidelberg, 2003</recordOrigin></recordInfo></mods><json:item><extension>json</extension><original>false</original><mimetype>application/json</mimetype><uri>https://api.istex.fr/ark:/67375/HCB-7SL2QFB8-B/record.json</uri></json:item></metadata></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Informatique/explor/SgmlV1/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000365 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 000365 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Informatique
|area= SgmlV1
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:0D14073D94C4D28C20FE72C400F59BF92FEA0E56
|texte= The Common Semantic Constructs of XML Family
}}
| This area was generated with Dilib version V0.6.33. |  |