A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Covariance and contravariance: conflict without a cause
ACM Transactions on Programming Languages and Systems (TOPLAS)
Objects and classes, co-algebraically
Object orientation with parallelism and persistence
Subtyping in distributed systems
Formal methods for distributed processing
Java and XML data binding
Using category theory to design implicit conversions and generic operators
Semantics-Directed Compiler Generation, Proceedings of a Workshop
CDuce: an XML-centric general-purpose language
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A typed representation for HTML and XML documents in Haskell
Journal of Functional Programming
Revealing the X/O impedance mismatch: changing lead into gold
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
ICOODB'09 Proceedings of the Second international conference on Object databases
The tree inclusion problem: In linear space and faster
ACM Transactions on Algorithms (TALG)
CORBA: integrating diverse applications within distributed heterogeneous environments
IEEE Communications Magazine
| Hi-index | 0.00 |
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.