MISE 17 - Buenos Aires, Argentina

From MiSE

(Difference between revisions)
Jump to: navigation, search
(Program Committee)
(Sunday 21 May 2017)
(48 intermediate revisions not shown)
Line 35: Line 35:
* Further uses of modeling
* Further uses of modeling
-
== Submission guidelines ==
+
== Program ==
-
Although the workshop is open to all, prospective participants are invited to submit a <b>5-7 page position or technical paper</b>. Workshop papers must follow the ICSE 2017 Format and Submission Guideline. All submissions will be reviewed by members of the program committee and the organizing committee for quality and relevance. Accepted papers will become part of the workshop proceedings. EasyChair will be used to manage the submission review process. Paper can be submitted via Easy Chair using the following link:
+
=== Sunday 21 May 2017 ===
-
* https://easychair.org/conferences/?conf=mise17
+
09:00 - 09:05 '''Welcome from the organizers'''
-
== Important dates ==
+
09:05 - 10:30 '''Keynote 1: ''Empirical Studies into UML in Practice: Pitfalls and Prospects''''', '''[https://www.chalmers.se/en/staff/Pages/michel-chaudron.aspx Michel Chaudron]''' [[http://www.di.univaq.it/diruscio/sites/mise2017/Michel-Chaudron-MISE17-Invited.pdf abstract]]  [[http://www.di.univaq.it/diruscio/sites/mise2017/mise2017-Chaudron-Keynote.pdf slides]]
 +
                       
 +
''10:30 - 11:00 Coffee Break''
 +
 +
11:00 - 11:20 '''Introduction of Attendees and Planning'''
-
* Workshop paper submissions due: January 20th, 2017
+
 
-
* Notification to authors: February 17th, 2017
+
'''Session: Requirement and Risk Modeling''' ''(Session chair: Jocelyn Simmonds)''
-
* Camera-ready copies due: February 27th, 2017
+
 
 +
11:20 - 11:40 George Yee. ''Model for Reducing Risks to Private or Sensitive Data'' [[http://www.di.univaq.it/diruscio/sites/mise2017/mise2017_Yee.pdf slides]]
 +
 
 +
11:40 - 12:00  Aprajita Aprajita, Sahil Luthra, Gunter Mussbacher. ''Specifying Evolving Requirements Models with TimedURN'' [[http://www.di.univaq.it/diruscio/sites/mise2017/mise2017_TimedURN.pdf slides]]
 +
 +
12:00 - 12:30 Discussion
 +
 +
''12:30 - 14:00 Lunch''
 +
 +
 
 +
'''Session: Modeling Environments and Applications''' ''(Session chair: Shahar Maoz)''
 +
 
 +
14:00 - 14:20 Carlo Bernaschina, Sara Comai, Piero Fraternali. ''Online Model Editing, Simulation and Code Generation for Web and Mobile Applications'' [[http://www.di.univaq.it/diruscio/sites/mise2017/mise2017_ifml.pdf slides]]
 +
 
 +
14:20 - 14:40 Keisuke Watanabe, Naoyasu Ubayashi, Takuya Fukamachi, Shunya Nakamura, Hokuto Muraoka, Yasutaka Kamei. ''iArch-U: Interface-Centric Integrated Uncertainty-aware Development Environment'' [[http://www.di.univaq.it/diruscio/sites/mise2017/mise2017_iArch-U.pptx slides]]
 +
 
 +
14:40 - 15:00 Emanuel Ferreira Coutinho, Davi Viana, Rodrigo Santos. ''An Exploratory Study on the Need for Modeling Software Ecosystems: The Case of SOLAR SECO'' [[http://www.di.univaq.it/diruscio/sites/mise2017/mise2017_SOLAR-SECO.pdf slides]]
 +
 
 +
15:00 - 15:30 Discussion
 +
 
 +
 +
''15:30 - 16:00 Coffee Break ''
 +
 +
 +
'''Session: Tool Demos and Preparation for Day 2''' ''(Session chair: Sahar Kokaly)''
 +
 
 +
16:00 - 16:20 Carlo Bernaschina, Sara Comai, Piero Fraternali. ''IFMLEdit.org: a Web Tool for Model Based Rapid Prototyping of Web and Mobile Applications'' [[http://www.di.univaq.it/diruscio/sites/mise2017/tooldemos/IFMLEdit.pdf pdf]] [[https://youtu.be/y_hDVeUbi7g video]][[http://www.ifmledit.org/ link]]
 +
 
 +
16:20 - 16:40 Rodi Jolak, Boban Vesin, Michel R.V. Chaudron. ''OctoUML: An Environment for Exploratory and Collaborative Software Design'' [[http://www.di.univaq.it/diruscio/sites/mise2017/tooldemos/OctoUML.pdf pdf]]  [[https://youtu.be/fsN3rfEAYHw demo]] [[https://github.com/Imarcus/OctoUML link]]
 +
 
 +
16:40 - 17:00 Tony Clark, Vinay Kulkarni, Souvik Barat, Balbir Barn. ''ESL: An Actor-Based Platform for Developing Emergent Behaviour Organisation Simulations'' [[http://www.di.univaq.it/diruscio/sites/mise2017/tooldemos/ESL.pdf pdf]] [[https://github.com/TonyClark/ESL link]]
 +
 
 +
17:00 - 17:20  Nicolas Hili, Juergen Dingel. ''MDE for real-time embedded systems with Papyrus-RT'' [[http://www.di.univaq.it/diruscio/sites/mise2017/tooldemos/Papyrus-RT.pdf pdf]] [[https://eclipse.org/papyrus-rt/ link]]
 +
 
 +
17:20 - 17:30 Discussion
 +
 
 +
 
 +
----
 +
 
 +
=== Monday 22 May 2017 ===
 +
 
 +
09:00 - 10:30 '''Keynote 2: ''Models for the Automated Integration of Service-oriented Software Systems''''', '''[http://www.di.univaq.it/inverard/ Paola Inverardi]''' [[http://www.di.univaq.it/diruscio/sites/mise2017/Paola-Inverardi-MISE17-Invited.pdf abstract]]
 +
 
 +
 
 +
 +
''10:30 - 11:00 Coffee Break ''
 +
 +
 
 +
'''Session: Model Manipulations (Transformations, Matching, Testing)''' ''(Session chair: Shiva Nejati)''
 +
 
 +
11:00 - 11:20 Mathieu Boucher, Gunter Mussbacher. ''Transforming Workflow Models into Automated End-to-End Acceptance Test Cases''
 +
[[http://www.di.univaq.it/diruscio/sites/mise2017/mise2017-UCMtoJUnit.pdf slides]]
 +
 
 +
11:20 - 11:40 Dimitris Kolovos, Richard Paige. ''The Epsilon Pattern Language'' [[https://www.slideshare.net/dskolovos/the-epsilon-pattern-language slides]]
 +
 
 +
11:40 - 12:00  Parisa Ghazi, Martin Glinz. ''ImitGraphs: Towards Faster Usability Tests of Graphical Model Manipulation Techniques'' [[http://www.di.univaq.it/diruscio/sites/mise2017/mise2017-ImitGraphs-PrisaGhazi.pdf slides]]
 +
 
 +
12:00 - 12:30  Discussion
 +
 
 +
 +
''12:30 - 14:00 Lunch''
 +
 +
 
 +
'''Session: Modeling Real-Time and Self-Adaptive Systems'''  ''(Session chair: Dimitris Kolovos)''
 +
 
 +
14:00 - 14:20 Huihui Zhang, Tao Yue, Shaukat Ali, Ji Wu, Chao Liu. ''A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems'' [[http://www.di.univaq.it/diruscio/sites/mise2017/mise2017-Tao.pdf slides]]
 +
 
 +
14:20 - 14:40 Nafiseh Kahani, Nicolas Hili, James R.Cordy, Juergen Dingel. ''Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems'' [[http://www.di.univaq.it/diruscio/sites/mise2017/mise2017-hili-nicolas.pdf slides]]
 +
 
 +
14:40 - 15:00 Discussion
 +
 
 +
15:00 - 15:30 Discussion about MiSE chaired by Davide and Marsha
 +
 
 +
 +
''15:30 - 16:00 Coffee Break''
 +
 
 +
 +
'''Session: Tool Demos and Closing''' ''(Session chair: Juergen Dingel)''
 +
 
 +
16:00 - 16:20 Jocelyn Simmonds, Daniel Perovich. ''CASPLE: Computer-Assisted Software Process Line Engineering'' [[http://www.di.univaq.it/diruscio/sites/mise2017/tooldemos/CASPLE.pdf pdf]] [[http://casple.dcc.uchile.cl/ link]]
 +
 
 +
16:20 - 16:40 Alessio Di Sandro, Nick Fung, Ioanna Stavropoulou, Sahar Kokaly, Rick Salay, Marsha Chechik. ''Heterogeneous Megamodel Management using MMINT'' [[http://www.di.univaq.it/diruscio/sites/mise2017/tooldemos/MMINT.pdf pdf]] [[https://github.com/adisandro/MMINT link]]
 +
 
 +
16:40 - 17:00 Aprajita, Sahil Luthra, Gunter Mussbacher. ''Evaluating Evolving Requirements Models  with jUCMNav'' [[http://www.di.univaq.it/diruscio/sites/mise2017/tooldemos/jUCMNavTool.pdf pdf]] [[http://softwareengineering.ca/jucmnav/ link]]
 +
 
 +
17:00 - 17:20 Deepali Kholkar, Sagar Sunkle, Suman Roychoudhury and Vinay Kulkarni. ''A Model-driven Regulatory Compliance Framework''
 +
 
 +
17:20 - 17:30 Discussion
== Organizing Committee (for 2017) ==
== Organizing Committee (for 2017) ==
Line 56: Line 147:
* Alessandra Bagnato, Softeam, France
* Alessandra Bagnato, Softeam, France
 +
* Antonio Cicchetti, Mälardalen University, Sweden
* Benoit Combemale, University of Rennes, France
* Benoit Combemale, University of Rennes, France
* Fabiano Dalpiaz, Utrecht University, Netherlands
* Fabiano Dalpiaz, Utrecht University, Netherlands
Line 62: Line 154:
* Michalis Famelis, University of Montreal, Canada
* Michalis Famelis, University of Montreal, Canada
* Dimitris Kolovos, University of York, UK
* Dimitris Kolovos, University of York, UK
 +
* Vinay Kulkarni, Tata Consultancy Services Research, India
* Gunter Mussbacher, McGill University
* Gunter Mussbacher, McGill University
* Alfonso Pierantonio, University of L'Aquila, Italy
* Alfonso Pierantonio, University of L'Aquila, Italy
Line 68: Line 161:
* Jocelyn Simmonds, University of Chile, Chile
* Jocelyn Simmonds, University of Chile, Chile
* Yu Sun, Cal Poly Pomona, USA
* Yu Sun, Cal Poly Pomona, USA
 +
* Daniel Varro, Budapest University of Technology and Economics, Hungary
* Andreas Wortmann, RWTH Aachen University, Germany
* Andreas Wortmann, RWTH Aachen University, Germany
* Steffen Zschaler, King's College London, UK
* Steffen Zschaler, King's College London, UK

Revision as of 17:59, 28 July 2017

9th Workshop on Modelling in Software Engineering (MiSE’2017)
hosted by ICSE 2017
Buenos Aires, Argentina, 21-22 May 2017


Contents

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

Sunday 21 May 2017

09:00 - 09:05 Welcome from the organizers

09:05 - 10:30 Keynote 1: Empirical Studies into UML in Practice: Pitfalls and Prospects, Michel Chaudron [abstract] [slides]

10:30 - 11:00 Coffee Break

11:00 - 11:20 Introduction of Attendees and Planning


Session: Requirement and Risk Modeling (Session chair: Jocelyn Simmonds)

11:20 - 11:40 George Yee. Model for Reducing Risks to Private or Sensitive Data [slides]

11:40 - 12:00 Aprajita Aprajita, Sahil Luthra, Gunter Mussbacher. Specifying Evolving Requirements Models with TimedURN [slides]

12:00 - 12:30 Discussion

12:30 - 14:00 Lunch


Session: Modeling Environments and Applications (Session chair: Shahar Maoz)

14:00 - 14:20 Carlo Bernaschina, Sara Comai, Piero Fraternali. Online Model Editing, Simulation and Code Generation for Web and Mobile Applications [slides]

14:20 - 14:40 Keisuke Watanabe, Naoyasu Ubayashi, Takuya Fukamachi, Shunya Nakamura, Hokuto Muraoka, Yasutaka Kamei. iArch-U: Interface-Centric Integrated Uncertainty-aware Development Environment [slides]

14:40 - 15:00 Emanuel Ferreira Coutinho, Davi Viana, Rodrigo Santos. An Exploratory Study on the Need for Modeling Software Ecosystems: The Case of SOLAR SECO [slides]

15:00 - 15:30 Discussion


15:30 - 16:00 Coffee Break


Session: Tool Demos and Preparation for Day 2 (Session chair: Sahar Kokaly)

16:00 - 16:20 Carlo Bernaschina, Sara Comai, Piero Fraternali. IFMLEdit.org: a Web Tool for Model Based Rapid Prototyping of Web and Mobile Applications [pdf] [video][link]

16:20 - 16:40 Rodi Jolak, Boban Vesin, Michel R.V. Chaudron. OctoUML: An Environment for Exploratory and Collaborative Software Design [pdf] [demo] [link]

16:40 - 17:00 Tony Clark, Vinay Kulkarni, Souvik Barat, Balbir Barn. ESL: An Actor-Based Platform for Developing Emergent Behaviour Organisation Simulations [pdf] [link]

17:00 - 17:20 Nicolas Hili, Juergen Dingel. MDE for real-time embedded systems with Papyrus-RT [pdf] [link]

17:20 - 17:30 Discussion



Monday 22 May 2017

09:00 - 10:30 Keynote 2: Models for the Automated Integration of Service-oriented Software Systems, Paola Inverardi [abstract]


10:30 - 11:00 Coffee Break


Session: Model Manipulations (Transformations, Matching, Testing) (Session chair: Shiva Nejati)

11:00 - 11:20 Mathieu Boucher, Gunter Mussbacher. Transforming Workflow Models into Automated End-to-End Acceptance Test Cases [slides]

11:20 - 11:40 Dimitris Kolovos, Richard Paige. The Epsilon Pattern Language [slides]

11:40 - 12:00 Parisa Ghazi, Martin Glinz. ImitGraphs: Towards Faster Usability Tests of Graphical Model Manipulation Techniques [slides]

12:00 - 12:30 Discussion


12:30 - 14:00 Lunch


Session: Modeling Real-Time and Self-Adaptive Systems (Session chair: Dimitris Kolovos)

14:00 - 14:20 Huihui Zhang, Tao Yue, Shaukat Ali, Ji Wu, Chao Liu. A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems [slides]

14:20 - 14:40 Nafiseh Kahani, Nicolas Hili, James R.Cordy, Juergen Dingel. Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems [slides]

14:40 - 15:00 Discussion

15:00 - 15:30 Discussion about MiSE chaired by Davide and Marsha


15:30 - 16:00 Coffee Break


Session: Tool Demos and Closing (Session chair: Juergen Dingel)

16:00 - 16:20 Jocelyn Simmonds, Daniel Perovich. CASPLE: Computer-Assisted Software Process Line Engineering [pdf] [link]

16:20 - 16:40 Alessio Di Sandro, Nick Fung, Ioanna Stavropoulou, Sahar Kokaly, Rick Salay, Marsha Chechik. Heterogeneous Megamodel Management using MMINT [pdf] [link]

16:40 - 17:00 Aprajita, Sahil Luthra, Gunter Mussbacher. Evaluating Evolving Requirements Models with jUCMNav [pdf] [link]

17:00 - 17:20 Deepali Kholkar, Sagar Sunkle, Suman Roychoudhury and Vinay Kulkarni. A Model-driven Regulatory Compliance Framework

17:20 - 17:30 Discussion

Organizing Committee (for 2017)

  • Marsha Chechik, University of Toronto (Canada)
  • Davide Di Ruscio (primary contact), DISIM - University of L’Aquila, Italy
  • Bernhard Rumpe, RWTH Aachen University, Germany

Program Committee

  • Alessandra Bagnato, Softeam, France
  • Antonio Cicchetti, Mälardalen University, Sweden
  • Benoit Combemale, University of Rennes, France
  • Fabiano Dalpiaz, Utrecht University, Netherlands
  • Juergen Dingel, Queen's University, Canada
  • Geri Georg, Colorado State University, USA
  • Michalis Famelis, University of Montreal, Canada
  • Dimitris Kolovos, University of York, UK
  • Vinay Kulkarni, Tata Consultancy Services Research, India
  • Gunter Mussbacher, McGill University
  • Alfonso Pierantonio, University of L'Aquila, Italy
  • Claudia Pons, National University of La Plata, Argentina
  • Rick Salay, University of Toronto, Canada
  • Jocelyn Simmonds, University of Chile, Chile
  • Yu Sun, Cal Poly Pomona, USA
  • Daniel Varro, Budapest University of Technology and Economics, Hungary
  • Andreas Wortmann, RWTH Aachen University, Germany
  • Steffen Zschaler, King's College London, UK

Further MiSE Information