In our lab, you are free to work on what you are interested in, and your colleagues will always be there when you need help or feedback.

# 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

*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]

"Intermodeling, queries and Kleisli categories",

*Generative Software Development Laboratory*, Waterloo, University of Waterloo, 10/2011. [pdf]*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]

"Modeling Product Lines with Kripke Structures and Modal Logic",

*GSD Technical Report*, no. TR 2013-10-1, Watreloo, University of Waterloo(ECE) / McMaster University (CAS), 10/2013. [pdf]*Modeling product lines with Kripke structures and modal logic,*, no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014. [pdf]

*Modeling Product Lines with Kripke Structures and Modal Logic,*, no. GSDLAB–TR 2015-04-01, Waterloo/Hamilton, University of Waterloo, ECE, April, 2015. [pdf]

*The Semantics of Feature Models via Formal Languages (Extended Version),*, no. GSDLab TR 2014-08-02, Waterloo/Hamilton, University of Waterloo (ECE)/McMaster University(CAS), 08/2014. [pdf]

*A Taxonomic Space for Increasingly Symmetric Model Synchronization,*, no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014. [pdf]

*Tiling the view update problem,*, no. TR 2009-12-01, Waterloo, The University of Waterloo, GSDLab , 12/2009. [pdf]

"Towards Category Theory Foundations for Model Management",

*GSDLab-TR*, no. GSDLab-TR 2014-03-03, Hamilton/Watreloo, McMaster University/University of Waterloo, 03/2014. [pdf]*Towards generic formal semantics for consistency of heterogeneous multimodels,*, Waterloo, University of Waterloo, Jan 2011. [pdf]

*Traceability Mappings as a Fundamental Aspect of Model-to-Model Transformations,*, no. GSDLAB--TR 2016-05-01, Hamilton/Waterloo, McMaster University/University of Waterloo, May 2016. [pdf]

*Example-Driven Modeling poster,*, Toronto, CASCON, 2012. [pdf]

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

"From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case",

*Journal of Object Technology*, vol. 10, 2011.
"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]