Mappings make data processing go 'round an inter-paradigmatic mapping tutorial

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4143 LNCS, Issue , 2006, Pages 169-218

  Lämmel, Ralf ^a   Meijer, Erik ^a  

^a MICROSOFT   (United States)

Author keywords

Cross paradigm impedance mismatch; Data access; Data modeling; Data processing; Loose coupling; Mapping; Object relational mapping; Object XML mapping; Software evolution; XML data binding

Indexed keywords

COMPUTER PROGRAMMING; DATA STRUCTURES; DATABASE SYSTEMS; MAPPING; XML;

CROSS PARADIGM IMPEDANCE MISMATCH; DATA ACCESS; LOOSE COUPLING; OBJECT RELATIONAL MAPPING; OBJECT XML MAPPING; SOFTWARE EVOLUTION; XML DATA BINDING;

DATA PROCESSING;

EID: 33750068270     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11877028_6     Document Type: Conference Paper

References (103)

1. P. Achten, M. C. J. D. van Eekelen, and M. J. Plasmeijer. Compositional Model-Views with Generic Graphical User Interfaces. In B. Jayaraman, editor, Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings, volume 3057 of LNCS, pages 39-55. Springer, 2004.
2. P. Achten, M. C. J. D. van Eekelen, and M. J. Plasmeijer. Generic Graphical User Interfaces. In P. W. Trinder, G. Michaelson, and R. Pena, editors, Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers, volume 3145 of LNCS, pages 152-167. Springer, 2004.
3. A. Aho, R. Sethi, and J. Ullman. Compilers. Principles, Techniques and Tools. Addison-Wesley, 1986.
4. P. Aiken, A. H. Muntz, and R. Richards. Dod legacy systems: Reverse engineering data requirements. Communications of the ACM, 37(5):26-41, 1994.
5. W. Aitken, B. Dickens, P. Kwiatkowski, O. de Moor, D. Richter, and C. Simonyi. Transformation in intentional programming. In P. Devanbu and J. Poulin, editors, Proceedings, Fifth International Conference on Software Reuse, pages 114-123. IEEE Computer Society Press, 1998.
6. T. L. Alves, P. F. Silva, J. Visser, and J. N. Oliveira. Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. In J. Fitzgerald, I. J. Hayes, and A. Tarlecki, editors, FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, volume 3582 of LNCS, pages 399-414. Springer, 2005.
7. S. W. Ambler. The Object-Relational Impedance Mismatch, 2002-2005. Amysoft Inc.; online article http://www.agiledata.org/essays/impedanceMismatch. html.
8. ANSI. Information Technology - Programming languages, their environments and system software interfaces - Native COBOL Syntax for XML Support, Feb. 2005. J4/05-0049, WG4n0229, ISO/TEC JTC 1/SC 22/WG4, ISO/TEC TR 24716:200x(E).
9. J. Aycock. Extending Old Compiler Tools with Meta-Tools. In H. R. Arabnia and H. Reza, editors, Proceedings of the International Conference on Software Engineering Research and Practice, SERP '04, June 21-24, 2004, Las Vegas, Nevada, USA, Volume 2, pages 841-845. CSREA Press, 2004.
10. F. Bancilhon and N. Spyratos. Update semantics of relational views. ACM Transactions on Database Systems, 6(4):557-575, 1981.
11. J. Banerjee, W. Kim, H.-J. Kim, and H. F. Korth. Semantics and implementation of schema evolution in object-oriented databases. In SIGMOD '87: Proceedings of the 1987 ACM SIGMOD International conference on management of data, pages 311-322, New York, NY, USA, 1987. ACM Press.
12. G. M. Bierman, E. Meijer, and W. Schulte. The Essence of Data Access in Cω. In A. P. Black, editor, ECOOP, volume 3586 of LNCS, pages 287-311. Springer, 2005.
13. A. Bohannon, J. A. Vaughan, and B. C. Pierce. Relational Lenses: A Language for Updateable Views. In Principles of Database Systems (PODS), 2006. Extended version available as University of Pennsylvania technical report MS-CIS-05-27.
14. C. Boyapati, B. Liskov, L. Shrira, C.-H. Moh, and S. Richman. Lazy modular upgrades in persistent object stores. In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on object-oriented programing, systems, languages, and applications, pages 403-417, New York, NY, USA, 2003. ACM Press.
15. A. Brookes. XML data binding. Dr. Dobb's Journal of Software Tools, 28(3):26, 28, 30, 32, 35-36, Mar. 2003.
16. F. Burton and R. Cameron. Pattern Matching with Abstract Data Types. Journal of Functional Programming, 3(2):171-190, 1993.
17. D. Clarke and S. Drossopoulou. Ownership, encapsulation and the disjointness of type and effect. In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, pages 292-310, New York, NY, USA, 2002. ACM Press.
18. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. In OOPSLA '98: Proceedings of the 13th ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, pages 48-64, New York, NY, USA, 1998. ACM Press.
19. E. F. Codd. A Relational Model of Data for Large Shared Data Banks. Communications of the ACM, 13(6):377-387, June 1970.
20. Also published in/as: 'Readings in Database Systems', M. Stonebraker, Morgan-Kaufmann, 1988, pp. 5-15.
21. R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and F. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490, Oct. 1991.
22. C. J. Date. A formal definition of the relational model. SIGMOD Rec., 13(1):18-29, 1982.
23. A. van Deursen, P. Klint, and F. Tip. Origin Tracking. Journal of Symbolic Computation, 15:523-545, 1993.
24. U. Eisenecker and K. Czarnecki. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000.
25. C. Ellis, S. Gibbs, and G. Rein. Groupware: some issues and experiences. Communications of the ACM, 34(1):39-58, 1991.
26. M. Fagan. Soft typing: an approach to type checking for dynamically typed languages. PhD thesis, Rice University, 1991.
27. J.-M. Favre. Meta-models and Models Co-Evolution in the 3D Software Space. In Proceedings of International Workshop on Evolution of Large-scale Industrial Software Applications (ELISA 2003), 2003.
28. M. Fernandez, Y. Kadiyska, D. Suciu, A. Morishima, and W.-C. Tan. Silkroute: A frame-work for publishing relational data in xml. ACM Transactions on Database Systems, 27(4):438-493, 2002.
29. J. Ferrante, K. Ottenstein, and J. Warren. The Program Dependence Graph, and Its Use in Optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, July 1987.
30. R. B. Findler and M. Felleisen. Contracts for higher-order functions. In ICFP '02: Proceedings of the seventh ACM SIGPLAN international conference on Functional programming, pages 48-59, New York, NY, USA, 2002. ACM Press.
31. J. Fitzgerald, P. G. Larsen, P. Mukherjee, N. Plat, and M. Verhoef. Validated Designs for Object-Oriented Systems. Springer, 2005.
32. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison Wesley, 1999.
33. J. E. Funderburk, S. Malaika, and B. Reinwald. XML programming with SQL/XML and XQuery. IBM Systems Journal, 41(4):642-665, 2002.
34. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
35. G. Gottlob, P. Paolini, and R. Zicari. Properties and update semantics of consistent views. ACM Transactions on Database Systems, 13(4):486-524, 1988.
36. R. Gray, V. Heuring, S. Levi, A. Sloane, and W. Waite. Eli: A complete, flexible compiler construction system. Communications of the ACM, 35(2):121-130, Feb. 1992.
37. M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt. A language for bi-directional tree transformations. Technical Report MS-CIS-03-08, University of Pennsylvania, 2003. Revised April 2004.
38. J.-L. Hainaut, C. Tonneau, M. Joris, and M. Chandelon. Schema Transformation Techniques for Database Reverse Engineering. In Proceedings, 12th Int. Conf. on ER Approach, Arlington-Dallas, 1993. E/R Institute.
39. J. Hannemann and G. Kiczales. Design pattern implementation in Java and AspectJ. In C. Norris and J. J. B. Fenwick, editors, Proceedings of the 17th ACM conference on object-oriented programming, systems, languages, and applications, OOPSLA'02, volume 37, 11 of ACM SIGPLAN Notices, pages 161-173, New York, Nov. 4-8 2002. ACM Press.
40. J. Henrad, J.-M. Hick, P. Thiran, and J.-L. Hainaut. Strategies for Data Reengineering. In Proceedings, Working Conference on Reverse Engineering (WCRE'02), pages 211-220. IEEE Computer Society Press, Nov. 2002.
41. A. Herranz and P. Nogueira. More Than Parsing. In F. J. L. Fraguas, editor, Spanish V Conference on Programming and Languages (PROLE 2005), pages 193-202. Thomson-Paraninfo, 14-16 September 2005.
42. R. Hirschfeld and R. Lämmel. Reflective Designs. IEE Proceedings Software, 152(1): 38-51, Feb. 2005. Special Issue on Reusable Software Libraries.
43. C. A. R. Hoare. Proof of Correctness of Data Representations. Acta Informatic, 1:271-281, 1972.
44. K. Hogshead Davis and P. Aiken. Data Reverse Engineering: A Historical Survey. In Working Conference on Reverse Engineering, WCRE 2000, pages 70-78. IEEE Computer Society Press, 2000.
45. R. Holt, A. Winter, and A. Schurr. GXL: Toward a Standard Exchange Format. In Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00), pages 162-171. IEEE Computer Society Press, Nov. 2000.
46. Z. Hu, S.-C. Mu, and M. Takeichi. A programmable editor for developing structured documents based on bidirectional transformations. In Proceedings of ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pages 178-189. ACM Press, 2004.
47. Z. Huzar, L. Kuzniarz, G. Reggio, J. Sourrouille, and M. Staron. Consistency Problems in UML-based Software Development II, 2003. Workshop proceedings; Research Report 2003:06.
48. ISO. ISO/IEC 14977:1996(E), Information technology - Syntactic metalanguage - Extended BNF, 1996. International Organization for Standardization.
49. ISO/IEC. Information technology - Programming languages - COBOL, 2002. Reference number ISO/IEC 1989:2002(E).
50. S. Johnson. YACC - Yet Another Compiler-Compiler. Technical Report Computer Science No. 32, Bell Laboratories, Murray Hill, New Jersey, 1975.
51. M. de Jonge and J. Visser. Grammars as Contracts. In Proceedings, Generative and Component-based Software Engineering (GCSE'00), volume 2177 of LNCS, pages 85-99, Erfurt, Germany, Oct. 2000. Springer.
52. B. Kadhim and W. Waite. Maptool-supporting modular syntax development. In T. Gyimothy, editor, Proceedings, Compiler Construction (CC'96), volume 1060 of LNCS, pages 268-280. Springer, Apr. 1996.
53. G. Kiczales. The Fun has Just Begun. AOSD'03 Keynote Address, available from http://www.cs.ubc.ca/~gregor, 2003.
54. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An Overview of AspectJ. In Proceedings European Conference on Object-Oriented Programming (ECOOP'901), pages 327-353, 2001.
55. P. Klint, R. Lämmel, and C. Verhoef. Toward an engineering discipline for grammarware. ACM Transactions on Software Engineering and Methodology, 14(3):331-380, 2005.
56. D. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2:127-145, 1968. Corrections in 5:95-96, 1971.
57. J. Kort and R. Lämmel. Parse-Tree Annotations Meet Re-Engineering Concerns. In Proceedings, Source Code Analysis and Manipulation (SCAM'03), pages 161-172, Amsterdam, Sept. 2003. IEEE Computer Society Press.
58. J. Kort, R. Lämmel, and C. Verhoef. The Grammar Deployment Kit. In M. van den Brand and R. Lämmel, editors, Proceedings, Language Descriptions, Tools, and Applications (LDTA'02), volume 65 of ENTCS. Elsevier Science, Apr. 2002. 7 pages.
59. R. Koschke and J.-F. Girard. An intermediate representation for reverse engineering analyses. In Proceedings, Working Conference on Reverse Engineering (WCRE'98), pages 241-250. IEEE Computer Society Press, Oct. 1998.
60. G. E. Krasner and S. T. Pope. A cookbook for using the model-view-controller user interface paradigm in Smalltalk-80. Journal of Object-Oriented Programming, 1(3):26-49, Aug. 1988.
61. L. Kuzniarz, G. Reggio, J. Sourrouille, and Z. Huzar. Consistency Problems in UML-based Software Development, 2002. Workshop proceedings; Research Report 2002:06.
62. R. Lämmel. Coupled Software Transformations (Extended Abstract). In Proceedings of the First International Workshop on Software Evolution Transformations, Nov. 2004. 5 pages; Online proceedings available at http://banff.cs.queensu.ca/set2004/.
63. R. Lämmel and S. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. ACM SIGPLAN Notices, 38(3):26-37, Mar. 2003.
64. Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'03.
65. R. Lämmel and S. Peyton Jones. Scrap more boilerplate: reflection, zips, and generalised casts. In ACM SIGPLAN International Conference on Functional Programming (ICFP'04), pages 244-255, Snowbird, Utah, Sept. 2004. ACM Press.
66. R. Lämmel and G. Wachsmuth. Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment. In M. van den Brand and D. Parigot, editors, Proceedings, Language Descriptions, Tools and Applications (LDTA'01), volume 44 of ENTCS. Elsevier Science, Apr. 2001.
67. B. S. Lerner. A model for compound type changes encountered in schema evolution. ACM Transactions on Database Systems, 25(1):83-127, 2000.
68. B. Liskov. Keynote address - data abstraction and hierarchy. In OOPSLA '87: Addendum to the proceedings on object-oriented programming systems, languages and applications (Addendum), pages 17-34, New York, NY, USA, 1987. ACM Press.
69. C.-T. Liu, P. K. Chrysanthis, and S.-K. Chang. Database Schema Evolution through the Specification and Maintenance of Changes on Entities and Relationships. In P. Loucopoulos, editor, Entity-Relationship Approach - ER '94, Business Modelling and Re-Engineering, 13th International Conference on the Entity-Relationship Approach, Manchester, U.K., December 13-16, 1994, Proceedings, volume 881 of LNCS, pages 132-151. Springer, 1994.
70. W. Lohmann, G. Riedewald, and M. Stoy. Semantics-preserving migration of semantic rules after left recursion removal in attribute grammars. In Proceedings of 4th Workshop on Language Descriptions, Tools and Applications (LDTA 2004), volume 110 of ENTCS, pages 133-148. Elsevier Science, 2004.
71. E. Mamas and K. Kontogiannis. Towards portable source code representations using XML. In Proceedings, Working Conference on Reverse Engineering (WCRE'00), pages 172-182. IEEE Computer Society Press, Nov. 2000.
72. B. McLaughlin. Java and XML data binding. Nutshell handbook. O'Reilly & Associates, Inc., 2002.
73. E. Meijer and W. Schulte. Unifying tables, objects and documents. In Proceedings of Declarative Programming in the Context of OO Languages (DP-COOL), Sept. 2003.
74. E. Meijer, W. Schulte, and G. Bierman. Programming with circles, triangles, and rectangles. In XML Conference and Exposition, Dec. 2003.
75. Microsoft Corp. http://msdn.microsoft.com/netframework/future/linq/.
76. C. Morgan. Programming from Specifications. Prentice Hall International, 1990.
77. J. Noble. Basic relationship patterns. In Second European Conference on Pattern Languages of Programming, 1997. Siemens Technical Report.
78. J. Noble and J. Grundy. Explicit Relationships in Object Oriented Development. In C. Mingins, R. Duke, and B. Meyer, editors, Proceedings of TOOLS 18: Technology of Object-Oriented Languages and Systems Conference, pages 211-225. Prentice Hall, Sept. 1995.
79. G. S. Novak Jr. Creation of views for reuse of software with different data representations. IEEE Transactions on Software Engineering, 21(12):993-1005, 1995.
80. J. Oliveira. Software Reification using the SETS Calculus. In Proceedings of the BCS FACS 5th Refinement Workshop, Theory and Practice of Formal Software Development, London, UK, pages 140-171. Springer, 8-10 January 1992.
81. J. Oliveira. Calculate databases with 'simplicity', Sept. 2004. Presentation at the IFIP WG 2.1 #59 Meeting, Nottingham, UK.
82. W. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois at Urbana-Champaign, 1992.
83. J. Paakki. Attribute Grammar Paradigms - A High-Level Methodology in Language Implementation. ACM Computing Surveys, 27(2):196-255, June 1995.
84. J. Park and S. Ram. Information systems interoperability: What lies beneath? ACM Transactions on Information Systems, 22(4):595-632, 2004.
85. J. Purtilo and J. Callahan. Parse tree annotations. Communications of the ACM, 32(12):1467-1477, 1989.
86. K.-U. Sattler, I. Geist, and E. Schallehn. Concept-based querying in mediator systems. The VLDB Journal, 14(1):97-111, 2005.
87. B. Selic. The Pragmatics of Model-Driven Development. IEEE Software, pages 19-25, Sept./Oct. 2003. Special Issue on Model-Driven Development.
88. J. Shanmugasundaram, E. J. Shekita, R. Barr, M. J. Carey, B. G. Lindsay, H. Pirahesh, and B. Reinwald. Efficiently Publishing Relational Data as XML Documents. In VLDB '00: Proceedings of the 26th International Conference on Very Large Data Bases, pages 65-76, San Francisco, CA, USA, 2000. Morgan Kaufmann Publishers Inc.
89. T. Sheard. Generic unification via two-level types and parameterized modules. In ICFP '01: Proceedings of the sixth ACM SIGPLAN International Conference on Functional Programming, pages 86-97, New York, NY, USA, 2001. ACM Press.
90. C. Simonyi. The death of programming languages, the birth of intentional programming. Technical report, Microsoft, Inc., Sept. 1995. Available from http://citeseer-nj.nee.com/simonyi95death.html.
91. T. Spitta and F. Werner. Die Wiederverwendung von Daten in SAP R/3. Information Management & Consulting (IM), 15:51-56, 2000. In German.
92. C. Sun, X. Jia, Y. Zhang, Y. Yang, and D. Chen. Achieving convergence, causality preservation, and intention preservation in real-time cooperative editing systems. ACM Transactions on Computer-Human Interaction, 5(1):63-108, 1998.
93. Sun Microsystems. The Java architecture for XML binding (JAXB). http:// java.sun.com/xml/jaxb, 2001.
94. D. Thomas. The Impedance Imperative Tuples + Objects + Infosets = Too Much Stuff! Journal of Object Technology, 2(5):7-12, Sept.-Oct. 2003. Online available at http://www.jot.fm/jot/issues/issue_2003_09/column1/.
95. M. Van De Vanter. Preserving the documentary structure of source code in language-based transformation tools. In Proceedings, Source Code Analysis and Manipulation (SCAM'01). IEEE Computer Society Press, 2001.
96. W3C. Document Object Model (DOM), 1997-2003. http://www.w3.org/DOM/.
97. W3C. XML Information Set (Second Edition), 1999-2004. http://www.w3.org/TR/xml-infoset/.
98. W3C. Extensible Markup Language (XML) 1.0 (Third Edition) W3C Recommendation, Feb. 2004. http://www.w3.org/TR/2004/REC-xml-20040204/.
99. W3C. XML Schema: Component Designators, W3C Working Draft, 29 Mar. 2005. http://www.w3.org/TR/xmlschema-ref/.
100. P. Wadler. Views: a way for pattern matching to cohabit with data abstraction. In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 307-313, New York, NY, USA, 1987. ACM Press.
101. P. Wadler. Deforestation: transforming programs to eliminate trees. Theor. Comput. Sci., 73(2):231-248, 1990.
102. P. Walmsley. Definitive XML Schema. Prentice Hall, 2001. 556 pages, 1st edition.
103. A. K. Wright and R. Cartwright. A practical soft type system for Scheme. ACM Transactions on Programming Languages and Systems, 19(1):87-152, Jan. 1997.