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.

Team Members

News

Tools

Publications