More Web Proxy on the site http://driver.im/

research-article

Towards a cognizant virtual software modeling assistant using model clones

Author:

Matthew StephanAuthors Info & Claims

ICSE-NIER '19: Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results

Pages 21 - 24

https://doi.org/10.1109/ICSE-NIER.2019.00014

Published: 27 May 2019 Publication History

Abstract

We present our new ideas on taking the first steps towards cultivating synergy between model-driven engineering (MDE), machine learning, and software clones. Specifically, we describe our vision in realizing a cognizant virtual software modeling assistant that uses the latter two to improve software design and MDE. Software engineering has benefited greatly from knowledge-based cognizant source code completion and assistance, but MDE has few and limited analogous capabilities. We outline our research directions by describing our vision for a prototype assistant that provides suggestions to modelers performing model creation or extension in the form of 1) complete models for insertion or guidance, and 2) granular single-step operations. These suggestions are derived by detecting clones of the in-progress model and existing domain, organizational, and exemplar models. We overview our envisioned workflow between modeler and assistant, and, using Simulink as an example, illustrate different manifestations including multiple overlays with percentages and employing variant elements.

References

[1]

S. Kent, "Model driven engineering," in Integrated formal methods. Springer, 2002, pp. 286--298.

Digital Library

[2]

J. Hutchinson, J. Whittle, and M. Rouncefield, "Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure," Science of Computer Programming, vol. 89, pp. 144--161, 2014.

Digital Library

[3]

K. Srinivasan and D. Fisher, "Machine learning approaches to estimating software development effort," TSE, vol. 21, no. 2, pp. 126--137, 1995.

Digital Library

[4]

S. Proksch, J. Lerch, and M. Mezini, "Intelligent code completion with bayesian networks," TOSEM, vol. 25, no. 1, p. 3, 2015.

Digital Library

[5]

J. Cabot, R. Clarisó, M. Brambilla, and S. Gérard, "Cognifying model-driven software engineering," in Federation of International Conferences on Software Technologies: Applications and Foundations. Springer, 2017, pp. 154--160.

[6]

M. H. Alalfi, J. R. Cordy, T. R. Dean, M. Stephan, and A. Stevenson, "Models are code too: Near-miss clone detection for simulink models," in International Conference on Software Maintenance, 2012, pp. 295--304.

Digital Library

[7]

V. Raychev, M. Vechev, and E. Yahav, "Code completion with statistical language models," in Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2014, pp. 419--428.

Digital Library

[8]

M. Asaduzzaman, C. K. Roy, K. A. Schneider, and D. Hou, "Cscc: Simple, efficient, context sensitive code completion," in International Conference on Software Maintenance and Evolution, 2014, pp. 71--80.

Digital Library

[9]

A. Dyck, A. Ganser, and H. Lichter, "A framework for model recommenders requirements, architecture and tool support," in International Conference on Model-Driven Engineering and Software Development, 2014, pp. 282--290.

Digital Library

[10]

Á. M. Segura, A. Pescador, J. de Lara, and M. Wimmer, "An extensible meta-modelling assistant," in International Enterprise Distributed Object Computing Conference, 2016, pp. 1--10.

[11]

S. Sen, B. Baudry, and H. Vangheluwe, "Towards domain-specific model editors with automatic model completion," Simulation, vol. 86, no. 2, pp. 109--126, 2010.

Digital Library

[12]

S. Mazanek, S. Maier, and M. Minas, "Auto-completion for diagram editors based on graph grammars," in IEEE Symposium on Visual Languages and Human-Centric Computing. IEEE, 2008, pp. 242--245.

Digital Library

[13]

T. Pati, D. C. Feiock, and J. H. Hill, "Proactive modeling: autogenerating models from their semantics and constraints," in Workshop on Domain-specific modeling. ACM, 2012, pp. 7--12.

Digital Library

[14]

F. Steimann and B. Ulke, "Generic model assist," in MODELS. Springer, 2013, pp. 18--34.

Digital Library

[15]

T. Kuschke, P. Mäder, and P. Rempel, "Recommending auto-completions for software modeling activities," in MODELS, 2013, pp. 170--186.

