CRII: SHF: Towards a Cognizant Virtual Software Modeling Assistant using Model Clones

CRII：SHF：使用模型克隆实现认知虚拟软件建模助手

• 批准号: 1849632
• 负责人: Matthew Stephan
• 金额: $ 16.19万
• 依托单位: Miami University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2019
• 资助国家: 美国
• 起止时间: 2019-08-15 至 2021-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1849632&HistoricalAwards=false
• 关键词: CRII; SHF; Towards; Cognizant; Virtual

Software is growing increasingly omnipresent in society. Correspondingly, software quality, which includes both security and reliability, is more important than ever. Software failures can cause significant problems to both individuals and national economies. Security is also a paramount societal concern. This research project helps address quality by improving software modeling, a critical stage in software development where engineers specify what the software does and how it works. It takes the first step in allowing engineers to leverage knowledge from data in the form of others' experiences and best practices to incorporate established models for use in their software. This project tackles the fundamental issues of how to 1) gather this data properly, 2) derive useful insights about that data, and 3) best present these insights and suggestions to engineers. By providing this assistance and information, engineers can make better-informed decisions, thus yielding higher quality software for all society. In addition to helping engineers, software modeling is an important aspect of the STEM curriculum, including computer science, software engineering, and other engineering disciplines. Instructors can utilize the approaches and tools derived from this award as a teaching tool by helping students think critically about design decisions. This will yield better computer scientists and engineers who are more comfortable and versed in formal software modeling.Model-driven engineering (MDE) is an established formal methodology for building large-scale secure quality software systems. This award will improve that quality by realizing a cognizant virtual software-modeling assistant to improve software design and MDE. This project uses model-clone detection to analyze models during development, finds similar models from the same domain and/or best practices, and treats those similar models as training data to reason about in order to suggest model additions and modifications to users. Such assistance will yield similar benefits to those afforded by analogous source-code approaches based on past usage statistics. This involves an exploratory investigation to develop a new approach and prototype virtual software-modeling assistant using an established model clone detector. In the first phase of this research, the investigator will build a prototype with the capability to analyze incomplete models being constructed/extended by engineers to suggest completed models for insertion based on similarity to those from the same domain and/or best practices. In the second phase, the investigator will create an assistant that produces granular suggestions based on analyzing similar models, and presents options to engineers of operations they may want to do next based on those operations' prevalence in the knowledge base formed by those similar models. This research's insights and data will provide the foundation necessary to build more advanced modeling assistants, conduct user studies and educational assessments of the approach, and help lay a foundation for the cognification of modeling.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

软件在社会中越来越普遍。相应地，包括安全性和可靠性在内的软件质量比以往任何时候都更加重要。软件故障可能会对个人和国家经济造成重大问题。安全也是一个最重要的社会问题。这个研究项目通过改进软件建模来帮助解决质量问题，软件建模是软件开发的一个关键阶段，工程师在这个阶段指定软件做什么以及如何工作。 它迈出了第一步，允许工程师以其他人的经验和最佳实践的形式利用数据中的知识，将已建立的模型纳入其软件中。该项目解决了以下基本问题：1）如何正确收集这些数据; 2）如何获得有关这些数据的有用见解; 3）如何将这些见解和建议最好地呈现给工程师。通过提供这些帮助和信息，工程师可以做出更明智的决策，从而为整个社会提供更高质量的软件。 除了帮助工程师，软件建模是STEM课程的一个重要方面，包括计算机科学，软件工程和其他工程学科。教师可以利用从这个奖项获得的方法和工具作为教学工具，帮助学生批判性地思考设计决策。 这将产生更好的计算机科学家和工程师谁是更舒适和精通正式的软件modeling.Model-driven工程（MDE）是一个建立正式的方法，用于构建大规模的安全质量的软件系统。 该奖项将通过实现一个认知的虚拟软件建模助手来提高软件设计和MDE的质量。 该项目使用模型克隆检测在开发过程中分析模型，从相同的域和/或最佳实践中找到相似的模型，并将这些相似的模型作为训练数据进行推理，以便向用户建议模型添加和修改。这种协助将产生类似的好处，那些提供了类似的源代码方法的基础上，过去的使用统计。这涉及到一个探索性的调查，开发一种新的方法和原型虚拟软件建模助手使用一个既定的模型克隆检测器。 在本研究的第一阶段，研究人员将建立一个原型，该原型能够分析工程师正在构建/扩展的不完整模型，以根据与相同领域和/或最佳实践的相似性建议插入完整模型。 在第二阶段，研究人员将创建一个助手，该助手基于分析类似模型产生粒度建议，并根据这些操作在由这些类似模型形成的知识库中的流行程度，向工程师提供他们下一步可能想要做的操作的选项。 该研究的见解和数据将为构建更先进的建模助手提供必要的基础，进行用户研究和方法的教育评估，并帮助为建模的认知奠定基础。该奖项反映了NSF的法定使命，并被认为值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估来支持。

项目成果

Simulink Model Transformation for Backwards Version Compatibility

Simulink 模型转换以实现向后版本兼容性

• 发表时间: 2021
• 期刊: International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C
• 作者: Adhikari, B.;Rapos, E. J.;and Stephan, M
• 通讯作者: and Stephan, M

Towards a cognizant virtual software modeling assistant using model clones

使用模型克隆实现认知虚拟软件建模助手

• DOI: 10.1109/icse-nier.2019.00014
• 发表时间: 2019
• 期刊: Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results
• 作者: Stephan, Matthew