MISE 17 - Buenos Aires, Argentina

From MiSE

(Difference between revisions)
Jump to: navigation, search
Line 35: Line 35:
* Further uses of modeling
* Further uses of modeling
-
== Submission guidelines ==
+
== Program (to be finalized) ==
-
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:  
+
=== Monday 21 May 2017 ===
 +
 
 +
09:00 - 09:05 Welcome from the organisers
 +
 
 +
09:05 - 10:30 Keynote 1: to be provided
 +
 +
10:30 - 11:00 Coffee Break
 +
 +
11:00 - 11:50 '''Introduction of Attendees and Planning'''
 +
 
 +
"Session: Modeling Real-Time and Self-Adaptive Systems"
 +
 
 +
11:50 - 12:10 A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems
 +
12:10 - 12:30 Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems
 +
 
 +
 +
12:30 - 14:00 Lunch
 +
 +
'''Session: Requirement and Risk Modeling'''
 +
 
 +
14:00 - 14:20 Model for Reducing Risks to Private or Sensitive Data
 +
 
 +
14:20 - 14:40 Specifying Evolving Requirements Models with TimedURN
 +
 
 +
14:40 - 15:30 Discussion
 +
 +
15:30 - 16:00 Coffee Break
 +
 +
16:00 - 17:30 '''Tool Demos and Preparation for Day 2'''
 +
 
 +
 
 +
 
 +
=== Monday 22 May 2017 ===
 +
 
 +
09:00 - 10:30 Keynote 2: to be provided
 +
 +
10:30 - 11:00 Coffee Break
 +
 +
"Session: Modeling Environments and Applications"
 +
 
 +
11:00 - 11:20 Online Model Editing, Simulation and Code Generation for Web and Mobile Applications
 +
11:20 - 11:40 iArch-U: Interface-Centric Integrated Uncertainty-aware Development Environment
 +
11:40 - 12:00 An Exploratory Study on the Need for Modeling Software Ecosystems: The Case of SOLAR SECO
 +
12:00 - 12:30 Discussion
 +
 +
12:30 - 14:00 Lunch
 +
 +
'''Session: Model Manipulations (Transformations, Matching, Testing)'''
 +
 
 +
14:00 - 14:20 Transforming Workflow Models into Automated End-to-End Acceptance Test Cases
 +
 
 +
14:20 - 14:40 The Epsilon Pattern Language
 +
 
 +
14:40 - 15:00  ImitGraphs: Towards Faster Usability Tests of Graphical Model Manipulation Techniques
 +
 
 +
15:00 - 15:30  Discussion
 +
 +
15:30 - 16:00 Coffee Break
 +
 +
16:00 - 17:30 '''Discussion and closing'''
-
* https://easychair.org/conferences/?conf=mise17
 
-
== Important dates ==
 
-
* Workshop paper submissions due:  '''January 27th, 2017 [EXTENDED]'''
 
-
* Notification to authors: February 17th, 2017
 
-
* Camera-ready copies due: February 27th, 2017
 
== Organizing Committee (for 2017) ==
== Organizing Committee (for 2017) ==

Revision as of 11:41, 24 February 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 (to be finalized)

Monday 21 May 2017

09:00 - 09:05 Welcome from the organisers

09:05 - 10:30 Keynote 1: to be provided

10:30 - 11:00 Coffee Break

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

"Session: Modeling Real-Time and Self-Adaptive Systems"

11:50 - 12:10 A Restricted Natural Language Based Use Case Modeling Methodology for Real-Time Systems 12:10 - 12:30 Evaluation of UML-RT and Papyrus-RT for Modelling Self-Adaptive Systems


12:30 - 14:00 Lunch

Session: Requirement and Risk Modeling

14:00 - 14:20 Model for Reducing Risks to Private or Sensitive Data

14:20 - 14:40 Specifying Evolving Requirements Models with TimedURN

14:40 - 15:30 Discussion

15:30 - 16:00 Coffee Break

16:00 - 17:30 Tool Demos and Preparation for Day 2


Monday 22 May 2017

09:00 - 10:30 Keynote 2: to be provided

10:30 - 11:00 Coffee Break

"Session: Modeling Environments and Applications"

11:00 - 11:20 Online Model Editing, Simulation and Code Generation for Web and Mobile Applications 11:20 - 11:40 iArch-U: Interface-Centric Integrated Uncertainty-aware Development Environment 11:40 - 12:00 An Exploratory Study on the Need for Modeling Software Ecosystems: The Case of SOLAR SECO 12:00 - 12:30 Discussion

12:30 - 14:00 Lunch

Session: Model Manipulations (Transformations, Matching, Testing)

14:00 - 14:20 Transforming Workflow Models into Automated End-to-End Acceptance Test Cases

14:20 - 14:40 The Epsilon Pattern Language

14:40 - 15:00 ImitGraphs: Towards Faster Usability Tests of Graphical Model Manipulation Techniques

15:00 - 15:30 Discussion

15:30 - 16:00 Coffee Break

16:00 - 17:30 Discussion and closing



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