Our paper "Example-Driven Modeling Using Clafer" has been presented and published in pre-proceedings at MDEBE'13

On Sep. 29, at the Model-Driven Engineering by Example workshop at the MODELS'13 conference we presented a paper Example-Driven Modeling Using Clafer. The paper shows a scenario in which Alice, an SME, and Bob, a BA, are communicating using examples, inferring abstractions, deriving new examples, and validating the abstractions.

The paper showcases the importance of redefinition, partial typing, and partial instantiation for the presented vision of performing example-driven modeling. The slides of the presentation are available at the publication's page.

Support for redefinition is partially implemented in Clafer 0.4.0. A preview release is available from binary distributions.

Abstract:
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.