MODELS 2014 - ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (formerly UML)

MODELS is the premier international conference devoted to model-based development for software and systems engineering, covering all types of modeling languages, methods, tools, and their applications. Model-based engineering ? the pervasive use of models as the core artifacts of the development process ? or model-driven development ? with a focus on executable models and automatic transformations supporting the generation of more refined models and implementations ? of complex systems has gained rapid popularity across various engineering disciplines, and has become an industrially accepted best practice in many application domains. Domains like automotive systems, interactive systems, business engineering, games or web-based applications commonly apply a tool-supported, model-based or model-driven development with the possibility for early validation and verification or the generation of production code. However, there are still numerous problems to be addressed that require collaborative research across multiple disciplines, ranging from offering suitable domain-specific modeling concepts to supporting legacy issues of models.
With its 17th anniversary, this year’s MODELS research community is challenged to demonstrate the maturity and effectiveness of model-based and model-driven engineering in established application domains like business information or embedded systems, as well as explore its limits, by investigating new applications areas and combinations with other emerging technologies, such as cyber-physical systems, semantic web, and cloud computing.
To provide a broader forum for reporting on scientific progress as well as experiences and issues stemming from practical application of model-based methods, the conference has two distinct tracks, a Foundations Track and an Application Track, each looking for specific papers.
Foundations Track
Technical Papers describing original scientifically rigorous solutions to significant model-based development problems. A technical paper should clearly describe the problem addressed, the relevant state of the art, the scientifically-founded solution, and the benefits of the contribution. Appropriate examples, synthetic or otherwise, should be used to explain all aspects of the proposed contribution.
Exploratory Papers describe new, non-conventional model-based development research positions or approaches. These papers should challenge the status-quo and describe solutions that are based on new ways of looking at model-based development problems and solutions. They must clearly describe the inadequacies in the current state-of-the-art and rigorously present their approach, clearly demonstrating its pertinence and correctness.
Applications Track
Application Papers provide a realistic and verifiable picture of the current state-of-the-practice in model-based engineering and explore the problems encountered by the industrial adoption of model-based techniques. Contributions should describe and analyze the application of model-based techniques to industrial problems, preferably identifying shortcomings, innovative solutions, and concepts arising from practical deployment of tools and techniques.
Empirical Evaluation Papers evaluating existing problem cases or scientifically validating proposed solutions through, for example, empirical studies, experiments, case studies, or simulations. The topic of the evaluation presented in the paper must be clearly stated. The research method must be sound and appropriate.
Topics of interest include, but are not limited to:
Model-driven development and its proven effectiveness
Development and use of domain-specific languages
Evolution of general-purpose modeling languages and related standards
Definition of the syntax and semantics of modeling languages
Tools and meta-tools for modeling languages and model-driven development
Model composition and metamodel composition
Definition and usage of model transformations and generative approaches
Support for legacy issues and evolution of models
Proposals for new model quality assurance techniques: analysis, testing, model checking, validation and verification
Model-driven development and cyber-physical systems
New methodologies/frameworks/processes for model-driven development
Development of systems engineering and modeling-in-the-large concepts
Integration of modeling languages and tools: hybrid multi-modeling approaches
New modeling paradigms and formalisms
Modeling in, and for, the Cloud
In addition to the above topics, the Applications Track is also interested in papers that address the following topics:
Introducing model-driven approaches into organizations
Application, technology and methodology case studies (successful and unsuccessful)
Managing evolution of models
Industrial scale model management (model size, user group size, viewpoint size etc.)
Limitations, gaps and mismatches in current modeling standards
Economic issues of model driven development
Achieving industrial quality benchmarks with model driven development
Industrial requirements for domain specific modelling
Visions for industrial strength model driven engineering
Empirical studies about model-based development