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.
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.
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.
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.
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.
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.
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.
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.
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.
Zinovy Diskin (2001):
On Modeling, Mathematics, Category Theory and RM-ODP.
In: José A. Moinhos Cordeiro & Haim Kilov: WOODPECKER.
ICEIS Press,
pp. 38–54.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
H. Ehrig, K. Ehrig, U. Prange & G. Taenzer (2006):
Fundamentals of Algebraic Graph Transformation.
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.
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.
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.
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.
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.
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.
M. Johnson, R. Rosebrugh & R. Wood (2002):
Entity-relationship-attribute designs and sketches.
Theory and Applications of Categories 10(3),
pp. 94–112.
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.
Michael Johnson & Robert D. Rosebrugh (2012):
Lens put-put laws: monotonic and mixed.
To appear. http://www.easst.org/eceasst.
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.
José Fiadeiro (2004):
Categories for Software Engineering.
Springer.
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.
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.
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.
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.
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.
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.
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.
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.
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.
M. Shaw (1996):
Three patterns that help explain the development of software engineering (position paper).
In: Dagstuhl Workshop on Software Architecture.
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.
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.
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.
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,.
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.