gsdlab/clafer

clafer and specification by example

Closed this issue · 1 comments

winko commented

Hi everybody!
You are stating: "Clafer can be used with a variety of methods, such as [...] specification by example". Do you have an description/tutorial/example which explains how can I use clafer with "specification by example"/BDD/ATDD-like method? Especially I'm interested in: How do I have to extend my Gherkin-style examples by Clafer-expressions?
Regards!

mantkiew commented

Hi, we call this "example-driven modeling". Please have a look at the paper "Example-Driven Modeling Using Clafer" at Model-Driven Engineering By Example (MDEBE'13) workshop:

http://mdebe2013.big.tuwien.ac.at/?page_id=34

The paper presents a concrete example scenario.

We were also investigating the relationship between Clafer and BDD-style specifications. Unfortunately, the project didn't go too far.