MiSE 13 - San Francisco, USA

Workshop Overview

Models have long been used in the development of complex systems. Their use is becoming more prevalent in the software development domain as modeling techniques and tools mature. Despite this, there are many challenging issues that the modeling research community must address if software modeling practices are to become mainstream. The primary goal of this workshop is to foster exchange of innovative ideas on the use of models in software engineering. Another goal of this workshop is to further promote cross-fertilization between the model-driven development (MDD) communities (e.g., MODELS) and software-engineering communities. To ensure that discussions at the 2013 workshop are not bogged down by deliberations about basic concepts and terminology, potential workshop participants will be encouraged to familiarize themselves with the papers presented at previous MiSE workshops in the calls for papers and for participation.

The workshop provides a forum for discussing and critically analyzing modeling techniques with respect to their purposes in software engineering processes. Participants engage in the exchange of innovative technical ideas and experiences related to modeling, including, modeling notations, abstraction techniques, modeling strategies, and use of models in development activities, including, system configuration, testing, and product line variability management. The purpose of a model and the domain it describes, determine the types of abstractions that are useful and the degree of formality and precision needed. We identify the following major purposes of software modeling:

• Exploration: Models are used to explore and learn about the problem to be solved, where the “problem” can be, for example, requirements identification, system specification, system or component design, complex protocol or algorithm design.
• Communication: Communication models are used to document software decisions (e.g., requirements, designs, and deployment decisions). Support for downstream activities: We use software models to answer questions or check properties (e.g., correctness, fitness for use) of the modeled artifact, to generate other artifacts, or to configure existing systems.
• Configurability and adaptation: We use models at runtime to configure the system, to adapt it to changed needs of the users. A model of the environment also allows a system to capture its knowledge about the environment it controls or communicates with.

The 2013 workshop will focus on analyzing both successful and unsuccessful applications of software-modeling techniques to gain insights into challenging modeling problems, including: (1) identifying, describing, and using appropriate abstractions, (2) supporting incremental, iterative development through the use of appropriate model composition, transformation and other model manipulation operators, and (3) automated analysis of possibly large, possibly incomplete models to determine the presence or absence of desired and undesired properties.

Topics of interest, thus, include:

• Modeling notations and tools
• Metamodeling
• Abstractions and modeling methodologies
• Model-based analysis and synthesis
• Model transformation and composition
• Model evaluation
• Model management
• Extracting models from software artifacts (e.g., program understanding)
• Use of models for downstream activities (e.g., generating test cases, using models at runtime)
• Modeling the systems environment
• Models at runtime (e.g. for software adaptation)
• Empirical studies
• Domain-specific modeling
• Variability management using models
• Model reuse
• Further uses of modeling

The purpose of this workshop is to promote the use of models in the engineering process of software and software-intensive systems. In particular, we are interested in the exchange of innovative technical ideas and experiences related to modeling: modeling notations, abstractions and modeling strategies, use of models, and so on. The main goal is the exchange of innovative ideas on the use of models in software engineering and to further promote cross-fertilization between the modeling communities (e.g., MODELS) and software-engineering communities.

Workshop Programme

tbd.

Important Dates

Workshop Format

The workshop will be highly interactive and focused on the sharing of ideas and on progressing towards a shared vision of research goals. Included in the program will be paper presentations, open discussions, at least one panel discussion, posters, and a keynote talk. Paper presentations will be grouped into sessions of three 20-minute presentations, with 30 minutes of discussion at the end of each session. Our goal is not to create a mini-conference and all attendees will also have an opportunity to discuss topics emerging from the collective presentations.

Submission Guidelines

Although the workshop is open to all, prospective participants are invited to submit a 4-6 page position paper. All submissions will be reviewed by members of the program committee and the organizing committee for quality and relevance. All submitted papers must conform to the style guidelines required for IEEE Conference Proceedings. Accepted papers will become part of the workshop proceedings. For any questions feel free to contact tbd.

To submit your paper use this link ...

Organizing Committee

• Joanne M. Atlee (primary contact), University of Waterloo, Ontario, Canada
• Robert Baillargeon, Sodius, East Amherst, NY, USA
• Marsha Chechik, University of Toronto, ON, Canada
• Robert France, Colorado State University, USA
• Jeff Gray, University of Alabama, Tuscaloosa, Alabama, USA
• Richard Paige, University of York, UK
• Bernhard Rumpe, RWTH Aachen

Program Committee

• not yet confirmed