Digital Library

[16]

F. Basciani, J. Di Rocco, D. Di Ruscio, A. Di Salle, L. Iovino, and A. Pierantonio, "MDEForge: an Extensible Web-Based Modeling Platform," in International Workshop on Model-Driven Engineering on and for the Cloud, 2014, pp. 66--75.

[17]

R. Hebig, T. H. Quang, M. R. Chaudron, G. Robles, and M. A. Fernandez, "The quest for open source projects that use uml: mining github," in MODELS. ACM, 2016, pp. 173--183.

Digital Library

[18]

M. Bruch, M. Monperrus, and M. Mezini, "Learning from examples to improve code completion systems," in Joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2009, pp. 213--222.

Digital Library

[19]

M. Stephan and J. R. Cordy, "A survey of model comparison approaches and applications." in International Conference on Model-Driven Engineering and Software Development, 2013, pp. 265--277.

[20]

M. Stephan and J. R. Cordy, "MuMonDE: A framework for evaluating model clone detectors using model mutation analysis," Software Testing, Verification and Reliability, p. e1669, 2018.

[21]

D. Wightman, Z. Ye, J. Brandt, and R. Vertegaal, "Snipmatch: using source code context to enhance snippet retrieval and parameterization," in Symposium on User interface software and technology, 2012, pp. 219--228.

Digital Library

[22]

M. Stephan, M. Alalfi, and J. R. Cordy, "Towards a taxonomy for simulink model mutations," in International Workshop on Mutation Analysis, 2014, pp. 206--215.

Digital Library

Cited By

Adhikari BRapos EStephan M(2024)SimIMA: a virtual Simulink intelligent modeling assistantSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01093-623:1(29-56)Online publication date: 1-Feb-2024
https://dl.acm.org/doi/10.1007/s10270-023-01093-6
Almonte LPérez-Soler SGuerra ECantador Ide Lara JVisser EKolovos DSöderberg E(2021)Automating the synthesis of recommender systems for modelling languagesProceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3486608.3486905(22-35)Online publication date: 17-Oct-2021
https://dl.acm.org/doi/10.1145/3486608.3486905

Recommendations

Towards a framework for executable systems modeling: an executable systems modeling language (ESysML)
Mod4Sim '18: Proceedings of the Model-driven Approaches for Simulation Engineering Symposium

The Systems Modeling Language (SysML), which is the de-facto modeling standard in the systems engineering community, consists of a number of independently derived methodologies (i.e. state charts, activity diagrams etc.) which have been co-opted into a ...
Towards a Megamodel to Model Software Evolution Through Transformations

Model Driven Engineering is a promizing approach that could lead to the emergence of a new paradigm for software evolution, namely Model Driven Software Evolution. Models, Metamodels and Transformations are the cornerstones of this approach. Combining ...
Leveraging model driven engineering in software product line architectures
SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 2

Model Driven Engineering (MDE) is a maturing innovation in the software industry that has proven to work synergistically with Software Product Line Architectures (SPLA). It can provide the tools and languages necessary to fully harness the power of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

ICSE-NIER '19: Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results

May 2019

131 pages

Conference Chairs:
Anita Sarma
Oregon State University
,
Leonardo Murta
Universidade Federal Fluminense

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering
IEEE-CS: Computer Society

Publisher

IEEE Press

Publication History

Published: 27 May 2019

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICSE '19

Sponsor:

SIGSOFT
IEEE-CS

ICSE '19: 41st International Conference on Software Engineering

May 27, 2019

Quebec, Montreal, Canada

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
56
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Adhikari BRapos EStephan M(2024)SimIMA: a virtual Simulink intelligent modeling assistantSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01093-623:1(29-56)Online publication date: 1-Feb-2024
https://dl.acm.org/doi/10.1007/s10270-023-01093-6
Almonte LPérez-Soler SGuerra ECantador Ide Lara JVisser EKolovos DSöderberg E(2021)Automating the synthesis of recommender systems for modelling languagesProceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3486608.3486905(22-35)Online publication date: 17-Oct-2021
https://dl.acm.org/doi/10.1145/3486608.3486905

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents