MiSE 14 - Hyderabad, India

Latest news

• The workshop was a great success
• 37 participants in total
• The proceedings are available by ACM. The can be referenced under:
  • J. Atlee, T. Clark, R. France, B. Rumpe, V. Kulkarni: 6th International Workshop on Modeling in Software Engineering (MiSE). at ICSE 2014, June 2-3, Hyderabad, India. ACM Press. 2014.

Theme and Goals

The purpose of this 2-day workshop is to study and advance the effective use of models in the engineering of software systems. In particular, we are interested in the exchange of experiences and innovative technical ideas related to modeling. Engineers have used models to 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 them at various levels of abstraction become available. A secondary goal of the workshop is to further promote cross-fertilization between the modeling communities (e.g., MODELS) and software-engineering communities.

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. Previous versions of the workshop showed that while there is great interest in collaborations and discussions across these communities, there are differences in terminologies and concepts that need to be harmonized for effective communication to take place. To ensure that discussions at the 2014 workshop progress beyond the basic alignment of concepts, potential workshop participants will be encouraged to familiarize themselves with the papers presented at the current MiSE workshop 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 of 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 2014 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 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)
• Modeling the system environment
• Models at runtime (e.g., for software adaptation)
• Empirical studies
• Domain-specific modeling
• Variability management using models
• Model reuse
• Further uses of modeling

Workshop Program

  Slides File:MISE 2014 BanuAysolmaz V1.0.pdf

Important Next Dates

Organizing Committee

• Joanne M. Atlee (primary contact), University of Waterloo, Ontario, Canada
• Tony Clark, Middlesex University, London, UK
• Robert France, Colorado State University, USA
• Vinay Kulkarni, Tata Consultancy Services Innovation Labs, Pune, India
• Bernhard Rumpe, RWTH Aachen University, Germany

• and Phillipa L. Bennett, Colorado State University, USA

Program Committee

• Robert Baillargeon, Sodius, East Amherst, NY, USA (Confirmed)
• Manfred Broy, Technical University of Munich, Germany (Confirmed)
• Marsha Chechik, University of Toronto, ON, Canada (Confirmed)
• Betty Cheng, Michigan State University, USA (Confirmed)
• Krzysztof Czarnecki, University of Waterloo, Canada (Confirmed)
• Juergen Dingel, Queen's University, Canada (Confirmed)
• Geri Georg, Colorado State University, USA (Confirmed)
• Jeff Gray, University of Alabama, USA (Confirmed)
• Mats Heimdahl, University of Minnesota, USA (Confirmed)
• Michael Jackson, The Open University, UK (Confirmed)
• Jeff Kramer, Imperial College London, UK (Confirmed)
• Richard Paige, University of York, UK (Confirmed)
• Alfonso Pierantonio, University of L’Aquila, Italy (Confirmed)
• Sebastian Uchitel, Imperial College London and Universidad de Buenos Aires, UK /Argentina (Confirmed)
• Steffen Zschaler, King's College, UK (Confirmed)

Further MiSE Information

• MISE Main Page
• MISE Steering Committee