MISE 19 - Montreal, Canada

From MiSE

(Difference between revisions)
Jump to: navigation, search
(Program Committee (tentative))
(Sunday, May 26)
(44 intermediate revisions not shown)
Line 3: Line 3:
<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 26-27, 2019  </div>
<div align="center" style="font-size: 200%;">Montreal, Canada, May 26-27, 2019  </div>
 +
Line 14: Line 15:
The expected program is a mix of research presentations, tool demonstrations, best practices on teaching modeling techniques, and industrial challenges
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:
Topics of interest include:
* Modeling notations and tools
* Modeling notations and tools
Line 46: Line 45:
* 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 51:
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 [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.<!--
+
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"
+
== Program  ==
 +
<div id="Accepted_papers"> </div>
 +
=== Sunday, May 26 ===
-
1030-1100 Coffee
+
'''9:00 - 10:30. Opening Day 1 / Academic Keynote'''
 +
* [[#keynote_pasqale|Liliana Pasquale: ''Incidents are meant for learning, not repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems'']]
-
1100-1230 '''Session: UML and Applications'''
+
'''11:00 - 12:30. Paper Session 1: 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''
 +
* Önder Babur, Matthew Stephan: ''MoCoP: Towards a Model Clone Portal'' (short paper)
-
Manar Mazkatli, Erik Burger, Anne Koziolek and Jochen Quante, ''Integrating semantically-related Legacy Models in Vitruvius''
+
'''14:00 - 15:30. Paper Session 2: Requirements and Empirical Studies'''
 +
* 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''
 +
* Thiago Gottardi, Rosana Braga: ''Evaluating the Ability of Developers to Use Metamodels in Model-Oriented Development''
 +
* Rijul Saini, Shivani Bali, Gunter Mussbacher: ''Towards Web Collaborative Modelling for the User Requirements Notation Using Eclipse Che and Theia IDE''
-
Guillaume Dupont, Sadaf Mustafiz, Ferhat Khendek and Maria Toeroe, ''Building Domain-Specific Modelling Environments with Papyrus: An Experience Report''
+
'''16:00 - 17:30. Tool Market / Lightning Talks 1'''
-
Michele Guerriero, Alessandro Nesta and Elisabetta Di Nitto, ''StreamGen: A UML-Based Tool For Developing Streaming Applications''
+
'''TBA: MiSE 2019 Workshop Dinner'''
-
1230-1400 Lunch
+
=== Monday, May 27 ===
-
1400-1530 '''Session: Synthesis and Extraction'''
+
'''9:00 - 10:30. Opening Day 2 / Industrial Keynote'''
 +
* [[#keynote_czarnecki|Krzysztof Czarnecki: ''Modeling Road User Behavior for Automated Driving'']]
-
Lucio Mauro Duarte, Paulo Henrique Maia and Ana Carolina Sanchotene Silva, ''Extraction of Probabilistic Behaviour Models based on Contexts''
+
'''11:00 - 12:30. Paper Session 3: Foundations'''
 +
* Loli Burgueño, Robert Clarisó, Jordi Cabot, Sébastien Gerard, Antonio Vallecillo: ''Belief Uncertainty in Software Models''
 +
* 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''
 +
* Hyacinth Ali, Gunter Mussbacher, Jörg Kienzle: ''Generic Navigation of Model-Based Development Artefacts'' (short paper)
-
Damiano Torre, Yvan Labiche, Marcela Genero, Maria Teresa Baldassarre and Maged Elaasar, ''UML diagram synthesis techniques: a systematic mapping study''
+
'''14:00 - 15:30. Paper  Session 4: 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''
-
1530-1600 Coffee
+
'''16:00 - 17:30. Tool Market / Lightning Talks 2 / Discussion / Closing'''
-
1600-1700 '''Discussion and follow-up'''
+
== Keynotes ==
-
=== Monday 28 May ===
+
We're excited to announce two world class keynote speakers: On Sunday, May 26, [http://lili-pasquale.lero.ie/ Liliana Pasquale] from University College Dublin and Lero - the Irish Software Research Centre will give an academic keynote on security incidents in cyber-physical sytems. On Monday, Mary 27, [https://uwaterloo.ca/electrical-computer-engineering/profile/k2czarne Krzysztof Czarnecki] will give an industrial keynote on the modeling of road user behavior for automated driving.
-
0900-1030 '''Keynote: Jan Soderberg'''
+
<div id="keynote_pasqale"></div>
 +
=== Keynote by Liliana Pasquale ===
-
1030-1100 Coffee
+
'''''Incidents are meant for learning, not repeating'': Sharing Knowledge About Security Incidents in Cyber-Physical Systems'''
-
1100-1230 '''Session: Requirements'''
+
Cyber-physical systems (CPSs) are part of most critical infrastructures such as industrial automation and transportation systems. Thus, security incidents targeting CPSs can have disruptive consequences to assets and people.
 +
As prior incidents tend to re-occur, sharing knowledge about these incidents can help organizations being more prepared to prevent, mitigate or investigate future incidents. In this talk I will present a novel approach to enable representation and sharing of knowledge about security incidents in cyber-physical systems. To capture characteristics of security incidents that can manifest again, such as incident activities or vulnerabilities exploited by offenders, incident patterns are modelled  Incident patterns are a more abstract representation of specific incident instances and, thus, are general enough to be instantiated to various cyber-physical systems - different than the one in which the incident occurred. They can also avoid disclosing potentially sensitive information about an organization’s assets and resources.
 +
In my talk I will also present two  automated techniques to support sharing of incident knowledge. The first technique extracts incident patterns from specific incident instances. While the second one instantiates incident patterns to specific cyber-physical systems in order to assess whether and how incident patterns can manifest again in other cyber-physical systems. I will showcase the approach in the application domain of smart buildings and I will evaluate  correctness, scalability, and performance using  a more compelling example  inspired by real-world systems
 +
and incidents. Finally I will have a lookahead towards future applications of the approach in security, digital forensics and incidents reporting.
-
Sahil Luthra, Aprajita Aprajita and Gunter Mussbacher, ''Visualizing Evolving Requirements Models with TimedURN''
+
<div id="keynote_czarnecki"></div>
-
Gianna Reggio, ''A UML-based Proposal for IoT System Requirements Specification''
+
=== Keynote by Krzysztof Czarnecki ===
-
Kan Qi and Barry Boehm, ''Detailed Use Case Points (DUCPs) : A Size Metric Automatically Countable from Sequence and Class Diagrams''
+
'''Modeling Road User Behavior for Automated Driving'''
-
1230-1400 Lunch
+
Abstract to be added.
-
1400-1530 '''Session: Evaluation'''
+
== 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''
-
Lidiane Damasceno Monteiro, Marcelo Schots and Vera Werneck, ''Metric-Based Evaluation of Multiagent Systems Models''
+
Posters are accompanied by an abstract, see [[MISE_19_-_Montreal,_Canada/Posters|here]]
-
Harald Störrle, ''Improving Model Usability by Layered Diagrams''
+
== Call for Short Talks ==
-
1530-1600 Coffee
+
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).
-
1600-1700 '''Discussion and close'''
+
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.
-
-->
+
-
== Important Dates ==
+
-
* Paper submissions due: February 1, 2019
+
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.
-
* Notification to authors: March 1, 2019
+
 
 +
We hope that these short talks will provide you a great opportunity to get more involved if you are planning to attend MiSE.
 +
 
 +
== Important Dates ==
 +
* Abstract submission due: '''February 6, 2019''' (updated)
 +
* Paper submissions due: <s>February 1, 2019</s> '''February 8, 2019''' (updated)
 +
* 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
* Workshop date: May 26-27, 2019
Line 119: Line 147:
* 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)

Revision as of 07:14, 5 April 2019

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 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.

Program

Sunday, May 26

9:00 - 10:30. Opening Day 1 / Academic Keynote

11:00 - 12:30. Paper Session 1: 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
  • Önder Babur, Matthew Stephan: MoCoP: Towards a Model Clone Portal (short paper)

14:00 - 15:30. Paper Session 2: Requirements and Empirical Studies

  • 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
  • Thiago Gottardi, Rosana Braga: Evaluating the Ability of Developers to Use Metamodels in Model-Oriented Development
  • Rijul Saini, Shivani Bali, Gunter Mussbacher: Towards Web Collaborative Modelling for the User Requirements Notation Using Eclipse Che and Theia IDE

16:00 - 17:30. Tool Market / Lightning Talks 1

TBA: MiSE 2019 Workshop Dinner

Monday, May 27

9:00 - 10:30. Opening Day 2 / Industrial Keynote

11:00 - 12:30. Paper Session 3: Foundations

  • Loli Burgueño, Robert Clarisó, Jordi Cabot, Sébastien Gerard, Antonio Vallecillo: Belief Uncertainty in Software Models
  • 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
  • Hyacinth Ali, Gunter Mussbacher, Jörg Kienzle: Generic Navigation of Model-Based Development Artefacts (short paper)

14:00 - 15:30. Paper Session 4: 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

16:00 - 17:30. Tool Market / Lightning Talks 2 / Discussion / Closing

Keynotes

We're excited to announce two world class keynote speakers: On Sunday, May 26, Liliana Pasquale from University College Dublin and Lero - the Irish Software Research Centre will give an academic keynote on security incidents in cyber-physical sytems. On Monday, Mary 27, Krzysztof Czarnecki will give an industrial keynote on the modeling of road user behavior for automated driving.

Keynote by Liliana Pasquale

Incidents are meant for learning, not repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems

Cyber-physical systems (CPSs) are part of most critical infrastructures such as industrial automation and transportation systems. Thus, security incidents targeting CPSs can have disruptive consequences to assets and people. As prior incidents tend to re-occur, sharing knowledge about these incidents can help organizations being more prepared to prevent, mitigate or investigate future incidents. In this talk I will present a novel approach to enable representation and sharing of knowledge about security incidents in cyber-physical systems. To capture characteristics of security incidents that can manifest again, such as incident activities or vulnerabilities exploited by offenders, incident patterns are modelled Incident patterns are a more abstract representation of specific incident instances and, thus, are general enough to be instantiated to various cyber-physical systems - different than the one in which the incident occurred. They can also avoid disclosing potentially sensitive information about an organization’s assets and resources. In my talk I will also present two automated techniques to support sharing of incident knowledge. The first technique extracts incident patterns from specific incident instances. While the second one instantiates incident patterns to specific cyber-physical systems in order to assess whether and how incident patterns can manifest again in other cyber-physical systems. I will showcase the approach in the application domain of smart buildings and I will evaluate correctness, scalability, and performance using a more compelling example inspired by real-world systems and incidents. Finally I will have a lookahead towards future applications of the approach in security, digital forensics and incidents reporting.

Keynote by Krzysztof Czarnecki

Modeling Road User Behavior for Automated Driving

Abstract to be added.

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

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.

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