research-article

The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success

Authors:

Jean-Claude RoyerAuthors Info & Claims

IIWAS '13: Proceedings of International Conference on Information Integration and Web-based Applications & Services

Pages 250 - 259

https://doi.org/10.1145/2539150.2539192

Published: 02 December 2013 Publication History

Abstract

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.

References

[1]

S. Alagic and P. A. Bernstein. Mapping XSD to OO Schemas. In ICOODB'09, volume 5936 of LNCS, pages 149--166, 2009.

Digital Library

[2]

F. Atanassow, D. Clarke, and J. Jeuring. UUXML: A Type-Preserving XML Schema-Haskell Data Binding. In PADL'04, volume 3057 of LNCS, pages 71--85, 2004.

[3]

V. Benzaken, G. Castagna, and A. Frisch. CDuce: an XML-Centric General-Purpose Language. SIGPLAN Notices, 38(9):51--63, 2003.

Digital Library

[4]

P. Bille and I. L. Gortz. The Tree Inclusion Problem: In Linear Space and Faster. ACM Transactions on Algorithms, 7(3):38:1--38:47, 2011.

Digital Library

[5]

G. Castagna. Covariance and Contravariance: Conflict without a Cause. 17(3):1--17, 1995.

Digital Library

[6]

A. Christensen, C. Kirkegaard, and A. Møller. A Runtime System for XML Transformations in Java. In XSym'04, volume 3186 of LNCS, pages 143--157, 2004.

[7]

V. Gapeyev, F. Garillot, and B. C. Pierce. Statically Typed Document Transformation: An Xtatic Experience. In PLAN-X'06, pages 2--13, 2006.

[8]

J. Goguen. A Categorical Manifesto. Mathematical Structures in Computer Science, 1(1):49--67, 1991.

[9]

J. Indulska. Subtyping in Distributed Systems. In Formal Methods for Distributed Processing: a Survey of Object-oriented Approaches, pages 233--253. 2001.

Digital Library

[10]

B. Jacobs. Objects and Classes, Co-Algebraically. In Object Orientation with Parallelism and Persistence, pages 83--103. 1995.

Digital Library

[11]

R. Lämmel and E. Meijer. Revealing the X/O Impedance Mismatch: Changing Lead into Gold. In SSDGP'06, volume 4719 of LNCS, pages 285--367, 2007.

Digital Library

[12]

B. Liskov and J. Wing. A Behavioral Notion of Subtyping. ACM Transactions on Programming Languages and Systems, 16(6):1811--1841, 1994.

Digital Library

[13]

B. McLaughlin. Java and XML Data Binding. O Reilly, 2002.

Digital Library

[14]

J. C. Reynolds. Using Category Theory to Design Implicit Conversions and Generic Operators. volume 94 of LNCS, pages 211--258, 1980.

Digital Library

[15]

P. Thiemann. A Typed Representation for HTML and XML Documents in Haskell. Journal of Functional Programming, 12(5):435--468, 2002.

Digital Library

[16]

S. Vinoski. CORBA: Integrating Diverse Applications Within Distributed Heterogeneous Environments. Communications Magazine, IEEE, 35(2):46--55, 1997.

Digital Library

[17]

A. Wollrath, R. Riggs, and J. Waldo. A Distributed Object Model for the Java System. Computing Systems, 9(4):265--290, 1996.

Cited By

Maddox JLong YRajan HLeavens GGarcia APăsăreanu C(2018)Large-scale study of substitutability in the presence of effectsProceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3236024.3236075(528-538)Online publication date: 26-Oct-2018
https://dl.acm.org/doi/10.1145/3236024.3236075

Index Terms

The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success
1. Software and its engineering
  1. Software organization and properties
    1. Extra-functional properties
      1. Interoperability

Recommendations

A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming

The majority of contemporary mainstream object-oriented (OO) software is written using nominally-typed OO programming languages. Extant domain-theoretic models of OOP developed to analyze OO type systems miss crucial features of these mainstream OO ...
Workflow composition of service level agreements for web services

Service-oriented architecture enables an environment where businesses can expose services for use by their collaborators and their peer organizations. In this dynamic environment, organizations require the use of service level agreements (SLAs) to ...
What Is Object-Oriented Programming?

The meaning of the term 'object oriented' is examined in the context of the general-purpose programming language C++. This choice is made partly to introduce C++ and partly because C++ is one of the few languages that supports data abstraction, object-...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

IIWAS '13: Proceedings of International Conference on Information Integration and Web-based Applications & Services

December 2013

753 pages

ISBN:9781450321136

DOI:10.1145/2539150

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

@WAS: International Organization of Information Integration and Web-based Applications and Services

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 December 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

IIWAS '13

IIWAS '13: The 15th International Conference on Information Integration and Web-based Applications & Services

December 2 - 4, 2013

Vienna, Austria

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
60
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Maddox JLong YRajan HLeavens GGarcia APăsăreanu C(2018)Large-scale study of substitutability in the presence of effectsProceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3236024.3236075(528-538)Online publication date: 26-Oct-2018
https://dl.acm.org/doi/10.1145/3236024.3236075

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents