MISE 17 - Buenos Aires, Argentina

From MiSE

(Difference between revisions)
Jump to: navigation, search
 
(126 intermediate revisions not shown)
Line 1: Line 1:
<div style="line-height:2.0em;">
<div style="line-height:2.0em;">
-
<div align="center" style="font-size: 200%;">7th International Workshop on Modelling in Software Engineering (MiSE’2015) [http://2015.icse-conferences.org/]</div>
+
<div align="center" style="font-size: 200%;">10th Workshop on Modelling in Software Engineering (MiSE’2018)</div>
-
<div align="center" style="font-size: 200%">Co-located with [http://2015.icse-conferences.org/ ICSE 2015]</div>
+
<div align="center" style="font-size: 200%">hosted by [https://www.icse2018.org/ ICSE 2018]</div>
-
<div align="center" style="font-size: 200%;">Florence, Italy, Saturday May 16 & Sunday May 17 2015 </div>
+
<div align="center" style="font-size: 200%;">Gothenberg, Sweden, May 2018 </div>
-
 
+
== Theme and Goals ==
== Theme and Goals ==
-
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. Furthermore software and systems become more intertwined and the modeling techniques used for systems engineering need to be harmonized with software models.  
+
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.
-
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 engineering (MDE) communities (e.g., MODELS) and software-engineering communities. Previous versions of the workshop showed that while there is great interest in collaborations and discussions across these communities, there are differences in terminologies and concepts that need to be harmonized for effective communication to take place. To ensure that discussions at the 2015 workshop progress beyond the basic alignment of concepts, potential workshop participants will be encouraged to familiarize themselves with the papers presented at the previous and current MiSE workshop in the calls for papers and for participation.
+
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.  
-
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, system simulation, testing, and product line variability management.
+
=== Topics ===
-
 
+
-
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. Of particular interest is the use of models to enable “what-if?” analysis and prognostics (e.g., prediction), such as via models of ‘big data’.
+
-
 
+
-
<B>Communication</B>: Communication models are used to document software decisions (e.g., requirements, designs, and deployment decisions), or to enable discussion, conversation and negotiation between different stakeholder groups with different perspectives, vocabularies and needs..
+
-
Support for downstream activities: We use software models to answer questions or check properties (e.g., correctness, fitness of 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 and adapt it to changed needs of the users. A model of the environment also allows a system to capture its knowledge about the context it controls or communicates with.
+
-
 
+
-
== Call for papers ==
+
-
 
+
-
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 of interest include:
+
 +
Topics of interest include:
* Modeling notations and tools
* Modeling notations and tools
* Metamodeling
* Metamodeling
Line 36: Line 21:
* Model evaluation
* Model evaluation
* Model management
* Model management
-
* Extracting models from software artifacts (e.g., program system or program understanding)
+
* Extracting models from software artifacts
-
* Use of models for downstream activities (e.g., generating test cases)
+
* Models for learning machines
 +
* Models of big and smart data
 +
* Use of models for downstream activities
* Modeling the system environment
* Modeling the system environment
 +
* Modeling cyber-physical systems
* Models at runtime (e.g., for software adaptation)
* Models at runtime (e.g., for software adaptation)
-
* Models for “what-if?” analysis and prognostics
+
* Models for ''what-if?'' analysis and prognostics
* Empirical studies
* Empirical studies
* Domain-specific modeling
* Domain-specific modeling
-
* Variability management using models
+
* management using models
* Model reuse
* Model reuse
* Further uses of modeling
* Further uses of modeling
-
Prospective participants are invited to submit a 4-6 page position or technical paper. Workshop papers must follow the ICSE 2015 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. Papers can be submitted via [https://easychair.org/conferences/?conf=mise2015 Easychair]
+
== Program ==
-
== Important Next Dates ==
+
tba
-
* New paper submission deadline: <B>UPDATED January 30, 2015</B>
+
== Organizing Committee (for 2018) ==
-
* Author notifications: February 18, 2015

+
-
* Camera-ready copies: February 27, 2015
+
-
== Organizing Committee ==
+
* Richard Paige, University of York (UK)
-
 
+
* Jennifer Horkoff, Chalmers and the University of Gothenberg (Sweden)
-
* Jeff Gray(primary contact), University of Alabama, USA
+
* Sahar Kokaly, McMaster University (Canada)
-
* Marsha Chechik, University of Toronto, Canada
+
* Jocelyn Simmonds, University of Chile (Chile)
-
* Vinay Kulkarni, Tata Consultancy Services Innovation Labs, Pune, India
+
-
* Richard Paige, University of York, UK
+
== Program Committee ==
== Program Committee ==
-
*Alessandra Bagnato, Softeam, France
+
tba
-
*Lionel Briand, University of Luxembourg, Luxembourg
+
-
*Manfred Broy, TU Munich, Germany
+
-
*Benoit Combemale, University of Rennes, France
+
-
*Fabiano Dalpiaz, Utrecht University, Netherlands
+
-
*Juergen Dingel, Queen’s University, Canada
+
-
*Davide Di Ruscio, University of L’Aquila, Italy
+
-
*Geri Georg, Colorado State University, USA
+
-
*Krzysztof Czarnecki, U. of Waterloo, Canada
+
-
*Michalis Famelis, University of Toronto, Canada
+
-
*Mats Heimdahl, University of Minnesota, USA
+
-
*Michael Jackson, The Open University, UK
+
-
*Dimitris Kolovos, University of York, UK
+
-
*Jeff Kramer, Imperial College London, UK
+
-
*Gunter Mussbacher, McGill University
+
-
*Shiva Nejati, University of Luxembourg, Luxembourg
+
-
*Alfonso Pierantonio, University of L’Aquila, Italy
+
-
*Rick Salay, University of Toronto, Canada
+
-
*Yu Sun, Cal Poly Pomona, USA
+
-
*Steffen Zschaler, King’s College London, UK
+
-
 
+
== Further MiSE Information ==
== Further MiSE Information ==
Line 90: Line 54:
* MISE [[Main Page]]
* MISE [[Main Page]]
* MISE [[Steering Committee]]
* MISE [[Steering Committee]]
 +
* The call for papers is available for download at tba

Current revision as of 14:42, 21 November 2017

10th Workshop on Modelling in Software Engineering (MiSE’2018)
hosted by ICSE 2018
Gothenberg, Sweden, May 2018


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

tba

Organizing Committee (for 2018)

  • Richard Paige, University of York (UK)
  • Jennifer Horkoff, Chalmers and the University of Gothenberg (Sweden)
  • Sahar Kokaly, McMaster University (Canada)
  • Jocelyn Simmonds, University of Chile (Chile)

Program Committee

tba

Further MiSE Information

Retrieved from "https://sselab.de/lab2/public/wiki/MiSE/index.php?title=MISE_17_-_Buenos_Aires,_Argentina"
  • This page was last modified on 21 November 2017, at 14:42.
  • This page has been accessed 657,629 times.