MISE 16 - Austin, USA

Proceedings for MiSE (and the rest of ICSE) will be found here, as soon as they are available.

Please note that MiSE traditionally discusses intensively. Talks should be arranged to foster discussions and people be prepared to actively participate.

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 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 crossfertilization 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 2016 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.

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.

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:

Exploration: 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’.

Communication: 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.

Configurability and adaptation: 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.

Program

Monday 16 May 2016

09:00 - 09:05 Welcome from the organisers

09:05 - 10:30 Keynote 1: Don Batory - Teaching Modeling and Variability in Software Design and its Importance to Science (slides)

10:30 - 11:00 Coffee Break

Session: MDE technologies and Model Quality

11:00 - 11:25 Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benoit Combemale, Axel Legay and Pierre-Yves Schobbens. Featured Model Types: Towards Systematic Reuse in Modelling Language Engineering (slides)

11:25 - 11:50 Arman Shahbazian, George Edwards and Nenad Medvidovic. An End-to-End Domain Specific Modeling and Analysis Platform (slides)

11:50 - 12:15 Gaurab Luitel, Matthew Stephan and Daniela Inclezan. Model Level Design Pattern Instance Detection using Answer Set Programming (slides)

12:15 - 12:30 Group discussion

12:30 - 14:00 Lunch

Session: Analysis and Compliance

14:00 - 14:25 Benoit Combemale, Betty Cheng, Ana Moreira, Jean-Michel Bruel and Jeff Gray. Modeling for Sustainability

14:25 - 14:50 Nancy Day and Amirhossein Vakili. Representing Hierarchical State Machine Models in SMT-LIB (slides)

14:50 - 15:15 Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik and Tom Maibaum. Model Management for Regulatory Compliance: a position paper (slides)

15:15 - 15:30 Discussion and closing

15:30 - 16:00 Coffee Break

16:00 - 17:30 Panel discussion and preparation for Day 2

                       Topic of the panel:  MiSE in the era of cyber-physical systems: opportunities and challenges
                       Moderator: Jordi Cabot
                       Panelists: Nenad Medvidovic, Bernhard Rumpe, Sebastian Uchitel, and Pamela Zave

Tuesday 17 May 2016

09:00 - 10:30 Keynote 2: Edward A. Lee, Resurrecting Laplace's Demon: The Case for Deterministic Models (slides)

In 1814, Pierre-Simon Laplace published an argument for determinism in the universe, arguing that if someone (a demon) were to know the precise location and momentum of every atom in the universe, then their past and future values for any given time are completely determined and can be calculated from the laws of classical mechanics. This principle, of course, has been roundly invalidated by quantum mechanics, and yet the laws of classical mechanics continue to be extremely useful for prediction. In this talk, I will argue that models plays different (complementary) roles in engineering and science, and that deterministic models have historically proved proved even more valuable in engineering than in science. Moreover, I will show that deterministic models for cyber-physical systems, which combine computation with physical dynamics, remain elusive. I will argue that the next big advance in engineering methods must include deterministic models for CPS, and I will show that such models are both possible and practical.

10:30 - 11:00 Coffee Break

Session: Domain-specific Modelling and Analysis

11:00 - 11:25 Neha Rungta, Eric Mercer, Franco Raimondi, Bjorn Krantz, Richard Stocker and Andrew Wallace. Modeling Complex Air Traffic Management Systems

11:25 - 11:50 Yan Liu and Hanieh Alipour. Model Driven Performance Simulation of Cloud Provisioned Hadoop MapReduce Applications

11:50 - 12:15 Salvador Martínez, Valerio Cosentino and Jordi Cabot. Model-based Analysis of Java EE Web Security Configurations (slides)

12:15 - 12:30 Discussion

12:30 - 14:00 Lunch

Session: Transformations (Reverse Engineering, Derivations, Co-Evolution)

14:00 - 14:25 Alexander Bergmayr, Hugo Bruneliere, Jordi Cabot, Jokin Garcia, Tanja Mayerhofer and Manuel Wimmer. fREX: fUML-based Reverse Engineering of Executable Behavior for Software Dynamic Analysis (slides)

14:25 - 14:50 Cuong Cu and Yongjie Zheng. Architecture-Centric Derivation of Products in a Software Product Line (slides)

14:50 - 15:15 Eric James Rapos and James R. Cordy. Examining the Co-Evolution Relationship Between Simulink Models and their Test Cases (slides)

15:15 - 15:30 Group discussion

15:30 - 16:00 Coffee Break

16:00 - 17:30 Group discussion and wrap-up

Organizing Committee

• Joanne M. Atlee, University of Waterloo, Canada
• Davide Di Ruscio (primary contact), DISIM - University of L’Aquila, Italy
• Robert Baillargeon, Method Park America, USA
• Bernhard Rumpe, RWTH Aachen University, Germany

Program Committee

• Alessandra Bagnato, Softeam, France
• Manfred Broy, TU Munich, Germany
• Marsha Chechik, University of Toronto, Canada
• Benoit Combemale, University of Rennes, France
• Krzysztof Czarnecki, U. of Waterloo, Canada
• Fabiano Dalpiaz, Utrecht University, Netherlands
• Juergen Dingel, Queen's University, Canada
• Geri Georg, Colorado State University, USA
• Jeff Gray, University of Alabama, USA
• Michalis Famelis, University of Toronto, Canada
• Mats Heimdahl, University of Minnesota, USA
• Dimitris Kolovos, University of York, UK
• Vinay Kulkarni, Tata Consultancy Services Innovation Labs, Pune, India
• Gunter Mussbacher, McGill University
• Richard Paige, University of York, UK
• 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

• MISE Main Page
• MISE Steering Committee