First International Workshop on Combining Modelling with Search- and Example-Based Approaches
MODELS 2014 satellite event
Sunday 28th September, 2014
NEWS: Deadline extended to the 18th July!
Models are an abstraction of a problem under scrutiny and have been crucial components in engineering disciplines for millennia. They play a central role in all aspects of software engineering. The fundamental premise behind approaches and methodologies to software engineering that exploit modelling is that raising the level of abstraction at which a system is developed enables the creation of the large-scale and complex software systems being produced today.
Search-based software engineering (SBSE) is a software development practice which focuses on couching software engineering problems as optimisation problems and utilising metaheuristic techniques to discover near optimal solutions to those problems. SBSE has been applied to a wide variety of engineering problems, including requirements management, software testing and capability management.
Examples play a key role in the human learning process. There exist numerous theories on learning styles in which examples are used. Thus the idea of using examples to derive programs has a long tradition in computer science. Like many other domains of software engineering, the modelling community is currently concerned with the use of examples, such as traceability information and different kind of models, to search for solutions that fall within a specified acceptance margin to solve specific problems.
We believe that SBSE approaches and example-based approaches to software engineering offer innovate ways in which to better discover, manage, and evaluate models in software engineering. Furthermore, we believe that the example-based and SBSE communities would benefit from state-of-the-art modelling practices in order to evaluate, compare, and improve different example-based and search techniques.
The goal of this workshop is to discover opportunities for different ways SBSE and example-based techniques can be combined with modelling, and aims to stimulate research in this area. Additionally, we feel that the time is right for a community-growing workshop such as this, in order to foster relationships between the search, example and modelling communities.
|09:05-10:05||Keynote: Benoit Baudy (University of Rennes): "Searching models for proactive software diversification”|
|10:05-10:30||D. Efstathiou et al: "Crepe Complete: Multi-objective Optimization for Your Models"|
|11:00-11:20||G. Bergmann et al: "Graph Query by Example"|
|11:20-11:40||K. Vanherpen et al: "Design-Space Exploration in MDE: an initial Pattern Catalogue"|
|11:40-12:00||J. Antonio Parejo Maestre et al: "EXEMPLAR: an Experimental Information Repository for SBSE Research"|
|12:00-12:20||V. Acretoaie et al: "Efficient Model Querying with VMQL"|
Topics of Interest
- Search or example-amenable representations of models
- Domain-specific search operators: Are the standard genetic operators sufficient? Do we need problem-specific operators?
- Models of techniques: Can modelling techniques be used to evaluate and compare different example-based or metaheuristic techniques?
- Metaheuristic or example-based techniques specific to modelling: Due to the complex nature of models, are current search or example-based techniques enough? Do we need new techniques that are tailored to manage the complexity of models?
- Comparisons of standard metaheuristic techniques against bespoke modelling-specific metaheuristic techniques
- Applications of search to modelling problems
- Integrations of search techniques that are enabled through the use of modelling
- Novel algorithms for search when applied to modelling formalisms
- Search techniques applied to metamodels
- Machine learning applied to modelling
- Benchmarking of examples-based techniques applied in Model-Driven Engineering
- Prediction models for modelling problems
- New MDE problems that have not been tackled by previous example-based approaches
- Learning from model repositories
- Solving case studies by applying by-example approaches
- Search techniques applied to operations on models (e.g. model transformations): Examples include white or black box testing, test case generation
- Optimising models at runtime: Can we efficiently use metaheuristic techniques to optimise models that are used during at runtime?
- Proposals of benchmark modelling case studies against which different metaheuristic techniques can be evaluated
- Tool papers related to combining examples, search and modelling
- Position statements on ways in which modelling, examples or search could be combined
We accept three types of paper:
- Research/technical papers of at most 10 pages,
- Position statements of at most 6 pages,
- Tool demo descriptions of at most 6 pages.
Papers should be submitted in Springer's LNCS format via EasyChair.
- Paper Submission: July 18, 2014
- Paper Notification: August 8, 2014
- Workshop: September 28th, 2014
- Richard Paige, University of York, UK
- Marouane Kessentini, University of Michigan, USA
- Philip Langer, TU Vienna, Austria
- Manuel Wimmer, TU Vienna, Austria
- Slim Bechikh, University of Michigan, USA
- Lionel Briand, University of Luxembourg
- Betty Cheng, Michigan State University, USA
- Iván García-Magariño, Universidad a Distancia de Madrid, Spain
- Jeff Gray, University of Alabama, USA
- Mark Harman, University College London, UK
- Marianne Huchard, Université Montpellier 2 et CNRS, France
- Katsuro Inoue, Osaka University, Japan
- Gerti Kappel, Vienna University of Technology, Austria
- Horst Lichter, RWTH Aachen University, Germany
- Phil McMinn, University of Sheffield
- Mel Ò Cinnéide, University College Dublin, Ireland
- Ali Ouni, Université de Montréal, Canada
- Simon Poulding, Blekinge Institute of Technology, Sweden
- Houari Sahraoui, Université de Montréal, Canada
- Daniel Varro, Budapest University of Technology and Economics, Hungary
- Shin Yoo, University College London, UK