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.

the Department of Computing and Software at McMaster University

Senior Research Scientist

NECSIS Project

News

"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking" accepted at MDI
"From State-Based to Delta-Based Bidirectional Model Transformation" accepted at ICMT'10

Projects

Activities

Publications

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Diskin, Z., S. Kokaly, and T. Maibaum, "Mapping-aware megamodeling: Design Patterns and Laws", Software Language Engineering: Springer, 2013.

[bib]

[zip]

Diskin, Z., Y. Xiong, K. Czarnecki, H. Ehrig, F. Hermann, and F. Orejas, From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case, , Waterloo, Generative Software Development Laboratory, University of Waterloo, 05/2011.

[bib]

[pdf]

Diskin, Z., S. Kokaly, and T. Maibaum, Mechanics of Megamodeling: Design Patterns and Laws, , no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton , University of Waterloo/McMaster University, 03/2013.

[bib]

[pdf]

Diskin, Z., 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.

[bib]

[pdf]

Diskin, Z., K. Czarnecki, and M. Antkiewicz, "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.

[bib]

[pdf][pdf]

Diskin, Z., "CT for BX: Category Theory Foundations for Bidirectional Model Transformations", Applied and Computational Category Theory, Tallinn, Estonia, Pre-proceedings, 2012.

[bib]

[pdf]

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

[bib]

[pdf]

Diskin, Z., A. Safilian, T. Maibaum, and S. Ben-David, Modeling product lines with Kripke structures and modal logic, , no. GSDLab TR 2014-08-01, Waterloo, University of Waterloo (ECE), 08/2014.

[bib]

[pdf]

Bąk, K., Z. Diskin, M. Antkiewicz, K. Czarnecki, and A. Wąsowski, "Partial Instances via Subclassing", 6th International Conference on Software Language Engineering, Indianapolis, USA, 2013.

[bib]

[pdf][pdf]

Bąk, K., D. Zayan, K. Czarnecki, M. Antkiewicz, Z. Diskin, A. Wąsowski, and D. Rayside, "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.