MSR 2020
Mon 29 - Tue 30 June 2020
co-located with ICSE 2020
Mon 29 Jun 2020 10:54 - 11:00 at MSR:Zoom - Programming Languages & Models Chair(s): Dimitris Kolovos

Models, as the main artifact in model-driven engineering, have been extensively used for goals such as code generation and verification in the area of embedded systems modeling. One of the most popular behavioral modeling techniques is state machine. Many state machine modeling guidelines recommend that a state machine should have more than one state in order to be meaningful. However, single-state state machines (SSSMs) violating this recommendation have been used in modeling cases reported in the literature. In this paper, we investigate the use of SSSMs by studying their prevalence and roles in the domain of embedded systems, as well as why developers use them and what advantages and disadvantages developers perceive. We employ the sequential explanatory strategy to study 1500 state machines from 26 components at a large company producing embedded systems. We observe that 25 out of 26 components contain SSSMs, making up 25.3% of the model base. To understand the reasons for this extensive usage we conduct a series of interviews followed by a grounded theory building. The results suggest that SSSMs are used to interface with the existing code base, to deal with tool limitations, to facilitate maintenance and to ease verification. Based on our results, we provide implications to modeling tool builders. Furthermore, we formulate two hypotheses about the effectiveness of SSSMs as well as the impacts of SSSMs on development, maintenance and verification.

Mon 29 Jun

Displayed time zone: (UTC) Coordinated Universal Time change

10:30 - 11:00
Programming Languages & ModelsTechnical Papers / Registered Reports / Keynote / MSR Awards / FOSS Award / Education / Data Showcase / Mining Challenge / MSR Challenge Proposals / Ask Me Anything at MSR:Zoom
Chair(s): Dimitris Kolovos University of York

Q/A & Discussion of Session Papers over Zoom (Joining info available on Slack)

10:30
6m
Live Q&A
An Empirical Study on the Impact of Deimplicitization on Program ComprehensionMSR - Registered Reports
Registered Reports
A: J├╝rgen Cito MIT, A: Jiasi Shen Massachusetts Institute of Technology, A: Martin C. Rinard MIT
Pre-print Media Attached
10:36
6m
Live Q&A
AIMMX: Artificial Intelligence Model Metadata ExtractorMSR - Technical Paper
Technical Papers
Jason Tsay IBM Research, Alan Braz IBM Research, Martin Hirzel IBM Research, Avraham Shinnar IBM Research, Todd Mummert
Pre-print Media Attached
10:42
6m
Live Q&A
Using Large-Scale Anomaly Detection on Code to Improve Kotlin CompilerMSR - Technical Paper
Technical Papers
Timofey Bryksin JetBrains Research, Saint Petersburg State University, Victor Petukhov JetBrains, ITMO University, Ilya Alexin , Stanislav Prikhodko , Alexey Shpilman , Vladimir Kovalenko TU Delft, Nikita Povarov JetBrains
Pre-print Media Attached
10:48
6m
Live Q&A
An Empirical Study of Method Chaining in JavaMSR - Technical Paper
Technical Papers
Tomoki Nakamaru Graduate School of Information Science and Technology, The University of Tokyo, Tomomasa Matsunaga , Tetsuro Yamazaki Graduate School of Information Science and Technology, The University of Tokyo, Soramichi Akiyama Department of Creative Informatics, The University of Tokyo, Shigeru Chiba The University of Tokyo
Pre-print Media Attached
10:54
6m
Live Q&A
Painting Flowers: Reasons for Using Single-State State Machines in Model-Driven EngineeringMSR - Technical Paper
Technical Papers
Nan Yang Eindhoven University of Technology, The Netherlands, Pieter Cuijpers , Ramon Schiffelers Eindhoven University of Technology and ASML, the Netherlands, Johan Lukkien , Alexander Serebrenik Eindhoven University of Technology
Media Attached