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 :
بازگشت