Our regular stand-up scrum meetings are a great way to have regular interaction with other team members, as well as our supervisor.

# Zinovy Diskin, Ph.D.

**Research Associate**

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 3
- ››

# Projects

# Activities

# Publications

"Algebraic Models for Bidirectional Model Synchronization",

*MoDELS 2008*, Toulouse France, Springer, 10/2008.
"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]
"Example-Driven Modeling Using Clafer",

*First International Workshop on Model-driven Engineering By Example*, 2013. [ppsx][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",

*15th International Conference on Fundamental Approaches to Software Engineering (FASE'12)*, Tallinn, Estonia, LNCS, volume 7212, pp. 163-177, 01/2012.
"Mapping-aware megamodeling: Design Patterns and Laws",

*Software Language Engineering*: Springer, 2013. [zip]
"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]
"Modeling and Reasoning with Multirelations, and their encoding in Alloy",

*16th International Workshop in OCL and Textual Modeling*, 10/2016.
"Partial Instances via Subclassing",

*6th International Conference on Software Language Engineering*, Indianapolis, USA, 2013. [pdf][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]
"CT for BX: Category Theory Foundations for Bidirectional Model Transformations",

*Applied and Computational Category Theory*, Tallinn, Estonia, Pre-proceedings, 2012. [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]
"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]
"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]
"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking",

*MoDELS'10 Workshops: Reports and Selected Papers*, vol. 6627, Oslo, Norway, Springer, 2011. [pdf]
"From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case",

*Journal of Object Technology*, vol. 10, 2011.*Example-Driven Modeling poster,*, Toronto, CASCON, 2012. [pdf]

*ZinovyDiskin-Photo,*, 2015. [jpg]

*An algebraic semantics for bidirectional model synchronization,*, no. GSDLab TR 2014-04-01, 08/2014. [pdf]

*Asymmetric Delta-Lenses with Uncertainty: Towards a Formal Framework for Flexible BX,*, no. GSDLAB–TR 2016-03-01, Waterloo, University of Waterloo, 03/2016. [pdf]

*Compositionality of Update Propagation: Lax Putput,*, no. GSDLAB TR 2017-02-01, Hamilton, McMaster University, Feb 2017. [pdf]

"From Lenses to Tiles: Model Synchronization via Double Categories",

*Generative Software Development Laboratory*, Waterloo, University of Waterloo, 12/2009. [pdf]*From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case,*, Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011. [pdf]