Filters








43 Hits in 2.5 sec

MSL --- a model for W3C XML schema

Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler
2001 Proceedings of the tenth international conference on World Wide Web - WWW '01  
-Niels Bohr ["B"],()) ∈ auth[String]* rep1 auth["A"],(auth["B"],()) ∈ auth[String]* auth["A"],(auth["B"],()) = (auth["A"],auth["B"]),() = auth["A"],auth["B"] -The mapping from XML Schema syntax into  ...  -Support for final, block, use, and value. -The Post Schema Validation Infoset. -Atomic datatypes.  ... 
doi:10.1145/371920.371982 dblp:conf/www/BrownFRW01 fatcat:haja3yhyereinlgblzatdfgtre

MSL: a model for W3C XML Schema

Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler
2002 Computer Networks  
-Niels Bohr ["B"],()) ∈ auth[String]* rep1 auth["A"],(auth["B"],()) ∈ auth[String]* auth["A"],(auth["B"],()) = (auth["A"],auth["B"]),() = auth["A"],auth["B"] -The mapping from XML Schema syntax into  ...  -Support for final, block, use, and value. -The Post Schema Validation Infoset. -Atomic datatypes.  ... 
doi:10.1016/s1389-1286(02)00225-6 fatcat:4hnq24fryjartf7gxqaxlox32m

Editorial

Massimo Marchiori, Mary Ellen Zurko, Michael R. Lyu
2002 Computer Networks  
''MSL: A Model for W3C XML Schema'' starts to tackle the big problem of creating a formal model for XML Schema.  ...  Continuing in a parallel to the database world, ''A Unified Constraint Model for XML'' introduces a useful model of integrity constraints for XML (UCM) designed to help formal reasoning on XML structures  ... 
doi:10.1016/s1389-1286(02)00286-4 fatcat:shxuii3235ab7k36sojugrpeya

Managing Web data

