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., "Towards Category Theory Foundations for Model Management", GSDLab-TR , no. GSDLab-TR 2014-03-03, Hamilton/Watreloo, McMaster University/University of Waterloo, 03/2014.

[bib]

[pdf]

Diskin, Z., ZinovyDiskin-Photo, , 2015.

[bib]

[jpg]

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

[bib]

Diskin, Z., An algebraic semantics for bidirectional model synchronization, , no. GSDLab TR 2014-04-01, 08/2014.

[bib]

[pdf]

Diskin, Z., A. Wider, H. Gholizadeh, and K. Czarnecki, A Taxonomic Space for Increasingly Symmetric Model Synchronization, , no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014.

[bib]

[pdf]

Diskin, Z., Y. Xiong, and K. Czarnecki, "From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case", Journal of Object Technology, vol. 10, 2011.

[bib]

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]

Hermann, F., H. Ehrig, F. Orejas, K. Czarnecki, Z. Diskin, and Y. Xiong, "Correctness of Model Synchronization Based on Triple Graph Grammars", ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems: Springer, 10/2011.

[bib]

[pdf]

Safilian, A., T. Maibaum, and Z. Diskin, 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.

[bib]

[pdf]

Sun, P., Z. Diskin, M. Antkiewicz, and K. Czarnecki, Relational Modeling and Reasoning with Multisets and Multirelations in Alloy, , no. GSDLAB-TR 2016-01-22, 2016.