Mapping XSD to OO Schemas

Alagić, Suad; Bernstein, Philip A.

doi:10.1007/978-3-642-14681-7_9

Cited by 4 publications

(4 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…An essential reason stands in the gap between data models: observations and coalgebraic types [10] (instead of terms and algebraic types) versus documents and schemas. Starting from standards like JAXB, more elaborate solutions [1] have reduced the gap. These solutions consider the reverse direction than ours: from schemas to object types and from documents to objects.…”

Section: Related Workmentioning

confidence: 99%

The Substitution Principle in an Object-Oriented Framework for Web Services

Allam¹,

Grall²,

Royer³

2013

Proceedings of International Conference on Information Integration and Web-Based Applications &Amp; Services

View full text Add to dashboard Cite

Nowadays, services are more and more implemented by using object-oriented frameworks. In this context, two properties could be particularly required in the specification of these frameworks: (i) a loose coupling between the service layer and the object layer, allowing evolution of the service layer with a minimal impact on the object layer, (ii) an interoperability induced by the substitution principle associated to subtyping in the object layer, allowing to freely convert a value of a subtype into a supertype. However, experimenting with the popular cxf framework, we observed some undesirable coupling and interoperability issues, due to the failure of the substitution principle. Therefore we propose a new specification of the data binding used to translate data between the object and service layers. We show that if the cxf framework followed the specification, then the substitution principle would be recovered, with all its advantages.

show abstract

Section: Related Workmentioning

confidence: 99%

The Substitution Principle in an Object-Oriented Framework for Web Services

Allam¹,

Grall²,

Royer³

2013

Proceedings of International Conference on Information Integration and Web-Based Applications &Amp; Services

View full text Add to dashboard Cite

show abstract

“…Type checking can be used thus to check the valid use of the derived types in programs. This approach has been successfully used for SQL [28], XML [37,25,3], and more generally [24,35]. Naturally, mappings have been studied in a semantic data context, too.…”

Section: Related Workmentioning

confidence: 99%

“…However, the mixing of structural and nominal typing, inferred statements, and a high number of concepts worth mapping are problematic. We therefore propose a third, a novel approach: A type system designed for semantic data (3).…”

Section: Introductionmentioning

confidence: 99%

The Essence of Functional Programming on Semantic Data

Leinberger

Lämmel

Staab

2017

Programming Languages and Systems

View full text Add to dashboard Cite

Abstract. Semantic data fuels many different applications, but is still lacking proper integration into programming languages. Untyped access is error-prone. Mapping approaches cannot fully capture the conceptualization of semantic data. In this paper, we present λDL, a typed λ-calculus with constructs for operating on semantic data. This is achieved by the integration of description logics into the λ-calculus for both typing and data access or querying. The language is centered around several key design principles, in particular: (1) the usage of semantic conceptualizations as types, (2) subtype inference for these types, and (3) type-checked query access to the data by both ensuring the satisfiability of queries as well as typing query results precisely. The paper motivates the use of a designated type system for semantic data and it provides the theoretic foundation for the integration of description logics as well as the core formal definition of λDL including a proof of type safety.

show abstract

“…Type checking can be used thus to check the valid use of the derived types in programs. This approach has been successfully used for SQL (O'Neil 2008), XML (Wallace and Runciman 1999;Lämmel and Meijer 2006;Alagic and Bernstein 2009), and more generally (Lämmel and Meijer 2005;Syme et al 2013). Naturally, mappings have been studied in a semantic data context, too.…”

Section: Generic Representationsmentioning

confidence: 99%

LambdaDL: Syntax and Semantics (Preliminary Report)

Leinberger,

Lämmel,

Staab

2016

Preprint

View full text Add to dashboard Cite

Semantic data fuels many different applications, but is still lacking proper integration into programming languages. Untyped access is error-prone while mapping approaches cannot fully capture the conceptualization of semantic data. In this paper, we present λDL, a λ-calculus with a modified type system to provide type-safe integration of semantic data. This is achieved by the integration of description logics into the λ-calculus for typing and data access. It is centered around several key design principles. Among these are (1) the usage of semantic conceptualizations as types, (2) subtype inference for these types, and (3) type-checked query access to the data by both ensuring the satisfiability of queries as well as typing query results precisely in λDL. The paper motivates the use of a modified type system for semantic data and it provides the theoretic foundation for the integration of description logics as well as the core formal specifications of λDL including a proof of type safety.

show abstract

Mapping XSD to OO Schemas

Cited by 4 publications

References 4 publications

The Substitution Principle in an Object-Oriented Framework for Web Services

The Substitution Principle in an Object-Oriented Framework for Web Services

The Essence of Functional Programming on Semantic Data

LambdaDL: Syntax and Semantics (Preliminary Report)

Contact Info

Product

Resources

About