Extracting typed values from XML data

R. Connor, D. Lievens, P. Manghi, S. Neely, F. Simeoni

Research output: Contribution to conferencePaper

Abstract

Values of existing typed programming languages are increas- ingly generated and manipulated outside the language juris- diction. Instead, they often occur as fragments of XML docu- ments, where they are uniformly interpreted as labelled trees in spite of their domain-specific semantics. In particular, the values are divorced from the high-level type with which they are conveniently, safely, and efficiently manipulated within the language. We propose language-specific mechanisms which extract language values from arbitrary XML documents and inject them in the language. In particular, we provide a general framework for the formal interpretation of extraction mecha- nisms and then instantiate it to the definition of a mechanism for a sample language core L. We prove that such mechanism can be built by giving a sound and complete algorithm that implements it. The values, types, and type semantics of L are sufficiently general to show that extraction mechanisms can be defined for many existing typed languages, including object-oriented languages. In fact, extraction mechanisms for a large class of existing languages can be directly derived from L's. As a proof of this, we introduce the SNAQue prototype system, which transforms XML fragments into CORBA objects and exposes them across the ORB framework to any CORBA-compliant language.
LanguageEnglish
Number of pages11
Publication statusPublished - 28 Sep 2001
EventOOPSLA 2001 Workshop on Objects, XML and Databases publications - Florida, USA
Duration: 14 Oct 200118 Oct 2001

Conference

ConferenceOOPSLA 2001 Workshop on Objects, XML and Databases publications
CityFlorida, USA
Period14/10/0118/10/01

Fingerprint

XML
Common object request broker architecture (CORBA)
Semantics
Computer programming languages
Acoustic waves

Keywords

  • programming languages
  • XML
  • language-specific mechanisms

Cite this

Connor, R., Lievens, D., Manghi, P., Neely, S., & Simeoni, F. (2001). Extracting typed values from XML data. Paper presented at OOPSLA 2001 Workshop on Objects, XML and Databases publications, Florida, USA, .
Connor, R. ; Lievens, D. ; Manghi, P. ; Neely, S. ; Simeoni, F. / Extracting typed values from XML data. Paper presented at OOPSLA 2001 Workshop on Objects, XML and Databases publications, Florida, USA, .11 p.
@conference{42b393b2cd7a4d5695a84ae777c3909a,
title = "Extracting typed values from XML data",
abstract = "Values of existing typed programming languages are increas- ingly generated and manipulated outside the language juris- diction. Instead, they often occur as fragments of XML docu- ments, where they are uniformly interpreted as labelled trees in spite of their domain-specific semantics. In particular, the values are divorced from the high-level type with which they are conveniently, safely, and efficiently manipulated within the language. We propose language-specific mechanisms which extract language values from arbitrary XML documents and inject them in the language. In particular, we provide a general framework for the formal interpretation of extraction mecha- nisms and then instantiate it to the definition of a mechanism for a sample language core L. We prove that such mechanism can be built by giving a sound and complete algorithm that implements it. The values, types, and type semantics of L are sufficiently general to show that extraction mechanisms can be defined for many existing typed languages, including object-oriented languages. In fact, extraction mechanisms for a large class of existing languages can be directly derived from L's. As a proof of this, we introduce the SNAQue prototype system, which transforms XML fragments into CORBA objects and exposes them across the ORB framework to any CORBA-compliant language.",
keywords = "programming languages, XML, language-specific mechanisms",
author = "R. Connor and D. Lievens and P. Manghi and S. Neely and F. Simeoni",
year = "2001",
month = "9",
day = "28",
language = "English",
note = "OOPSLA 2001 Workshop on Objects, XML and Databases publications ; Conference date: 14-10-2001 Through 18-10-2001",

}

Connor, R, Lievens, D, Manghi, P, Neely, S & Simeoni, F 2001, 'Extracting typed values from XML data' Paper presented at OOPSLA 2001 Workshop on Objects, XML and Databases publications, Florida, USA, 14/10/01 - 18/10/01, .

Extracting typed values from XML data. / Connor, R.; Lievens, D.; Manghi, P.; Neely, S.; Simeoni, F.

2001. Paper presented at OOPSLA 2001 Workshop on Objects, XML and Databases publications, Florida, USA, .

Research output: Contribution to conferencePaper

TY - CONF

T1 - Extracting typed values from XML data

AU - Connor, R.

AU - Lievens, D.

AU - Manghi, P.

AU - Neely, S.

AU - Simeoni, F.

PY - 2001/9/28

Y1 - 2001/9/28

N2 - Values of existing typed programming languages are increas- ingly generated and manipulated outside the language juris- diction. Instead, they often occur as fragments of XML docu- ments, where they are uniformly interpreted as labelled trees in spite of their domain-specific semantics. In particular, the values are divorced from the high-level type with which they are conveniently, safely, and efficiently manipulated within the language. We propose language-specific mechanisms which extract language values from arbitrary XML documents and inject them in the language. In particular, we provide a general framework for the formal interpretation of extraction mecha- nisms and then instantiate it to the definition of a mechanism for a sample language core L. We prove that such mechanism can be built by giving a sound and complete algorithm that implements it. The values, types, and type semantics of L are sufficiently general to show that extraction mechanisms can be defined for many existing typed languages, including object-oriented languages. In fact, extraction mechanisms for a large class of existing languages can be directly derived from L's. As a proof of this, we introduce the SNAQue prototype system, which transforms XML fragments into CORBA objects and exposes them across the ORB framework to any CORBA-compliant language.

AB - Values of existing typed programming languages are increas- ingly generated and manipulated outside the language juris- diction. Instead, they often occur as fragments of XML docu- ments, where they are uniformly interpreted as labelled trees in spite of their domain-specific semantics. In particular, the values are divorced from the high-level type with which they are conveniently, safely, and efficiently manipulated within the language. We propose language-specific mechanisms which extract language values from arbitrary XML documents and inject them in the language. In particular, we provide a general framework for the formal interpretation of extraction mecha- nisms and then instantiate it to the definition of a mechanism for a sample language core L. We prove that such mechanism can be built by giving a sound and complete algorithm that implements it. The values, types, and type semantics of L are sufficiently general to show that extraction mechanisms can be defined for many existing typed languages, including object-oriented languages. In fact, extraction mechanisms for a large class of existing languages can be directly derived from L's. As a proof of this, we introduce the SNAQue prototype system, which transforms XML fragments into CORBA objects and exposes them across the ORB framework to any CORBA-compliant language.

KW - programming languages

KW - XML

KW - language-specific mechanisms

M3 - Paper

ER -

Connor R, Lievens D, Manghi P, Neely S, Simeoni F. Extracting typed values from XML data. 2001. Paper presented at OOPSLA 2001 Workshop on Objects, XML and Databases publications, Florida, USA, .