Maryam Moein - Domain modellig with Clafer 


Domain modeling is one of the critical approaches in requirement engineering which incorporates behavior and data of the domain model. A new approach of Example-Driven Modeling (EDM) suggests using systematically explicit examples for eliciting, modeling, verifying, and validating complex business knowledge and it utilizes Clafer, a lightweight domain modeling tools, to prove how EDM is useful when it is applied to domain analysis and requirements elicitation. In fact, EDM makes a model which composes of an abstraction + Example. The idea of EDM approach and a short overview of Clafer tool are presented in this paper.

Keywords: Example-Driven Modeling, Subject Matter Expert, Business Analyst, Abstraction Inference, Example Derivation


Reading Report

Reading Presentation