• 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