Example-driven modeling: model = abstractions + examples

Authors:
Kacper Bąk;Dina Zayan;Krzysztof Czarnecki;Michał Antkiewicz;Zinovy Diskin;Andrzej Wąsowski;Derek Rayside
Affiliations:
University of Waterloo, Canada;University of Waterloo, Canada;University of Waterloo, Canada;University of Waterloo, Canada;University of Waterloo, Canada;IT University of Copenhagen, Denmark;University of Waterloo, Canada
Venue:
Proceedings of the 2013 International Conference on Software Engineering
Year:
2013

Citing 18
Cited 0

Automating the Generation and Sequencing of Test Cases from Model-Based Specifications

FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Test-Driven Development: Concepts, Taxonomy, and Future Direction

Computer
How UML is used

Communications of the ACM - Two decades of the language-action perspective
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
Hints on Test Data Selection: Help for the Practicing Programmer

Computer
USE: A UML-based specification environment for validating UML and OCL

Science of Computer Programming
Inferring XML schema definitions from XML data

VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
Testing Metamodels

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Automating Co-evolution in Model-Driven Engineering

EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Generating tests from UML specifications

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Components, platforms and possibilities: towards generic automation for MDA

EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Empirical assessment of MDE in industry

Proceedings of the 33rd International Conference on Software Engineering
Modal object diagrams

Proceedings of the 25th European conference on Object-oriented programming
Synthesis of reactive(1) designs

VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Spreadsheet data manipulation using examples

Communications of the ACM
Extending alloy with partial instances

ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z

Quantified Score

Hi-index	0.00

Visualization

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.