MISE 19 - Montreal, Canada

From MiSE

(Difference between revisions)
Jump to: navigation, search
m (Workshop format)
(Call for Short Talks)
(28 intermediate revisions not shown)
Line 2: Line 2:
<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://2019.icse-conferences.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>
 +
 +
== Call for Short Talks ==
 +
 +
We are proud to announce that MiSE 2019 is expected to be the only 2-day workshop at ICSE 2019 (see accepted papers and posters below).
 +
 +
In order to make the workshop even more lively and interactive, we would like to announce a call for short talk proposals to share your experience or latest development on (1) tool demonstrations, (2) industrial challenges and (3) teaching best practices.
 +
 +
You can submit a 1-2 page short paper by March 22nd, Friday (submission instructions below) explaining why your proposed topic is important for MiSE (“relevance”) and how it is expected to generate interesting discussions (“thrilling / cool”). While these papers will not be published in the proceedings, we plan to dedicate at least one session for such talks during the workshop. You will be notified by March 28th if your talk proposal can be included in the workshop program.
 +
 +
We hope that these short talks will provide you a great opportunity to get more involved if you are planning to attend MiSE.
== Theme and Goals ==
== Theme and Goals ==
Line 46: Line 56:
* a full research paper (7 pages, including references),
* a full research paper (7 pages, including references),
* a short paper (4 pages, including references), or
* 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)
+
* a short-talk proposal on tool demonstration, best practices on teaching modeling techniques, or industrial challenges (1-2 pages, including references)
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.  
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.  
Line 52: Line 62:
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.
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 site (TBA) <!-- [https://easychair.org/conferences/?conf=mise2018 Easychair] --> by the '''MiSE'19 deadline of 1 February 2019 (AoE)'''. Submissions do not need to be double-blinded.<!--
+
Please submit your abstract and paper or proposal via our [https://easychair.org/conferences/?conf=mise2019 EasyChair submission site]. Abstracts are due by '''6 February 2019 (AoE)'''. Papers are due by the updated deadline of '''8 February 2019 (AoE)'''. Short-talk proposals are due by '''22 March 2019 (AoE)'''.  Submissions do not need to be double-blinded.
-
== Program ==
+
-
=== Sunday 27 May ===
+
-
0900-1030 '''Keynote - Mehrdad Sabetzadeh''': "Integrating Artificial Intelligence into Model-based Development"
+
== Accepted papers ==
-
1030-1100 Coffee
+
Session 1: ''Requirements''
 +
* Boyue Caroline Hu, Alicia M. Grubb: ''Support for User Generated Evolutions of Goal Models''
 +
* Munima Jahan, Zahra Shakeri Hossein Abad, Behrouz Far: ''Detecting Emergent Behaviors and Implied Scenarios in Scenario-Based Specifications: A Machine Learning Approach''
 +
* Rijul Saini, Shivani Bali, Gunter Mussbacher: ''Towards Web Collaborative Modelling for the User Requirements Notation Using Eclipse Che and Theia IDE''
-
1100-1230 '''Session: UML and Applications'''
+
Session 2: ''Foundations''
 +
* Loli Burgueño, Robert Clarisó, Jordi Cabot, Sébastien Gerard, Antonio Vallecillo: ''Belief Uncertainty in Software Models''
 +
* Thiago Gottardi, Rosana Braga: ''Evaluating the Ability of Developers to Use Metamodels in Model-Oriented Development''
 +
* Hyacinth Ali, Gunter Mussbacher, Jörg Kienzle: ''Generic Navigation of Model-Based Development Artefacts'' (short paper)
-
Manar Mazkatli, Erik Burger, Anne Koziolek and Jochen Quante, ''Integrating semantically-related Legacy Models in Vitruvius''
+
Session 3: ''Analysis and Testing''
-
Guillaume Dupont, Sadaf Mustafiz, Ferhat Khendek and Maria Toeroe, ''Building Domain-Specific Modelling Environments with Papyrus: An Experience Report''
+
* Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki: ''A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models''
 +
* Mitchell Kember, Lynn Tran, George Gao, Nancy Day: ''Extracting Counterexamples from Transitive-Closure-based Model Checking''
 +
* George Yee: ''Modeling and Reducing the Attack Surface in Software Systems''
-
Michele Guerriero, Alessandro Nesta and Elisabetta Di Nitto, ''StreamGen: A UML-Based Tool For Developing Streaming Applications''
+
Session 4: ''Reuse''
-
1230-1400 Lunch
+
* Daniel Devine, Omar Alam: ''Feature Model for Extensions in Modeling Languages''
 +
* Matthias Schöttle, Jörg Kienzle: ''On the Difficulties of Raising the Level of Abstraction and Facilitating Reuse in Modelling: The Case for Signature Extension''
 +
* Önder Babur, Matthew Stephan: ''MoCoP: Towards a Model Clone Portal'' (short paper)
-
1400-1530 '''Session: Synthesis and Extraction'''
+
Session 5: ''Application Domains''
-
Lucio Mauro Duarte, Paulo Henrique Maia and Ana Carolina Sanchotene Silva, ''Extraction of Probabilistic Behaviour Models based on Contexts''
+
* Stefan Winzinger, Gudio Wirtz: ''Model-based Analysis of Serverless Applications''
 +
* Dimitris Kolovos, Fady Medhat, Richard Paige, Davide Di Ruscio, Tijs van der Storm, Sebastian Scholze, Athanasios Zolotas: ''Domain-specific Languages for the Design, Deployment and Manipulation of Heterogeneous Databases''
 +
* Karim Jahed, Juergen Dingel: ''Enabling Model-Driven Software Development Tools for the Internet of Things''
-
Damiano Torre, Yvan Labiche, Marcela Genero, Maria Teresa Baldassarre and Maged Elaasar, ''UML diagram synthesis techniques: a systematic mapping study''
+
== Posters ==
 +
* Sanaa Alwidian, Daniel Amyot: ''On the Characterization of Model Families and Union Models''
 +
* Arthur Strasser, Christoph Knieke, Andreas Rausch: ''Model Driven Generation of an Overall Scheduling in Cooperative Component Based Development''
-
1530-1600 Coffee
+
Posters are accompanied by an abstract, see [[MISE_19_-_Montreal,_Canada/Posters|here]]
-
1600-1700 '''Discussion and follow-up'''
 
-
 
-
=== Monday 28 May ===
 
-
 
-
0900-1030 '''Keynote: Jan Soderberg'''
 
-
 
-
1030-1100 Coffee
 
-
 
-
1100-1230 '''Session: Requirements'''
 
-
 
-
Sahil Luthra, Aprajita Aprajita and Gunter Mussbacher, ''Visualizing Evolving Requirements Models with TimedURN''
 
-
 
-
Gianna Reggio, ''A UML-based Proposal for IoT System Requirements Specification''
 
-
 
-
Kan Qi and Barry Boehm, ''Detailed Use Case Points (DUCPs) : A Size Metric Automatically Countable from Sequence and Class Diagrams''
 
-
 
-
1230-1400 Lunch
 
-
 
-
1400-1530 '''Session: Evaluation'''
 
-
 
-
Lidiane Damasceno Monteiro, Marcelo Schots and Vera Werneck, ''Metric-Based Evaluation of Multiagent Systems Models''
 
-
 
-
Harald Störrle, ''Improving Model Usability by Layered Diagrams''
 
-
 
-
1530-1600 Coffee
 
-
 
-
1600-1700 '''Discussion and close'''
 
-
-->
 
== Important Dates ==
== Important Dates ==
-
 
+
* Abstract submission due: '''February 6, 2019''' (updated)
-
* Paper submissions due: February 1, 2019
+
* Paper submissions due: <s>February 1, 2019</s> '''February 8, 2019''' (updated)
-
* Notification to authors: March 1, 2019
+
* Notification to authors (papers): March 1, 2019
* Camera-ready copies due: March 15, 2019
* Camera-ready copies due: March 15, 2019
 +
* Talk proposal submission due: March 22, 2019
 +
* Notification to authors (talk proposals): March 28, 2019
 +
* Workshop date: May 26-27, 2019
== Organizing Committee (for 2019) ==
== Organizing Committee (for 2019) ==
Line 118: Line 115:
* 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]
* 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]
-
== Program Committee (tentative) ==
+
== Program Committee ==
* Daniel Amyot, University of Ottawa (Canada)
* Daniel Amyot, University of Ottawa (Canada)
Line 124: Line 121:
* Joanne M. Atlee, University of Waterloo (Canada)
* Joanne M. Atlee, University of Waterloo (Canada)
* Alessandra Bagnato, Softeam (France)
* Alessandra Bagnato, Softeam (France)
-
* Robert Baillargeon, Sodius (East Amherst (USA)
+
* Thorsten Berger, Chalmers University | University of Gothenburg (Sweden)
 +
* Robert Baillargeon, Sodius (USA)
* Francis Bordeleau, CMind Inc. (Canada)
* Francis Bordeleau, CMind Inc. (Canada)
* Davide Di Ruscio, University of L’Aquila (Italy)
* Davide Di Ruscio, University of L’Aquila (Italy)
Line 145: Line 143:
* MISE [[Main Page]]
* MISE [[Main Page]]
* MISE [[Steering Committee|Steering Committee and Previous Editions]]
* MISE [[Steering Committee|Steering Committee and Previous Editions]]
 +
* [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] -->
<!-- * The call for papers is available for download [http://www.cs.york.ac.uk/~paige/MiSE2018-CFP.pdf here] -->

Revision as of 18:57, 15 March 2019

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


Contents

Call for Short Talks

We are proud to announce that MiSE 2019 is expected to be the only 2-day workshop at ICSE 2019 (see accepted papers and posters below).

In order to make the workshop even more lively and interactive, we would like to announce a call for short talk proposals to share your experience or latest development on (1) tool demonstrations, (2) industrial challenges and (3) teaching best practices.

You can submit a 1-2 page short paper by March 22nd, Friday (submission instructions below) explaining why your proposed topic is important for MiSE (“relevance”) and how it is expected to generate interesting discussions (“thrilling / cool”). While these papers will not be published in the proceedings, we plan to dedicate at least one session for such talks during the workshop. You will be notified by March 28th if your talk proposal can be included in the workshop program.

We hope that these short talks will provide you a great opportunity to get more involved if you are planning to attend MiSE.

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 short-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 abstract and paper or proposal via our EasyChair submission site. Abstracts are due by 6 February 2019 (AoE). Papers are due by the updated deadline of 8 February 2019 (AoE). Short-talk proposals are due by 22 March 2019 (AoE). Submissions do not need to be double-blinded.

Accepted papers

Session 1: Requirements

  • Boyue Caroline Hu, Alicia M. Grubb: Support for User Generated Evolutions of Goal Models
  • Munima Jahan, Zahra Shakeri Hossein Abad, Behrouz Far: Detecting Emergent Behaviors and Implied Scenarios in Scenario-Based Specifications: A Machine Learning Approach
  • Rijul Saini, Shivani Bali, Gunter Mussbacher: Towards Web Collaborative Modelling for the User Requirements Notation Using Eclipse Che and Theia IDE

Session 2: Foundations

  • Loli Burgueño, Robert Clarisó, Jordi Cabot, Sébastien Gerard, Antonio Vallecillo: Belief Uncertainty in Software Models
  • Thiago Gottardi, Rosana Braga: Evaluating the Ability of Developers to Use Metamodels in Model-Oriented Development
  • Hyacinth Ali, Gunter Mussbacher, Jörg Kienzle: Generic Navigation of Model-Based Development Artefacts (short paper)

Session 3: Analysis and Testing

  • Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki: A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models
  • Mitchell Kember, Lynn Tran, George Gao, Nancy Day: Extracting Counterexamples from Transitive-Closure-based Model Checking
  • George Yee: Modeling and Reducing the Attack Surface in Software Systems

Session 4: Reuse

  • Daniel Devine, Omar Alam: Feature Model for Extensions in Modeling Languages
  • Matthias Schöttle, Jörg Kienzle: On the Difficulties of Raising the Level of Abstraction and Facilitating Reuse in Modelling: The Case for Signature Extension
  • Önder Babur, Matthew Stephan: MoCoP: Towards a Model Clone Portal (short paper)

Session 5: Application Domains

  • Stefan Winzinger, Gudio Wirtz: Model-based Analysis of Serverless Applications
  • Dimitris Kolovos, Fady Medhat, Richard Paige, Davide Di Ruscio, Tijs van der Storm, Sebastian Scholze, Athanasios Zolotas: Domain-specific Languages for the Design, Deployment and Manipulation of Heterogeneous Databases
  • Karim Jahed, Juergen Dingel: Enabling Model-Driven Software Development Tools for the Internet of Things

Posters

  • Sanaa Alwidian, Daniel Amyot: On the Characterization of Model Families and Union Models
  • Arthur Strasser, Christoph Knieke, Andreas Rausch: Model Driven Generation of an Overall Scheduling in Cooperative Component Based Development

Posters are accompanied by an abstract, see here

Important Dates

  • Abstract submission due: February 6, 2019 (updated)
  • Paper submissions due: February 1, 2019 February 8, 2019 (updated)
  • Notification to authors (papers): March 1, 2019
  • Camera-ready copies due: March 15, 2019
  • Talk proposal submission due: March 22, 2019
  • Notification to authors (talk proposals): March 28, 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

  • 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