Example-driven modeling using clafer

Example-driven modeling (EDM) is an approach to systematically using explicit examples for eliciting, modeling, verifying, and validating complex business knowledge. In EDM, examples and abstractions are equally important parts of the model, as both are needed for effective knowledge transfer (model = examples + abstractions). We show how Clafer, a lightweight structural modeling language, can be used when applying EDM for domain analysis and requirements elicitation.We present a sample modeling scenario and features of Clafer which support EDM.