Welcome to the

Model Management for Regulatory Compliance

project page!


This project focuses on the use of model management techniques to aid in regulatory compliance activities. Specifically, we are working on adapted model management operators for assurance cases and model management workflows to address known compliance scenarios (e.g., assurance case reuse due to system evolution).


This project is a collaboration between the McMaster Centre for Software Certification and the Modeling group in the Department of Computer Science at the University of Toronto. We are working with General Motors as our industrial partner.


Heterogenous Megamodel Slicing for Model Evolution.
Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum
Models and Evolution (ME) workshop at MODELS'16. (slides)

A Model Management Approach for Assurance Case Reuse due to System Evolution.
Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik
MODELS'16 Foundations Track (23.7% accept. rate) (slides)

Model Management for Regulatory Compliance: a position paper.
Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum
MiSE'16 at ICSE'16. (slides)

Enriching Megamodel Management with Collection-Based Operators.
Rick Salay, Sahar Kokaly, Alessio Di Sandro, Marsha Chechik

Elementary Model Management Patterns.
Sahar Kokaly, Zinovy Diskin, Tom Maibaum, Hamid Gholizadeh
PAME'15 at STAF'15

MMINT: A Graphical Tool for Interactive Model Management.
Alessio Di Sandro, Rick Salay, Michalis Famelis, Sahar Kokaly, Marsha Chechik
Demo Track at MODELS'15


We are currently extending the MMINT tool to include compliance-related artifacts, operations and workflows.

Case studies