References

  1. Michal Antkiewicz, Krzysztof Czarnecki & Matthew Stephan (2009): Engineering of Framework-Specific Modeling Languages. IEEE Trans. Software Eng. 35(6), pp. 795–824. Available at http://doi.ieeecomputersociety.org/10.1109/TSE.2009.30.
  2. Don S. Batory, Maider Azanza & João Saraiva (2008): The Objects and Arrows of Computational Design. In: Czarnecki, pp. 1–20. Available at http://dx.doi.org/10.1007/978-3-540-87875-9_1.
  3. Philip A. Bernstein (2003): Applying Model Management to Classical Meta Data Problems. In: CIDR. Available at http://www-db.cs.wisc.edu/cidr/cidr2003/program/p19.pdf.
  4. Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz & Alan Schmitt (2008): Boomerang: resourceful lenses for string data. In: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '08. ACM, New York, NY, USA, pp. 407–419. Available at http://dx.doi.org/10.1145/1328438.1328487.
  5. Artur Boronat, Alexander Knapp, José Meseguer & Martin Wirsing (2008): What Is a Multi-modeling Language?. In: Andrea Corradini & Ugo Montanari: WADT, Lecture Notes in Computer Science 5486. Springer, pp. 71–87. Available at http://dx.doi.org/10.1007/978-3-642-03429-9_6.
  6. Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr & James F. Terwilliger (2009): Bidirectional Transformations: A Cross-Discipline Perspective. In: Richard F. Paige: ICMT, Lecture Notes in Computer Science 5563. Springer, pp. 260–283. Available at http://dx.doi.org/10.1007/978-3-642-02408-5_19.
  7. Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl & Markus Völter (2008): Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Lecture Notes in Computer Science 5301. Springer. Available at http://dx.doi.org/10.1007/978-3-540-87875-9.
  8. Z. Diskin (2007): Mappings, maps, atlases and tables: A formal semantics for associations in UML2. Technical Report CSRG-566. University of Toronto. http://ftp.cs.toronto.edu/pub/reports/csrg/566/TR-566-umlAssons.pdf.
  9. Z. Diskin, S. Easterbrook & R. Miller (2008): Integrating schema integration frameworks, algebraically. Technical Report CSRG-583. University of Toronto. http://ftp.cs.toronto.edu/pub/reports/csrg/583/TR-583-schemaIntegr.pdf.
  10. Z. Diskin, Y. Xiong, K. Czarnecki, H. Ehrig, F. Hermann & F. Orejas (2011): From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. In: Whittle, pp. 304–318. Available at http://dx.doi.org/10.1007/978-3-642-24485-8_22.
  11. Zinovy Diskin (2001): On Modeling, Mathematics, Category Theory and RM-ODP. In: José A. Moinhos Cordeiro & Haim Kilov: WOODPECKER. ICEIS Press, pp. 38–54.
  12. Zinovy Diskin (2002): Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML. In: Mary Hegarty, Bernd Meyer & N. Hari Narayanan: Diagrams, Lecture Notes in Computer Science 2317. Springer, pp. 112–115. Available at http://dx.doi.org/10.1007/3-540-46037-3_15.
  13. Zinovy Diskin (2005): Mathematics of Generic Specifications for Model Management. In: Laura C. Rivero, Jorge Horacio Doorn & Viviana E. Ferraggine: Encyclopedia of Database Technologies and Applications. Idea Group, pp. 351–366.
  14. Zinovy Diskin (2008): Algebraic Models for Bidirectional Model Synchronization. In: Czarnecki, pp. 21–36. Available at http://dx.doi.org/10.1007/978-3-540-87875-9_2.
  15. Zinovy Diskin (2009): Model Synchronization: Mappings, Tiles, and Categories. In: João M. Fernandes, Ralf Lämmel, Joost Visser & João Saraiva: GTTSE, Lecture Notes in Computer Science 6491. Springer, pp. 92–165. Available at http://dx.doi.org/10.1007/978-3-642-18023-1_3.
  16. Zinovy Diskin & Boris Cadish (1997): A Graphical Yet Formalized Framework for Specifying View Systems. In: ADBIS. Nevsky Dialect, pp. 123–132. Available at http://www.bcs.org/upload/pdf/ewic_ad97_paper17.pdf.
  17. Zinovy Diskin, Steve M. Easterbrook & Jürgen Dingel (2008): Engineering Associations: From Models to Code and Back through Semantics. In: Richard F. Paige & Bertrand Meyer: TOOLS (46), Lecture Notes in Business Information Processing 11. Springer, pp. 336–355. Available at http://dx.doi.org/10.1007/978-3-540-69824-1_19.
  18. Zinovy Diskin, Boris Kadish, Frank Piessens & Michael Johnson (2000): Universal Arrow Foundations for Visual Modeling. In: Michael Anderson, Peter Cheng & Volker Haarslev: Diagrams, Lecture Notes in Computer Science 1889. Springer, pp. 345–360. Available at http://link.springer.de/link/service/series/0558/bibs/1889/18890345.htm.
  19. Zinovy Diskin, Tom Maibaum & Krzysztof Czarnecki (2012): Intermodeling, Queries, and Kleisli Categories. In: Juan de Lara & Andrea Zisman: FASE, Lecture Notes in Computer Science 7212. Springer, pp. 163–177. Available at http://dx.doi.org/10.1007/978-3-642-28872-2_12.
  20. Zinovy Diskin & Uwe Wolter (2008): A Diagrammatic Logic for Object-Oriented Visual Modeling. Electr. Notes Theor. Comput. Sci. 203(6), pp. 19–41. Available at http://dx.doi.org/10.1016/j.entcs.2008.10.041.
  21. Zinovy Diskin, Yingfei Xiong & Krzysztof Czarnecki (2010): Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In: MoDELS Workshops, Lecture Notes in Computer Science 6627. Springer, pp. 165–179. Available at http://dx.doi.org/10.1007/978-3-642-21210-9_16.
  22. Zinovy Diskin, Yingfei Xiong & Krzysztof Czarnecki (2011): From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case. Journal of Object Technology 10, pp. 6: 1–25. Available at http://dx.doi.org/10.5381/jot.2011.10.1.a6.
  23. H. Ehrig, K. Ehrig, U. Prange & G. Taenzer (2006): Fundamentals of Algebraic Graph Transformation.
  24. J. L. Fiadeiro & T. S. E. Maibaum (1995): A Mathematical Toolbox for the Software Architect. In: J. Kramer & A. Wolf: 8th Int. Workshop on Software Specification and Design. IEEE CS Press, pp. 46–55.
  25. José Luiz Fiadeiro (2004): Software Services: Scientific Challenge or Industrial Hype?. In: Zhiming Liu & Keijiro Araki: ICTAC, Lecture Notes in Computer Science 3407. Springer, pp. 1–13. Available at http://dx.doi.org/10.1007/978-3-540-31862-0_1.
  26. José Luiz Fiadeiro & T. S. E. Maibaum (1992): Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Asp. Comput. 4(3), pp. 239–272. Available at http://dx.doi.org/10.1007/BF01212304.
  27. José Luiz Fiadeiro & T. S. E. Maibaum (1995): Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. In: SIGSOFT FSE, pp. 72–80. Available at http://doi.acm.org/10.1145/222124.222141.
  28. J. N. Foster, M. Greenwald, J. Moore, B. Pierce & A. Schmitt (2007): Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst. 29(3), doi:10.1145/1232420.1232424.
  29. Joseph A. Goguen (1991): A Categorical Manifesto. Mathematical Structures in Computer Science 1(1), pp. 49–67. Available at http://dx.doi.org/10.1017/S0960129500000050.
  30. Frank Hermann, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin & Yingfei Xiong (2011): Correctness of Model Synchronization Based on Triple Graph Grammars. In: Whittle, pp. 668–682. Available at http://dx.doi.org/10.1007/978-3-642-24485-8_49.
  31. M. Hofmann, B. Pierce & D. Wagner (2011): Symmetric Lenses. In: POPL. Available at http://doi.acm.org/10.1145/1328438.1328487.
  32. M. Johnson, R. Rosebrugh & R. Wood (2002): Entity-relationship-attribute designs and sketches. Theory and Applications of Categories 10(3), pp. 94–112.
  33. Michael Johnson & Robert D. Rosebrugh (2007): Fibrations and universal view updatability. Theor. Comput. Sci. 388(1-3), pp. 109–129. Available at http://dx.doi.org/10.1016/j.tcs.2007.06.004.
  34. Michael Johnson & Robert D. Rosebrugh (2012): Lens put-put laws: monotonic and mixed. To appear. http://www.easst.org/eceasst.
  35. Michael Johnson, Robert D. Rosebrugh & Richard J. Wood (2010): Algebras and Update Strategies. J. UCS 16(5), pp. 729–748. Available at http://dx.doi.org/10.3217/jucs-016-05-0729.
  36. José Fiadeiro (2004): Categories for Software Engineering. Springer.
  37. Stefan Jurack & Gabriele Taentzer (2009): Towards Composite Model Transformations Using Distributed Graph Transformation Concepts. In: Andy Schürr & Bran Selic: MoDELS, Lecture Notes in Computer Science 5795. Springer, pp. 226–240. Available at http://dx.doi.org/10.1007/978-3-642-04425-0_17.
  38. Hongzhi Liang, Zinovy Diskin, Jürgen Dingel & Ernesto Posse (2008): A General Approach for Scenario Integration. In: Czarnecki, pp. 204–218. Available at http://dx.doi.org/10.1007/978-3-540-87875-9_15.
  39. M. Makkai (1997): Generalized Sketches as a Framework for Completeness Theorems. Journal of Pure and Applied Algebra 115, pp. 49–79, 179–212, 214–274.
  40. Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana & Masato Takeichi (2007): Bidirectionalization transformation based on automatic derivation of view complement functions. In: Ralf Hinze & Norman Ramsey: ICFP. ACM, pp. 47–58. Available at http://dx.doi.org/10.1145/1291151.1291162.
  41. Object Management Group (2008): MOF Query / Views / Transformations Specification 1.0. http://www.omg.org/docs/formal/08-04-03.pdf.
  42. Rachel Pottinger & Philip A. Bernstein (2003): Merging Models Based on Given Correspondences. In: VLDB, pp. 826–873. Available at http://www.vldb.org/conf/2003/papers/S26P01.pdf.
  43. Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle & Yngve Lamo (2012): A Graph Transformation-based Semantics for Deep Metamodelling. In: AGTIVE 2012. Available at http://dx.doi.org/10.1016/j.jlap.2009.10.003. To appear.
  44. Alessandro Rossini, Adrian Rutle, Yngve Lamo & Uwe Wolter (2010): A formalisation of the copy-modify-merge approach to version control in MDE. J. Log. Algebr. Program. 79(7), pp. 636–658. Available at http://dx.doi.org/10.1016/j.jlap.2009.10.003.
  45. Adrian Rutle, Alessandro Rossini, Yngve Lamo & Uwe Wolter (2010): A Formalisation of Constraint-Aware Model Transformations. In: David S. Rosenblum & Gabriele Taentzer: FASE, Lecture Notes in Computer Science 6013. Springer, pp. 13–28. Available at http://dx.doi.org/10.1007/978-3-642-12029-9_2.
  46. Adrian Rutle, Alessandro Rossini, Yngve Lamo & Uwe Wolter (2012): A formal approach to the specification and transformation of constraints in MDE. J. Log. Algebr. Program. 81(4), pp. 422–457. Available at http://dx.doi.org/10.1016/j.jlap.2012.03.006.
  47. Bran Selic (2008): Personal reflections on automation, programming culture, and model-based software engineering. Autom. Softw. Eng. 15(3-4), pp. 379–391. Available at http://dx.doi.org/10.1007/s10515-008-0035-7.
  48. M. Shaw (1996): Three patterns that help explain the development of software engineering (position paper). In: Dagstuhl Workshop on Software Architecture.
  49. Stefano Spaccapietra & Christine Parent (1994): View Integration: A Step Forward in Solving Structural Conflicts. IEEE Trans. Knowl. Data Eng. 6(2), pp. 258–274. Available at http://doi.ieeecomputersociety.org/10.1109/69.277770.
  50. Perdita Stevens (2010): Bidirectional model transformations in QVT: semantic issues and open questions. Software and System Modeling 9(1), pp. 7–20. Available at http://dx.doi.org/10.1007/s10270-008-0109-9.
  51. Jon Whittle, Tony Clark & Thomas Kühne (2011): Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Lecture Notes in Computer Science 6981. Springer. Available at http://dx.doi.org/10.1007/978-3-642-24485-8.
  52. Uwe Wolter & Zinovy Diskin: From Indexed to Fibred Semantics – The Generalized Sketch File. Technical Report 361. Department of Informatics, University of Bergen, Norway. http://www.ii.uib.no/publikasjoner/texrap/pdf/2007-361.pdf, year = 2007,.
  53. Y. Xiong, D. Liu, Z. Hu, H. Zhao, M. Takeichi & H. Mei (2007): Towards automatic model synchronization from model transformations. In: ASE, pp. 164–173. Available at http://doi.acm.org/10.1145/1321631.1321657.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org