MiSE 09 - Vancouver, Canada

From MiSE

(Difference between revisions)
Jump to: navigation, search
(Workshop Overview)
 
Line 1: Line 1:
<div style="line-height:2.0em;">
<div style="line-height:2.0em;">
-
<div align="center" style="font-size: 200%;"> Workshop on Modeling in Software Engineering @ ICSE 2013 [http://www.cs.uoregon.edu/events/icse2009/home/ ]</div>
+
<div align="center" style="font-size: 200%;"> Workshop on Modeling in Software Engineering @ ICSE 2009 [http://www.cs.uoregon.edu/events/icse2009/home/ ]</div>
<div align="center" style="font-size: 200%;">(MiSE 2009)</div>
<div align="center" style="font-size: 200%;">(MiSE 2009)</div>
<div align="center" style="font-size: 200%;">Vancouver, Canada</div>
<div align="center" style="font-size: 200%;">Vancouver, Canada</div>
Line 7: Line 7:
<div align="center">[[Media:MISE09-CFP.pdf|Call for Papers]]</div>
<div align="center">[[Media:MISE09-CFP.pdf|Call for Papers]]</div>
-
== Workshop Overview ==
 
-
Models have long been used in the development of complex systems. Their use is becoming more prevalent in the software development domain as modeling techniques and tools mature. Despite this, there are many challenging issues that the modeling research community must address if software modeling practices are to become mainstream. The primary goal of this workshop is to foster exchange of innovative ideas on the use of models in software engineering. Another goal of this workshop is to further promote cross-fertilization between the model-driven development (MDD) communities (e.g., MODELS) and software-engineering communities. To ensure that discussions at the 2013 workshop are not bogged down by deliberations about basic concepts and terminology, potential workshop participants will be encouraged to familiarize themselves with the papers presented at previous MiSE workshops in the calls for papers and for participation.
 
-
The workshop provides a forum for discussing and critically analyzing modeling techniques with respect to their purposes in software engineering processes. Participants engage in the exchange of innovative technical ideas and experiences related to modeling, including, modeling notations, abstraction techniques, modeling strategies, and use of models in development activities, including, system configuration, testing, and product line variability management.
+
== Workshop Overview ==
-
The purpose of a model and the domain it describes, determine the types of abstractions that are useful and the degree of formality and precision needed. We identify the following major purposes of software modeling:
+
-
* <B>Exploration</B>: Models are used to explore and learn about the problem to be solved, where the “problem” can be, for example, requirements identification, system specification, system or component design, complex protocol or algorithm design.
+
The purpose of this workshop is to promote the use of models in the engineering process of software and software-intensive systems. In particular, we are interested in the exchange of innovative technical ideas and experiences related to modeling: modeling notations, abstractions and modeling strategies, use of models, and so onThe main goal is the exchange of innovative ideas on the use of models in software engineering and to further promote cross-fertilization between the modeling communities (e.g., MODELS) and software-engineering communities.
-
* <B>Communication</B>: Communication models are used to document software decisions (e.g., requirements, designs, and deployment decisions)Support for downstream activities: We use software models to answer questions or check properties (e.g., correctness, fitness for use) of the modeled artifact, to generate other artifacts, or to configure existing systems.
+
-
* <B>Configurability and adaptation</B>: We use models at runtime to configure the system, to adapt it to changed needs of the users. A model of the environment also allows a system to capture its knowledge about the environment it controls or communicates with.
+
-
The 2013 workshop 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.
+
This workshop will provide a forum for discussing the challenges associated with modeling software and with incorporating modeling practices into the software development process. We are interested in model-related research topics at all levels of the software development, including use of models during software execution. A list of topics includes:
-
Topics of interest, thus, include:
+
* Modeling notations and tools
-
*   Modeling notations and tools
+
* Metamodeling
-
* Metamodeling
+
* Abstractions and modeling methodologies
-
* Abstractions and modeling methodologies
+
* Model-based analyses
-
* Model-based analysis and synthesis
+
* Model transformation and composition
-
* Model transformation and composition
+
* Model evaluation
-
* Model evaluation
+
* Model management
-
* Model management
+
* Extracting models from software artifacts (e.g., program understanding)
-
* Extracting models from software artifacts (e.g., program understanding)
+
* Use of models for downstream activities (e.g., generating test cases, using models at runtime)
-
* Use of models for downstream activities (e.g., generating test cases, using models at runtime)
+
* Empirical studies
-
* Modeling the systems environment
+
* Domain-specific modeling
-
* Models at runtime (e.g. for software adaptation)
+
* Further uses of modeling
-
* Empirical studies
+
-
* Domain-specific modeling
+
-
* Variability management using models
+
-
* Model reuse
+
-
* Further uses of modeling
+
-
The purpose of this workshop is to promote the use of models in the engineering process of software and software-intensive systems. In particular, we are interested in the exchange of innovative technical ideas and experiences related to modeling: modeling notations, abstractions and modeling strategies, use of models, and so on.  The main goal is the exchange of innovative ideas on the use of models in software engineering and to further promote cross-fertilization between the modeling communities (e.g., MODELS) and software-engineering communities.
 
== Workshop Programme ==
== Workshop Programme ==
 +
'''DAY 1: May 17'''
-
tbd.
+
{| border=1
 +
| 14:00 - 14:30 ||  '''Opening'''    ||
 +
|-
 +
| 14:30 - 15:30 || '''Evolution'''
 +
 
 +
 
 +
||
 +
* Toward Engineered Architecture Evolution ''by Chaki, Diaz-Pace, Garlan, Gurfinkel, Ozkaya''
 +
 +
* Relationship-Based Change Propagation: A Case Study ''by Cabot, Chechik, Diskin, Easterbrook, Lai, Nejati''
 +
 
 +
|-
 +
| 15:30 - 16:00 ||  '''Coffee Break'''    ||
 +
|-
 +
| 16:00 - 17:30  || '''Domain Specific Languages'''
 +
 
 +
 
 +
 
 +
 
 +
||
 +
* Raising the Level of Abstraction in the Development of GMF-based Graphical Model Editors ''by Kolovos, Rose, Paige, Pollack''
 +
 
 +
* Tailoring a Model-Driven Quality-of-Service DSL for Various Stakeholders ''by Oberortner, Zdun, Dustdar''
 +
 
 +
* Poster Demonstrations
 +
|-
 +
| 18:30          || '''Dinner''' ||
 +
|}
 +
 +
'''DAY 2: May 18'''
 +
 
 +
{| border=1
 +
| 09:00 - 10:30  || '''Verification and Validation'''     
 +
 
 +
||
 +
* Formal specification of system functions ''by Spanfelner, Leuxner, Sitou''
 +
 
 +
* Finding Inconsistency for UML-Based Composition at Program Level ''by Chavez, Chen''
 +
 
 +
* Model-level Simulation for COLA ''by Hermannsdoerfer, Haberl, Baumgarten''
 +
|-
 +
| 10:30 - 11:00      ||  '''Coffee Break''' ||
 +
|-
 +
| 11:00 - 12:30 || '''Model Transformation'''     
 +
 
 +
 
 +
||
 +
* Tackling High Variability in Video Surveillance Systems through a Model Transformation Approach ''by Acher, Lahire, Moisan, Rigault''
 +
 
 +
* Model Transformation of Dependability-Focused Requirements Models ''by Mustafiz, Kienzle, Vangheluwe''
 +
 
 +
* Discussions
 +
|-
 +
| 12:30 - 14:00    || '''Lunch'''  ||
 +
|-
 +
| 14:00 - 15:30  || '''State-of-the-Art'''     
 +
 
 +
||
 +
* Non-Functional Requirements Analysis Modeling for Software Product Lines ''by Nguyen''
 +
 
 +
* On the Use of Models during Software Execution ''by Bencomo''
 +
 
 +
* Discussions
 +
|-
 +
| 15:30 - 16:00    || '''Coffee Break'''  ||
 +
|-
 +
| 16:00 - 17:30      || '''Panel: Multi-View Modeling''' ||
 +
|}
== Important Dates ==
== Important Dates ==
{| border=1  
{| border=1  
-
  |tbd || Submission of abstracts
+
  |<strike>11 January, 2009</strike> 18 January, 2009         || Submission of abstracts
  |-
  |-
-
  |tbd         || Submission of workshop papers
+
  |<strike>14 January, 2009</strike> 21 January, 2009         || Submission of workshop papers
  |-
  |-
-
  |tbd || Notification of acceptance  
+
  |<strike>28 January, 2009</strike> <strike>04 February</strike> 09 February || Notification of acceptance  
  |-
  |-
-
  |tbd || Camera-ready papers due
+
  |<strike>15 February, 2009</strike> 17 February, 2009 || Camera-ready papers due
  |}
  |}
Line 60: Line 117:
== Workshop Format ==
== Workshop Format ==
-
The workshop will be held over one and a half days (tbd!), starting on
+
The workshop will be held over one and a half days, starting on
the afternoon of the first day. On the first day and the morning
the afternoon of the first day. On the first day and the morning
of the second day, paper presentations will be structured into
of the second day, paper presentations will be structured into
Line 78: Line 135:
of summary presentations from each working group or a
of summary presentations from each working group or a
summary presentation by one of the organizers.
summary presentation by one of the organizers.
 +
== Submission Guidelines ==
== Submission Guidelines ==
   
   
-
Although the workshop is open to all, prospective participants are invited to submit a 4-6 page position paper. All submissions will be reviewed by members of the program committee and the organizing committee for quality and relevance. All submitted papers must conform to the style guidelines required for IEEE Conference Proceedings. Accepted papers will become part of the workshop proceedings. For any questions feel free to contact   tbd.  
+
Although the workshop is open to all, prospective participants are invited to submit a 4-6 page position paper. All submissions will be reviewed by members of the program committee and the organizing committee for quality and relevance. All submitted papers must conform to the style guidelines required for IEEE Conference Proceedings (use this [http://www.cs.uoregon.edu/events/icse2009/calls/format/ link] for more information). Accepted papers will become part of the workshop proceedings. For any questions feel free to contact   mise2009 [at] sse-tubs.de. To submit your paper use this link to CyberChair: [http://cyberchairpro3.borbala.net/misepapers/submit/ http://cyberchairpro3.borbala.net/misepapers/submit/]
 +
 
-
To submit your paper use this link ...
 
== Organizing Committee ==
== Organizing Committee ==
-
* Joanne M. Atlee (primary contact), University of Waterloo, Ontario, Canada
+
* Robert Baillargeon, Panasonic Automotive Systems, rcbaillargeon # acm.org
-
* Robert Baillargeon, Sodius, East Amherst, NY, USA
+
-
* Marsha Chechik, University of Toronto, ON, Canada
+
* Robert France, Colorado State University, france # cs.colostate.edu
* Robert France, Colorado State University, france # cs.colostate.edu
-
* Jeff Gray, University of Alabama, Tuscaloosa, Alabama, USA
+
* Geri Georg, Colorado State University, georg # cs.colostate.edu
-
* Richard Paige, University of York, UK
+
* Bernhard Rumpe, RWTH Aachen, rumpe # se.rwth-aachen.de
-
* Bernhard Rumpe, RWTH Aachen
+
* Steven Völkel, RWTH Aachen, voelkel # se-rwth.de
 +
* Steffen Zschaler, Lancaster University, szschaler # acm.org
== Program Committee ==
== Program Committee ==
-
* not yet confirmed
+
* Manfred Broy, TU Munich, Germany
 +
* Alessandra Cavarra, Oxford University Computing Laboratory, UK
 +
* Marsha Chechik, University of Toronto, Canada
 +
* Tony Clark, Thames Valley University, UK
 +
* Steve Easterbrook, University of Toronto, Canada
 +
* Ludger Fiege, Siemens, Germany
 +
* Holger Giese, University of Paderborn, Germany
 +
* Jeff Gray, University of Alabama at Birmingham, US
 +
* Michaela Huhn, Braunschweig University of Technology, Germany
 +
* Awais Rashid, Lancaster University, UK
 +
* Arnor Solberg, SINTEF, Norway

Current revision as of 15:57, 31 October 2012

Workshop on Modeling in Software Engineering @ ICSE 2009 [1]
(MiSE 2009)
Vancouver, Canada
May 17-18, 2009


Contents

Workshop Overview

The purpose of this workshop is to promote the use of models in the engineering process of software and software-intensive systems. In particular, we are interested in the exchange of innovative technical ideas and experiences related to modeling: modeling notations, abstractions and modeling strategies, use of models, and so on. The main goal is the exchange of innovative ideas on the use of models in software engineering and to further promote cross-fertilization between the modeling communities (e.g., MODELS) and software-engineering communities.

This workshop will provide a forum for discussing the challenges associated with modeling software and with incorporating modeling practices into the software development process. We are interested in model-related research topics at all levels of the software development, including use of models during software execution. A list of topics includes:

  • Modeling notations and tools
  • Metamodeling
  • Abstractions and modeling methodologies
  • Model-based analyses
  • Model transformation and composition
  • Model evaluation
  • Model management
  • Extracting models from software artifacts (e.g., program understanding)
  • Use of models for downstream activities (e.g., generating test cases, using models at runtime)
  • Empirical studies
  • Domain-specific modeling
  • Further uses of modeling


Workshop Programme

DAY 1: May 17

14:00 - 14:30 Opening
14:30 - 15:30 Evolution


  • Toward Engineered Architecture Evolution by Chaki, Diaz-Pace, Garlan, Gurfinkel, Ozkaya
  • Relationship-Based Change Propagation: A Case Study by Cabot, Chechik, Diskin, Easterbrook, Lai, Nejati
15:30 - 16:00 Coffee Break
16:00 - 17:30 Domain Specific Languages



  • Raising the Level of Abstraction in the Development of GMF-based Graphical Model Editors by Kolovos, Rose, Paige, Pollack
  • Tailoring a Model-Driven Quality-of-Service DSL for Various Stakeholders by Oberortner, Zdun, Dustdar
  • Poster Demonstrations
18:30 Dinner

DAY 2: May 18

09:00 - 10:30 Verification and Validation
  • Formal specification of system functions by Spanfelner, Leuxner, Sitou
  • Finding Inconsistency for UML-Based Composition at Program Level by Chavez, Chen
  • Model-level Simulation for COLA by Hermannsdoerfer, Haberl, Baumgarten
10:30 - 11:00 Coffee Break
11:00 - 12:30 Model Transformation


  • Tackling High Variability in Video Surveillance Systems through a Model Transformation Approach by Acher, Lahire, Moisan, Rigault
  • Model Transformation of Dependability-Focused Requirements Models by Mustafiz, Kienzle, Vangheluwe
  • Discussions
12:30 - 14:00 Lunch
14:00 - 15:30 State-of-the-Art
  • Non-Functional Requirements Analysis Modeling for Software Product Lines by Nguyen
  • On the Use of Models during Software Execution by Bencomo
  • Discussions
15:30 - 16:00 Coffee Break
16:00 - 17:30 Panel: Multi-View Modeling

Important Dates

11 January, 2009 18 January, 2009 Submission of abstracts
14 January, 2009 21 January, 2009 Submission of workshop papers
28 January, 2009 04 February 09 February Notification of acceptance
15 February, 2009 17 February, 2009 Camera-ready papers due


Workshop Format

The workshop will be held over one and a half days, starting on the afternoon of the first day. On the first day and the morning of the second day, paper presentations will be structured into sessions of thematically related papers. In order to foster lively discussions, each paper presentation will be structured as follows:

  1. A 20 minute presentation by an author, summarising the key points in the paper.
  2. A reaction by one of the organizers or PC member to the topic, including issues, questions or other insights.
  3. A 5 minute general discussion that includes time for the author to respond to the reaction. The person presenting the reaction takes notes regarding the overall discussion, and puts together a one-page summary of the reaction and ensuing discussion that will appear in the proceedings, directly following the paper.

The remaining half-day workshop will be spent in working groups or an open-plan discussion (depending on number of participants) based on topics collected by session chairs during paper presentations and discussions during the first day of the workshop. The workshop will be summarized either in a halfhour of summary presentations from each working group or a summary presentation by one of the organizers.


Submission Guidelines

Although the workshop is open to all, prospective participants are invited to submit a 4-6 page position paper. All submissions will be reviewed by members of the program committee and the organizing committee for quality and relevance. All submitted papers must conform to the style guidelines required for IEEE Conference Proceedings (use this link for more information). Accepted papers will become part of the workshop proceedings. For any questions feel free to contact mise2009 [at] sse-tubs.de. To submit your paper use this link to CyberChair: http://cyberchairpro3.borbala.net/misepapers/submit/


Organizing Committee

  • Robert Baillargeon, Panasonic Automotive Systems, rcbaillargeon # acm.org
  • Robert France, Colorado State University, france # cs.colostate.edu
  • Geri Georg, Colorado State University, georg # cs.colostate.edu
  • Bernhard Rumpe, RWTH Aachen, rumpe # se.rwth-aachen.de
  • Steven Völkel, RWTH Aachen, voelkel # se-rwth.de
  • Steffen Zschaler, Lancaster University, szschaler # acm.org

Program Committee

  • Manfred Broy, TU Munich, Germany
  • Alessandra Cavarra, Oxford University Computing Laboratory, UK
  • Marsha Chechik, University of Toronto, Canada
  • Tony Clark, Thames Valley University, UK
  • Steve Easterbrook, University of Toronto, Canada
  • Ludger Fiege, Siemens, Germany
  • Holger Giese, University of Paderborn, Germany
  • Jeff Gray, University of Alabama at Birmingham, US
  • Michaela Huhn, Braunschweig University of Technology, Germany
  • Awais Rashid, Lancaster University, UK
  • Arnor Solberg, SINTEF, Norway

  • This page was last modified on 31 October 2012, at 15:57.
  • This page has been accessed 18,917 times.