Everyone in our lab is free to work on what they want to work on. Encouragement and constructive feed back is always available.
Example-Driven Modeling
The use of examples is critical for a more widespread adoption of modeling as it makes modeling more accessible to non-experts. We propose Example-Driven Modeling (EDM), an approach that systematically uses explicit examples for eliciting, modeling, verifying, and validating complex business knowledge. It emphasizes the use of explicit examples together with abstractions, both for presenting information and when exchanging models.
The project is in initial stage. You can check out Clafer Wiki that contains some models created and validated via examples. There is also Dina's CS846 course project report that compares modeling in UML and Clafer.
The project is in initial stage. You can check out Clafer Wiki that contains some models created and validated via examples. There is also Dina's CS846 course project report that compares modeling in UML and Clafer.
Team Members
News
Tools
Publications
"Example-Driven Modeling Using Clafer",
First International Workshop on Model-driven Engineering By Example, 2013.
[ppsx][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]
"Partial Instances via Subclassing",
6th International Conference on Software Language Engineering, Indianapolis, USA, 2013.
[pdf][pdf]
Example-Driven Modeling poster,
, Toronto, CASCON, 2012.
[pdf]