Dan Suciu
1999 Proceedings of the 1999 ACM SIGMOD international conference on Management of data - SIGMOD '99  
{ many proposals (both in ssd and in the W3C) { this tutorial: show two basic formalisms, and DTDs when ? { a posteriori { RDBMS: need schema a priori to interpret binary data how ?  ...  Hull and Yoshikawa, 1990: in deductive systems (ILOG).Papakonstantinou et al., 1996: in semistructured data (MSL).Many languages for semistructured data have Skolem functions: MSL, StruQL, Yat, Florid  ...  Schema Inference Root() YearPage ("Smith",1994) YearPage ("Smith",1996) YearPage ("Jones",1994) YearPage ("Jones",1996) HomePage("Jones") HomePage("Smith") PubPage("Moving the Comma") PubPage("  ... 
doi:10.1145/304182.304233 dblp:conf/sigmod/Suciu99 fatcat:xjyhcfnmnncoxcga3rmjieo76q

Managing Web data

Dan Suciu
1999 SIGMOD record  
{ many proposals (both in ssd and in the W3C) { this tutorial: show two basic formalisms, and DTDs when ? { a posteriori { RDBMS: need schema a priori to interpret binary data how ?  ...  Hull and Yoshikawa, 1990: in deductive systems (ILOG).Papakonstantinou et al., 1996: in semistructured data (MSL).Many languages for semistructured data have Skolem functions: MSL, StruQL, Yat, Florid  ...  Schema Inference Root() YearPage ("Smith",1994) YearPage ("Smith",1996) YearPage ("Jones",1994) YearPage ("Jones",1996) HomePage("Jones") HomePage("Smith") PubPage("Moving the Comma") PubPage("  ... 
doi:10.1145/304181.304233 fatcat:y5lr5ggr3fg2hkebvr4og3iapi

UUXML: A Type-Preserving XML Schema–Haskell Data Binding [chapter]

Frank Atanassow, Dave Clarke, Johan Jeuring
2004 Lecture Notes in Computer Science  
This paper discusses a typepreserving XML-Haskell data binding that handles documents typed by the W3C XML Schema standard.  ...  An XML data binding is a translation of XML documents into values of some programming language.  ...  Section 2 describes a tool for translating an XML Schema to a set of Haskell data types.  ... 
doi:10.1007/978-3-540-24836-1_6 fatcat:xsuo7ady2fbenak4mu4oerigom

Toward a Normalized XML Schema for the GGP Data Archives

Alban Gabillon, Jean-Pierre Barriot, Youri Verschelle, Bernard Ducarme
2013 Data Science Journal  
As a result, metadata and even data must be checked by human operators. We propose in this paper a new format for representing the GGP data.  ...  This new format is based on the eXtensible Markup Language (XML).  ...  An XML schema is a special XML file that specifies a vocabulary identified by a namespace , and some grammatical rules.  ... 
doi:10.2481/dsj.wds-035 fatcat:x2oevvvsarhrfavqsmvihxllpe

Using SPIN to Check Simulink Stateflow Models

Chikatoshi Yamada, D. Michael Miller
2016 International Journal of Networked and Distributed Computing (IJNDC)  
We also show that these tools allow SPIN to be used for model checking nondeterministic Stateflow models in addition to deterministic ones.  ...  SPIN is a well-known and extensively used verification tool.  ...  /www.w3.org/XML/. 10. A. Brown, M. Fuchs, J. Robie, and P. Wadler, "Msl — a model for w3c xml schema," in Proceedings of the 10th International Conference on World Wide Web, ser. WWW '01.  ... 
doi:10.2991/ijndc.2016.4.3.6 fatcat:ddljuxntljcujilzfbrq5c5cku

Using SPIN to check Simulink Stateflow models

Chikatoshi Yamada, D. Michael Miller
2015 2015 IEEE/ACIS 14th International Conference on Computer and Information Science (ICIS)  
We also show that these tools allow SPIN to be used for model checking nondeterministic Stateflow models in addition to deterministic ones.  ...  SPIN is a well-known and extensively used verification tool.  ...  /www.w3.org/XML/. 10. A. Brown, M. Fuchs, J. Robie, and P. Wadler, "Msl — a model for w3c xml schema," in Proceedings of the 10th International Conference on World Wide Web, ser. WWW '01.  ... 
doi:10.1109/icis.2015.7166587 dblp:conf/ACISicis/YamadaM15 fatcat:i6caabrpcnhadgl5xzp565wnau

Taxonomy of XML schema languages using formal language theory

Makoto Murata, Dongwon Lee, Murali Mani, Kohsuke Kawaguchi
2005 ACM Transactions on Internet Technology  
XML-Schema Formal Description (formerly called MSL [BFRW01] ) is a mathematical model of XML-Schema. However, it is tailored for XML-Schema and is thus unable to capture other schema languages.  ...  Meanwhile, our framework is not tailored for a particular schema language. As a result, all schema languages can be captured, although fine details of each schema language are not.  ...  The former refers to a general term for schema in XML model, while the latter refers to one particular kind of XML schema language proposed by W3C . Figure 1 . 1 Figure 1.  ... 
doi:10.1145/1111627.1111631 fatcat:np3lygcjzvdehldu5bultfctlq

Customizing an XML–Haskell data binding with type isomorphism inference in Generic Haskell

Frank Atanassow, Johan Jeuring
2007 Science of Computer Programming  
This paper introduces a type-preserving XML Schema-Haskell data binding (or, translation) UUXML, and shows how to customize it by exploiting the theory of canonical isomorphisms to automatically infer  ...  This paper discusses a type-preserving XML-Haskell data binding UUXML that handles documents typed by the W3C XML Schema standard.  ...  Our translation and the syntax used here are based closely on the Schema formal semantics of Brown et al., called the Model Schema Language (MSL) [9] ; that treatment also forms the basis of the W3C's  ... 
doi:10.1016/j.scico.2006.01.005 fatcat:vbbwqy4235gtrkps6okkt5obqe

MOMIS: EXPLOITING AGENTS TO SUPPORT INFORMATION INTEGRATION

G. CABRI, F. GUERRA, M. VINCINI, S. BERGAMASCHI, L. LEONARDI, F. ZAMBONELLI
2002 International Journal of Cooperative Information Systems  
enables semi-automatic information integration to deal with the integration and query of multiple, heterogeneous information sources (relational, object, XML and semi-structured sources).  ...  The dynamism and the uncertainty of the Internet, along with the heterogeneity of the sources of information are the two main challenges for the today's technologies related to information management.  ...  Acknowledgements Work supported by Italian Ministry for University and Science and Technology Research (MURST) within the project frameworks of "MUSIQUE: Infrastructure for QoS in Web Multimedia Services  ... 
doi:10.1142/s0218843002000601 fatcat:5vi57ik7mbgi3bmgikaowdlwsq

Using XML configuration-driven development to create a customizable ground data system

Brent Nash, Martha DeMore
2009 2009 IEEE Aerospace conference  
A CDD strategy was combined with an XML-based configuration solution and well-known object-oriented design patterns to create the MPCS GDS, the next generation GDS for MSL.  ...  will be received operationally for MSL.  ... 
doi:10.1109/aero.2009.4839708 fatcat:ghjs6zvxfndw3pxlzhjl6b32lq

Towards a semantic integration of data from learning platforms

Khaoula Mrhar, Otmane Douimi, Mounia Abik, Naoual Chaouni Benabdellah
2020 IAES International Journal of Artificial Intelligence (IJ-AI)  
In this paper, a semantic integration system is proposed.  ...  <p>Nowadays, there is a huge production of Massive Open Online Courses MOOCs from universities around the world.  ...  Thus, for the query evaluation process, Agora uses XML as a user interface format. Queries are posed in Xquery, which is a standard XML query language developed by the W3C.  ... 
doi:10.11591/ijai.v9.i3.pp535-544 fatcat:akrcibefj5czhjpiphzsncdyma

BUILDING A TOURISM INFORMATION PROVIDER WITH THE MOMIS SYSTEM

SONIA BERGAMASCHI, DOMENICO BENEVENTANO, FRANCESCO GUERRA, MAURIZIO VINCINI
2005 Information Technology & Tourism  
The tourism industry is a good candidate for taking up Semantic Web technology.  ...  This paper presents how the MOMIS system may be used for building a Tourism Information provider by exploiting the tourism information that is available in internet websites.  ...  Concerning the integration area, the mediator-based TSIMMIS project (Li, 98) follows a "structural" approach and uses a self-describing model (OEM) to represent heterogeneous data sources and the MSL (  ... 
doi:10.3727/109830505774297265 fatcat:j3bq2nzi2nezbfwuhhy7mrxoja
« Previous Showing results 1 — 15 out of 43 results