MISE 19 - Montreal, Canada

From MiSE

(Difference between revisions)
Jump to: navigation, search
(Created page with '<div style="line-height:2.0em;"> <div align="center" style="font-size: 200%;">11th Workshop on Modelling in Software Engineering (MiSE’2019)</div> <div align="center" style="fo...')
(Program Committee (tentative))
(22 intermediate revisions not shown)
Line 1: Line 1:
<div style="line-height:2.0em;">
<div style="line-height:2.0em;">
<div align="center" style="font-size: 200%;">11th Workshop on Modelling in Software Engineering (MiSE’2019)</div>
<div align="center" style="font-size: 200%;">11th Workshop on Modelling in Software Engineering (MiSE’2019)</div>
-
<div align="center" style="font-size: 200%">hosted by [https://www.icse2019.org/ ICSE 2019]</div>
+
<div align="center" style="font-size: 200%">hosted by [https://2019.icse-conferences.org/ ICSE 2019]</div>
-
<div align="center" style="font-size: 200%;">Montreal, Canada, May 2019  </div>
+
<div align="center" style="font-size: 200%;">Montreal, Canada, May 26-27, 2019  </div>
== Theme and Goals ==
== Theme and Goals ==
 +
Models are an important tool in conquering the increasing complexity of modern software systems. Key industries (e.g., automotive and avionics) are strategically directing their development environments towards more extensive use of modeling techniques.
-
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.
+
This 2-day workshop aims to understand, through critical analysis, the current and future uses of models in the engineering of software-intensive systems. By fostering exchange of ideas between the MDE and software engineering communities, the MiSE-workshop series has continuously served as an effective forum for discussing modeling techniques from both software and systems engineering perspectives. We also hope to analyze successful applications of modeling techniques in relevant areas such as Cyber-Physical Systems, Internet of Things, Big and Smart Data, learning machines, and determine how the participants experience can be carried over to other domains. During the workshop, we plan to discuss various industrial challenges and teaching best practices related to modeling.
-
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.  
+
Workshop activities 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, collaborative development through the use of appropriate model composition, transformation and other model manipulation operators, (3) automated analysis of possibly large, possibly incomplete models to determine the presence or absence of desired and undesired properties, and (4) using models to assess risks, enable decision-making in organisations, or to support prognostics of business key performance indicators (KPIs).
 +
The expected program is a mix of research presentations, tool demonstrations, best practices on teaching modeling techniques, and industrial challenges
 +
=== Topics ===
=== Topics ===
Line 17: Line 20:
* Metamodeling
* Metamodeling
* Abstractions and modeling methodologies
* Abstractions and modeling methodologies
-
* Model-based analysis and synthesis
+
* Model-based analysis and synthesis (e.g., generating test cases, configurations)
* Model transformation and composition
* Model transformation and composition
* Model evaluation
* Model evaluation
* Model management
* Model management
-
* Extracting models from software artifacts
+
* Extracting models from software artifacts (e.g., system or program understanding)
* Models for learning machines
* Models for learning machines
* Models of big and smart data
* Models of big and smart data
-
* Use of models for downstream activities
+
* Collaborative modeling (e.g. offline vs online, access control restrictions)
-
* Modeling the system environment
+
* Modeling cyber-physical systems
* Modeling cyber-physical systems
* Models at runtime (e.g., for software adaptation)
* Models at runtime (e.g., for software adaptation)
-
* Models for ''what-if?'' analysis and prognostics
+
* Models for what-if? analysis and prognostics of KPIs
* Empirical studies
* Empirical studies
-
* Domain-specific modeling
+
* Domain-specific (modeling) languages
-
* management using models
+
* Variability management using models
* Model reuse
* Model reuse
* Further uses of modeling
* Further uses of modeling
 +
 +
== 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. All attendees will also have an opportunity to discuss topics emerging from the collective presentations.
== Submission ==
== Submission ==
-
Please submit your papers via [https://easychair.org/conferences/?conf=mise2018 Easychair] by the '''extended MiSE'18 deadline of 11 February 2018 (AoE)'''. Submissions do not need to be double-blinded.
+
Although the workshop is open to all, prospective participants are invited to submit
 +
* a full research paper (7 pages, including references),
 +
* a short paper (4 pages, including references), or
 +
* a talk proposal on tool demonstration, best practices on teaching modeling techniques, or industrial challenges (1-2 pages, including references)
-
== Program ==
+
Workshop papers must follow the [https://2019.icse-conferences.org/track/icse-2019-Technical-Papers#Call-for-Papers ICSE 2019 Format and Submission Guideline]. Accepted full research papers and short papers will become part of the workshop proceedings, to be made available in the IEEE Digital Library. Talk proposals will not become part of the proceedings.
 +
All submissions will be reviewed by members of the program committee and the organizing committee for quality and relevance. In addition, full research papers and short papers will be reviewed for novelty.
 +
Please submit your papers via our [https://easychair.org/conferences/?conf=mise2019 EasyChair submission site] by the '''MiSE'19 deadline of 1 February 2019 (AoE)'''. Submissions do not need to be double-blinded.<!--
 +
== Program ==
=== Sunday 27 May ===
=== Sunday 27 May ===
Line 92: Line 104:
1530-1600 Coffee
1530-1600 Coffee
-
1600-1700 '''Discussion and close'''
+
1600-1700 '''Discussion and close'''  
 +
-->
 +
== Important Dates ==
-
== Organizing Committee (for 2018) ==
+
* Paper submissions due: February 1, 2019
 +
* Notification to authors: March 1, 2019
 +
* Camera-ready copies due: March 15, 2019
 +
* Workshop date: May 26-27, 2019
-
* Richard Paige, University of York (UK)
+
== Organizing Committee (for 2019) ==
-
* Jennifer Horkoff, Chalmers and the University of Gothenberg (Sweden)
+
-
* Sahar Kokaly, McMaster University (Canada)
+
-
* Jocelyn Simmonds, University of Chile (Chile)
+
-
== Program Committee ==
+
* Marsha Chechik, University of Toronto (Canada) [http://www.cs.toronto.edu/~chechik/ Web]
 +
* Daniel Strüber, Chalmers University | University of Gothenburg (Sweden)  [http://danielstrueber.de/ Web]
 +
* Dániel Várro, McGill University (Canada) /  MTA-BME Lendület Cyber-Physical Systems Research Group (Hungary) / Budapest University of Technology and Economics (Hungary) [https://www.mcgill.ca/ece/daniel-varro Web]
-
* Michalis Famelis, University of Montreal
+
== Program Committee (tentative) ==
-
* Marsha Chechik, University of Toronto
+
 
-
* Dimitris Kolovos, University of York
+
* Daniel Amyot, University of Ottawa (Canada)
-
* Davide Di Ruscio, Università degli Studi dell'Aquila
+
* Anthony Anjorin, University of Paderborn (Germany)
-
* Alfonso Pierantonio, University of L'Aquila
+
* Joanne M. Atlee, University of Waterloo (Canada)
-
* Steffen Zschaler, King's College London
+
* Alessandra Bagnato, Softeam (France)
-
* Alessandra Bagnato, Softeam
+
* Thorsten Berger, Chalmers University | University of Gothenburg (Sweden)
-
* Robert Baillargeon, Sodius
+
* Robert Baillargeon, Sodius (USA)
-
* Rick Salay, University of Toronto
+
* Francis Bordeleau, CMind Inc. (Canada)
-
* Gunter Mussbacher, McGill University
+
* Davide Di Ruscio, University of L’Aquila (Italy)
-
* Mats Heimdahl, University of Minnesota
+
* Juergen Dingel, Queen's University (Canada)
-
* Juergen Dingel, Queen's University
+
* Jeff Gray, University of Alabama (USA)
-
* Bernhard Rumpe, RWTH Aachen University
+
* Sebastian Herzig, NASA JPL (USA)
-
* Benoit Combemale, IRIT, University of Toulouse
+
* Ákos Horváth, IncQuery Labs (Hungary)
-
* Fabiano Dalpiaz, Utrecht University
+
* Dimitris Kolovos, University of York (UK)
-
* Michel Chaudron, Gothenburg University and Chalmers, Sweden
+
* Sahar Kokaly, McMaster University (Canada)
-
* Jeff Gray, University of Alabama, USA
+
* Richard Paige, University of York (UK) / McMaster University (Canada)
-
* Cecilia Bastarrica, University of Chile, Chile
+
* Bernhard Rumpe, RWTH Aachen University (Germany)
-
* Esther Guerra, Universidad Autonoma de Madrid, Spain
+
* Rick Salay, University of Toronto (Canada)
-
* Juan de Lara, Universidad Autonoma de Madrid, Spain
+
* Manuel Wimmer, TU Vienna (Austria)
-
* Silvia Abrahao, Universitat Politècnica de València, Spain
+
* Andreas Wortmann, RWTH Aachen (Germany)
 +
* Tian Zhang, Nanjing University (China)
 +
* Steffen Zschaler, King’s College London (UK)
== Further MiSE Information ==
== Further MiSE Information ==
* MISE [[Main Page]]
* MISE [[Main Page]]
-
* MISE [[Steering Committee]]
+
* MISE [[Steering Committee|Steering Committee and Previous Editions]]
-
* The call for papers is available for download [http://www.cs.york.ac.uk/~paige/MiSE2018-CFP.pdf here]
+
* [https://twitter.com/MiseWS MISE on Twitter]
 +
<!-- * The call for papers is available for download [http://www.cs.york.ac.uk/~paige/MiSE2018-CFP.pdf here] -->

Revision as of 15:13, 21 December 2018

11th Workshop on Modelling in Software Engineering (MiSE’2019)
hosted by ICSE 2019
Montreal, Canada, May 26-27, 2019


Contents

Theme and Goals

Models are an important tool in conquering the increasing complexity of modern software systems. Key industries (e.g., automotive and avionics) are strategically directing their development environments towards more extensive use of modeling techniques.

This 2-day workshop aims to understand, through critical analysis, the current and future uses of models in the engineering of software-intensive systems. By fostering exchange of ideas between the MDE and software engineering communities, the MiSE-workshop series has continuously served as an effective forum for discussing modeling techniques from both software and systems engineering perspectives. We also hope to analyze successful applications of modeling techniques in relevant areas such as Cyber-Physical Systems, Internet of Things, Big and Smart Data, learning machines, and determine how the participants experience can be carried over to other domains. During the workshop, we plan to discuss various industrial challenges and teaching best practices related to modeling.

Workshop activities 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, collaborative development through the use of appropriate model composition, transformation and other model manipulation operators, (3) automated analysis of possibly large, possibly incomplete models to determine the presence or absence of desired and undesired properties, and (4) using models to assess risks, enable decision-making in organisations, or to support prognostics of business key performance indicators (KPIs).

The expected program is a mix of research presentations, tool demonstrations, best practices on teaching modeling techniques, and industrial challenges

Topics

Topics of interest include:

  • Modeling notations and tools
  • Metamodeling
  • Abstractions and modeling methodologies
  • Model-based analysis and synthesis (e.g., generating test cases, configurations)
  • Model transformation and composition
  • Model evaluation
  • Model management
  • Extracting models from software artifacts (e.g., system or program understanding)
  • Models for learning machines
  • Models of big and smart data
  • Collaborative modeling (e.g. offline vs online, access control restrictions)
  • Modeling cyber-physical systems
  • Models at runtime (e.g., for software adaptation)
  • Models for what-if? analysis and prognostics of KPIs
  • Empirical studies
  • Domain-specific (modeling) languages
  • Variability management using models
  • Model reuse
  • Further uses of modeling

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. All attendees will also have an opportunity to discuss topics emerging from the collective presentations.

Submission

Although the workshop is open to all, prospective participants are invited to submit

  • a full research paper (7 pages, including references),
  • a short paper (4 pages, including references), or
  • a talk proposal on tool demonstration, best practices on teaching modeling techniques, or industrial challenges (1-2 pages, including references)

Workshop papers must follow the ICSE 2019 Format and Submission Guideline. Accepted full research papers and short papers will become part of the workshop proceedings, to be made available in the IEEE Digital Library. Talk proposals will not become part of the proceedings.

All submissions will be reviewed by members of the program committee and the organizing committee for quality and relevance. In addition, full research papers and short papers will be reviewed for novelty.

Please submit your papers via our EasyChair submission site by the MiSE'19 deadline of 1 February 2019 (AoE). Submissions do not need to be double-blinded.

Important Dates

  • Paper submissions due: February 1, 2019
  • Notification to authors: March 1, 2019
  • Camera-ready copies due: March 15, 2019
  • Workshop date: May 26-27, 2019

Organizing Committee (for 2019)

  • Marsha Chechik, University of Toronto (Canada) Web
  • Daniel Strüber, Chalmers University | University of Gothenburg (Sweden) Web
  • Dániel Várro, McGill University (Canada) / MTA-BME Lendület Cyber-Physical Systems Research Group (Hungary) / Budapest University of Technology and Economics (Hungary) Web

Program Committee (tentative)

  • Daniel Amyot, University of Ottawa (Canada)
  • Anthony Anjorin, University of Paderborn (Germany)
  • Joanne M. Atlee, University of Waterloo (Canada)
  • Alessandra Bagnato, Softeam (France)
  • Thorsten Berger, Chalmers University | University of Gothenburg (Sweden)
  • Robert Baillargeon, Sodius (USA)
  • Francis Bordeleau, CMind Inc. (Canada)
  • Davide Di Ruscio, University of L’Aquila (Italy)
  • Juergen Dingel, Queen's University (Canada)
  • Jeff Gray, University of Alabama (USA)
  • Sebastian Herzig, NASA JPL (USA)
  • Ákos Horváth, IncQuery Labs (Hungary)
  • Dimitris Kolovos, University of York (UK)
  • Sahar Kokaly, McMaster University (Canada)
  • Richard Paige, University of York (UK) / McMaster University (Canada)
  • Bernhard Rumpe, RWTH Aachen University (Germany)
  • Rick Salay, University of Toronto (Canada)
  • Manuel Wimmer, TU Vienna (Austria)
  • Andreas Wortmann, RWTH Aachen (Germany)
  • Tian Zhang, Nanjing University (China)
  • Steffen Zschaler, King’s College London (UK)

Further MiSE Information