MISE 17 - Buenos Aires, Argentina

Theme and Goals

The purpose of this 2-day workshop is to promote the use of models in the engineering of software systems. In particular, we are interested in the exchange of innovative technical ideas and experiences related to modeling. Engineers have used models to effectively manage complexity for centuries, and there is a growing body of work on the use of models to manage inherent problem and solution complexity in software development. The use of software models will become more prevalent as methodologies and tools that manipulate models at various levels of abstraction become available.

Workshop activities will focus on analyzing successful 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

Topics of interest 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
• Models for learning machines
• Models of big and smart data
• Use of models for downstream activities
• Modeling the system environment
• Modeling cyber-physical systems
• Models at runtime (e.g., for software adaptation)
• Models for what-if? analysis and prognostics
• Empirical studies
• Domain-specific modeling
• management using models
• Model reuse
• Further uses of modeling

Program

tba

Organizing Committee (for 2018)

• Richard Paige, University of York (UK)
• Jennifer Horkoff, Chalmers and the University of Gothenberg (Sweden)
• Sahar Kokaly, McMaster University (Canada)
• Jocelyn Simmonds, University of Chile (Chile)

Program Committee

tba

Further MiSE Information

• MISE Main Page
• MISE Steering Committee
• The call for papers is available for download at tba