Home

Tagged by "Model Synchronization"

Publications

  • Multi-level customization in application engineering
  • Design Space of Heterogeneous Synchronization
  • Bidirectional Transformations: A Cross-Discipline Perspective
  • Framework-specific modeling languages
  • Lax Lenses
  • Model-versioning-in-the-large: Algebraic foundations and the tile notation
  • Towards generic formal semantics for consistency of heterogeneous multimodels
  • From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case
  • From Lenses to Tiles: Model Synchronization via Double Categories
  • From State-Based to Delta-Based Bidirectional Model Transformation
  • UML2Rdbms Model Transformations Using ATOM3 Meta-modeling Tool
  • From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case
  • Specifying Overlaps of Heterogeneous Models for Global Consistency Checking
  • Correctness of Model Synchronization Based on Triple Graph Grammars

News Items

  • "Specifying Overlaps of Heterogeneous Models for Global Consistency Checking" accepted at MDI
  • Two papers accepted at MODELS'11
  • "From State-Based to Delta-Based Bidirectional Model Transformation" accepted at ICMT'10
  • Best paper at MDI'10
  • Best paper at ICMT'10
  • Extended version of our ICMT'10 paper accepted at Journal of Object Technology

Members

  • Michał Antkiewicz, Ph.D.
  • Yingfei Xiong, Ph.D.
  • Krzysztof Czarnecki, Ph.D., P.Eng.
  • Chang Hwan Peter Kim, MASc.

Projects

  • Delta-based Bidirectional Transformation
  • Home
  • Research Topics
  • Projects
  • Tools
  • Lab Members
  • Publications
  • Industrial Collaborators
  • Teaching
  • Contact
  • Login

People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.

Kacper Bąk

Our lab is a very exciting place to learn and work!

Moises Branco

Recent Publications

  • A Space of Model Synchronization Types: Symmetrization of Model Transformations and its Challenges
  • Matching Business Process Models Using Positional Language Models
  • Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel
  • SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities
  • Generating Preliminary Edit Lenses from Automatic Pattern Discovery in Business Process Modeling
  • Feature-Oriented Software Evolution
  • A Case Study on Consistency Management of Business and IT Process Models in Banking
Software Product Lines eCos Feature Modeling Variability Modeling Round-Trip Engineering Software Maintenance Reverse Engineering API Migration Framework comprehension Linux API FSML
University of Waterloo Generative Software Development Lab
Department of Electrical and Computer Engineering
University of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
Department of Electrical and Computer Engineering