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