DocumentCode
635262
Title
Example-Driven Modeling: Model = Abstractions + Examples
Author
Bak, Kacper ; Zayan, Dina ; Czarnecki, Krzysztof ; Antkiewicz, Michal ; Diskin, Zinovy ; Wasowski, Andrzej ; Rayside, D.
Author_Institution
GSD Lab., Univ. of Waterloo, Waterloo, ON, Canada
fYear
2013
fDate
18-26 May 2013
Firstpage
1273
Lastpage
1276
Abstract
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. We formulate hypotheses as to why modeling should include explicit examples, discuss how to use the examples, and the required tool support. Building upon results from cognitive psychology and software engineering, we challenge mainstream practices in structural modeling and suggest future directions.
Keywords
business data processing; knowledge management; program testing; program verification; software tools; EDM; abstractions; cognitive psychology; complex business knowledge elicition; complex business knowledge modeling; complex business knowledge validation; complex business knowledge verification; example-driven modeling; explicit examples; information presentation; software engineering; software testing; structural modeling; tool support; Computational modeling; Concrete; Grammar; Software; Systematics; Testing; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering (ICSE), 2013 35th International Conference on
Conference_Location
San Francisco, CA
Print_ISBN
978-1-4673-3073-2
Type
conf
DOI
10.1109/ICSE.2013.6606696
Filename
6606696
Link To Document