An Approach to high-level language bindings to XML

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

Research output: Contribution to journalArticle

5 Citations (Scopus)

Abstract

Values of existing typed programming languages are increasingly generated and manipulated outside the language jurisdiction. Instead, they often occur as fragments of XML documents, 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 mechanisms 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
Pages217-228
Number of pages11
JournalInformation and Software Technology
Volume44
Issue number4
Publication statusPublished - 2002

Fingerprint

High level languages
XML
Common object request broker architecture (CORBA)
Semantics
Object oriented programming
Computer programming languages
Acoustic waves

Cite this

Simeoni, F., Manghi, P., Lievens, D., Connor, R., & Neely, S. (2002). An Approach to high-level language bindings to XML. Information and Software Technology, 44(4), 217-228.
Simeoni, F. ; Manghi, P. ; Lievens, D. ; Connor, R. ; Neely, S. / An Approach to high-level language bindings to XML. In: Information and Software Technology. 2002 ; Vol. 44, No. 4. pp. 217-228.
@article{8d78c4eccd9047cea5e4dc72af7a39e3,
title = "An Approach to high-level language bindings to XML",
abstract = "Values of existing typed programming languages are increasingly generated and manipulated outside the language jurisdiction. Instead, they often occur as fragments of XML documents, 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 mechanisms 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.",
author = "F. Simeoni and P. Manghi and D. Lievens and R. Connor and S. Neely",
year = "2002",
language = "English",
volume = "44",
pages = "217--228",
journal = "Information and Software Technology",
issn = "0950-5849",
number = "4",

}

Simeoni, F, Manghi, P, Lievens, D, Connor, R & Neely, S 2002, 'An Approach to high-level language bindings to XML' Information and Software Technology, vol. 44, no. 4, pp. 217-228.

An Approach to high-level language bindings to XML. / Simeoni, F.; Manghi, P.; Lievens, D.; Connor, R.; Neely, S.

In: Information and Software Technology, Vol. 44, No. 4, 2002, p. 217-228.

Research output: Contribution to journalArticle

TY - JOUR

T1 - An Approach to high-level language bindings to XML

AU - Simeoni, F.

AU - Manghi, P.

AU - Lievens, D.

AU - Connor, R.

AU - Neely, S.

PY - 2002

Y1 - 2002

N2 - Values of existing typed programming languages are increasingly generated and manipulated outside the language jurisdiction. Instead, they often occur as fragments of XML documents, 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 mechanisms 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 increasingly generated and manipulated outside the language jurisdiction. Instead, they often occur as fragments of XML documents, 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 mechanisms 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.

UR - http://dx.doi.org/10.1016/S0950-5849(02)00011-3

M3 - Article

VL - 44

SP - 217

EP - 228

JO - Information and Software Technology

T2 - Information and Software Technology

JF - Information and Software Technology

SN - 0950-5849

IS - 4

ER -

Simeoni F, Manghi P, Lievens D, Connor R, Neely S. An Approach to high-level language bindings to XML. Information and Software Technology. 2002;44(4):217-228.