MISE 19 - Montreal, Canada
From MiSE
(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...') |
(2019 information) |
||
| Line 6: | Line 6: | ||
== 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. This 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 | + | 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). |
=== Topics === | === Topics === | ||
| Line 17: | Line 18: | ||
* 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 | ||
| - | * | + | * Collaborative modeling (e.g. offline vs online, access control restrictions) |
| - | + | ||
* 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 | + | * 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 == |
| - | + | he workshop will be highly interactive and focused on the sharing of ideas and on progressing towards a shared vision of research goals. Included in the program will be paper presentations, a tool demonstration session, an industrial-challenges session, talks on educational best practices, a presentation of the major insights gained during the workshop, and a discussion of the future directions. Paper presentations will be grouped into sessions of three 20-minute presentations, with 30 minutes of discussion at the end of each session. 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 (1) a 5-7 pages position or research paper or (2) a 1-2 pages talk proposal on tool demonstration, best practices on teaching modeling techniques, or industrial challenges. Workshop papers must follow the ICSE 2019 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, to be made available in the IEEE Digital Library. EasyChair will be used to manage the submission review process. | ||
| + | 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. | ||
| + | |||
| + | <!-- | ||
| + | == Program == | ||
=== Sunday 27 May === | === Sunday 27 May === | ||
| Line 92: | Line 97: | ||
1530-1600 Coffee | 1530-1600 Coffee | ||
| - | 1600-1700 '''Discussion and close''' | + | 1600-1700 '''Discussion and close''' |
| + | --> | ||
| + | == Organizing Committee (for 2019) == | ||
| - | + | * 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] | ||
| - | + | === Important Dates === | |
| - | * | + | |
| - | * | + | * Paper submissions due: February 1, 2019 |
| - | * | + | * Notification to authors: March 1, 2019 |
| + | * Camera-ready copies due: March 15, 2019 | ||
== Program Committee == | == Program Committee == | ||
| - | * Michalis Famelis, University of Montreal | + | TBA |
| + | |||
| + | <!-- * Michalis Famelis, University of Montreal | ||
* Marsha Chechik, University of Toronto | * Marsha Chechik, University of Toronto | ||
* Dimitris Kolovos, University of York | * Dimitris Kolovos, University of York | ||
| Line 123: | Line 135: | ||
* Esther Guerra, Universidad Autonoma de Madrid, Spain | * Esther Guerra, Universidad Autonoma de Madrid, Spain | ||
* Juan de Lara, Universidad Autonoma de Madrid, Spain | * Juan de Lara, Universidad Autonoma de Madrid, Spain | ||
| - | * Silvia Abrahao, Universitat Politècnica de València, Spain | + | * Silvia Abrahao, Universitat Politècnica de València, Spain --> |
== Further MiSE Information == | == Further MiSE Information == | ||
| Line 129: | Line 141: | ||
* MISE [[Main Page]] | * MISE [[Main Page]] | ||
* MISE [[Steering Committee]] | * MISE [[Steering Committee]] | ||
| - | * 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 23:54, 26 November 2018
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 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).
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
he workshop will be highly interactive and focused on the sharing of ideas and on progressing towards a shared vision of research goals. Included in the program will be paper presentations, a tool demonstration session, an industrial-challenges session, talks on educational best practices, a presentation of the major insights gained during the workshop, and a discussion of the future directions. Paper presentations will be grouped into sessions of three 20-minute presentations, with 30 minutes of discussion at the end of each session. 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 (1) a 5-7 pages position or research paper or (2) a 1-2 pages talk proposal on tool demonstration, best practices on teaching modeling techniques, or industrial challenges. Workshop papers must follow the ICSE 2019 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, to be made available in the IEEE Digital Library. EasyChair will be used to manage the submission review process.
Please submit your papers via our EasyChair site (TBA) by the MiSE'19 deadline of 1 February 2019 (AoE). Submissions do not need to be double-blinded.
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
Important Dates
- Paper submissions due: February 1, 2019
- Notification to authors: March 1, 2019
- Camera-ready copies due: March 15, 2019
Program Committee
TBA
Further MiSE Information
- MISE Main Page
- MISE Steering Committee