We've got lots of freedom and independence, but you are never on your own when you encounter problems.
Zinovy Diskin, Ph.D.
Research Associate
Room: DC 1340
Email: zdiskin-at-gsd.uwaterloo.ca
Room: DC 1340
Email: zdiskin-at-gsd.uwaterloo.ca
- My area of expertise is formal semantics and algebraic models for constructs and concepts used in MDE, particularly metamodeling, multimodleing and model management. Resume can be found here.
I am cross-appointed in the Department of Computing and Software at McMaster University as Senior Research Scientist with the NECSIS Project.
News
- 1 of 2
- ››
Projects
Activities
Publications
"A Space of Model Synchronization Types: Symmetrization of Model Transformations and its Challenges",
Model Driven Engineering Languages and Systems (MODELS'13), Submitted.
Lax Lenses,
, no. GSDLAB-TR 2013-03-10: University of Waterloo, 03/2013.
[pdf]
Mechanics of Megamodeling: Design Patterns and Laws,
, no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton , University of Waterloo/McMaster University, 03/2013.
[pdf]
"Example-Driven Modeling. Model = Abstractions + Examples",
New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013.
[pdf]
"Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond",
7th ACCAT Workshop on Applied and Computational Category Theory (affiliated with ETAPS'2012), To appear, 2012.
[pdf]
"Intermodeling, queries, and Kleisli categories",
15th International Conference on Fundamental Approaches to Software Engineering (FASE'12), Tallinn, Estonia, LNCS, volume 7212, pp. 163-177, 01/2012.
"CT for BX: Category Theory Foundations for Bidirectional Model Transformations",
Applied and Computational Category Theory, Tallinn, Estonia, Pre-proceedings, 2012.
[pdf]
Example-Driven Modeling poster,
, Toronto, CASCON, 2012.
[pdf]
Towards generic formal semantics for consistency of heterogeneous multimodels,
, Waterloo, University of Waterloo, Jan 2011.
[pdf]
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
MoDELS'10 Workshops: Reports and Selected Papers, vol. 6627, Oslo, Norway, Springer, 2011.
[pdf]
"Correctness of Model Synchronization Based on Triple Graph Grammars",
ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011.
[pdf]
"From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case",
ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011.
[pdf][pdf]
"Intermodeling, queries and Kleisli categories",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 10/2011.
[pdf]
From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case,
, Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011.
[pdf]
"From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case",
Journal of Object Technology, vol. 10, 2011.
"Model Synchronization: Mappings, Tiles and Categories",
Generative and Transformational Techniques in Software Engineering, GTTSE'09, vol. 6491, Braga, Portugal, Springer, 2011.
[pdf]
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",
1st Workshop on Model Driven Interoperability, Co-located with MoDELS 2010, Oslo, Norway, ACM Press, pp. 42-51, 10/2010.
[pdf][pdf]
"From State-Based to Delta-Based Bidirectional Model Transformation",
3rd International Conference on Model Transformation, Malaga, Spain, Springer, pp. 61-76, 06/2010.
[pdf][ppt]
"From Lenses to Tiles: Model Synchronization via Double Categories",
Generative Software Development Laboratory, Waterloo, University of Waterloo, 12/2009.
[pdf]
"Model-versioning-in-the-large: Algebraic foundations and the tile notation",
2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM), Vancouver, BC, Canada, IEEE, pp. 7 - 12, 2009.
[pdf][pdf]
"Algebraic Models for Bidirectional Model Synchronization",
MoDELS 2008, Toulouse France, Springer, 10/2008.
