CAREER: Synthesizing Architectural Tactics
职业:综合建筑策略
基本信息
- 批准号:1943300
- 负责人:
- 金额:$ 40.37万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2020
- 资助国家:美国
- 起止时间:2020-03-01 至 2025-02-28
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
Software architecture refers to the discipline of designing the structure of software systems. The structure consists of software elements (or modules or components) and relations among them, as well as properties and constraints on the structure and behavior of the elements. The term “architecture” used in this sense is a metaphor, analogous to the architecture of a building. The software architecture serves as a blueprint for the system and the developing project, and guides the design and development of the software. During the designing of a software architecture, attributes such as reliability, availability, security, and performance are addressed by posing and comparing alternate solutions, understanding their trade-offs, and ultimately making a series of interrelated design decisions with the intention of optimizing the degree to which each of the quality concerns is satisfied. As in building architecture, the software architecture discipline has developed standard methods, called architectural tactics, of making these architectural design decisions. The main objective of this project is to develop and validate new technologies that could make software architecture design more intuitive, particularly for novice programmers and new learners. The vision is to someday be able to have programmers express their design intent intuitively and generate error-free software programs. Software architecture design is notoriously difficult to learn and even harder to master. In order to satisfy quality attribute scenarios, appropriate architectural solutions need to be chosen and implemented. These solutions are often based on well-known architectural tactics and software frameworks that deliver these tactics. This project presents a solution to change software design and programming from purely manual and exclusive tasks to one in which a programmer and an automated tactic synthesis tool collaborate to generate defect-free software design and implementation that satisfy quality attributes scenarios. This project will create (1) a context-aware inference algorithm capable of recommending suitable architectural tactics to programmers, (2) learning by example techniques for inferring the specification models that describe how a tactic can be implemented using a software framework, and (3) automated tools and an intuitive domain-specific language for the synthesis of tactical code. In addition, this research will design, develop, evaluate, and release new interventions in terms of software design strategies that can help novices and new learners during software design and programming activities.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)自动化工具和自动化的域和直觉的域特异性语言,以构成战术代码的合成。此外,这项研究将根据软件设计策略设计,开发,评估和发布新的干预措施,这些策略可以在软件设计和编程活动期间帮助小说和新学习者。该奖项反映了NSF的法定任务,并被认为是通过基金会的知识分子优点和更广泛的影响来评估的,以评估来获得珍贵的支持。
项目成果
期刊论文数量(6)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Serialization-aware call graph construction
序列化感知调用图构建
- DOI:10.1145/3460946.3464319
- 发表时间:2021
- 期刊:
- 影响因子:0
- 作者:Santos, Joanna C.;Jones, Reese A.;Ashiogwu, Chinomso;Mirakhorli, Mehdi
- 通讯作者:Mirakhorli, Mehdi
Barriers to Shift-Left Security: The Unique Pain Points of Writing Automated Tests Involving Security Controls
- DOI:10.1145/3475716.3475786
- 发表时间:2021-10
- 期刊:
- 影响因子:0
- 作者:Danielle Gonzalez;P. Perez;Mehdi Mirakhorli
- 通讯作者:Danielle Gonzalez;P. Perez;Mehdi Mirakhorli
ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns
- DOI:10.1109/icsa51549.2021.00021
- 发表时间:2021-02
- 期刊:
- 影响因子:0
- 作者:A. Shokri;Joanna C. S. Santos;Mehdi Mirakhorli
- 通讯作者:A. Shokri;Joanna C. S. Santos;Mehdi Mirakhorli
Constructing a Shared Infrastructure for Software Architecture Analysis and Maintenance
- DOI:10.1109/icsa51549.2021.00022
- 发表时间:2021-03
- 期刊:
- 影响因子:0
- 作者:Joshua Garcia;Mehdi Mirakhorli;Lu Xiao;Yutong Zhao;Ibrahim Mujhid;K. Pham;A. Okutan;S. Malek;R. Kazman;Yuanfang Cai;N. Medvidović
- 通讯作者:Joshua Garcia;Mehdi Mirakhorli;Lu Xiao;Yutong Zhao;Ibrahim Mujhid;K. Pham;A. Okutan;S. Malek;R. Kazman;Yuanfang Cai;N. Medvidović
A Grounded Theory Based Approach to Characterize Software Attack Surfaces
- DOI:10.1145/3510003.3510210
- 发表时间:2021-12
- 期刊:
- 影响因子:0
- 作者:Sara Moshtari;A. Okutan;Mehdi Mirakhorli
- 通讯作者:Sara Moshtari;A. Okutan;Mehdi Mirakhorli
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Mehdi Mirakhorli其他文献
Automated Characterization of Software Vulnerabilities
软件漏洞的自动表征
- DOI:
10.1109/icsme.2019.00023 - 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Danielle Gonzalez;Holly Hastings;Mehdi Mirakhorli - 通讯作者:
Mehdi Mirakhorli
Transforming trace information in architectural documents into re-usable and effective traceability links
将架构文档中的跟踪信息转换为可重用且有效的追溯链接
- DOI:
10.1145/1988676.1988685 - 发表时间:
2011 - 期刊:
- 影响因子:0
- 作者:
Mehdi Mirakhorli;J. Cleland - 通讯作者:
J. Cleland
Sound Call Graph Construction for Java Object Deserialization
Java 对象反序列化的健全调用图构建
- DOI:
- 发表时间:
2023 - 期刊:
- 影响因子:0
- 作者:
Joanna C. S. Santos;Mehdi Mirakhorli;Ali Shokri - 通讯作者:
Ali Shokri
Views on software engineering from the twin peaks of requirements and architecture
从需求与架构双峰看软件工程
- DOI:
- 发表时间:
2013 - 期刊:
- 影响因子:0
- 作者:
M. Galster;Mehdi Mirakhorli;J. Cleland;J. Burge;Xavier Franch;R. Roshandel;P. Avgeriou - 通讯作者:
P. Avgeriou
Mitomycin
丝裂霉素
- DOI:
- 发表时间:
2019 - 期刊:
- 影响因子:0
- 作者:
Danielle Gonzalez;Joanna C. S. Santos;A. Popovich;Mehdi Mirakhorli;M. Nagappan - 通讯作者:
M. Nagappan
Mehdi Mirakhorli的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Mehdi Mirakhorli', 18)}}的其他基金
Collaborative Research: EAGER: Towards a Design Methodology for Software-Driven Sustainability
合作研究:EAGER:迈向软件驱动的可持续性设计方法
- 批准号:
2233872 - 财政年份:2022
- 资助金额:
$ 40.37万 - 项目类别:
Standard Grant
SaTC: CORE: Small: Characterizing Architectural Vulnerabilities
SaTC:核心:小:描述架构漏洞
- 批准号:
1816845 - 财政年份:2018
- 资助金额:
$ 40.37万 - 项目类别:
Standard Grant
CRI: CI-NEW: Collaborative Research: Constructing a Community-Wide Software Architecture Infrastructure
CRI:CI-NEW:协作研究:构建社区范围的软件架构基础设施
- 批准号:
1823246 - 财政年份:2018
- 资助金额:
$ 40.37万 - 项目类别:
Standard Grant
REU Site: Cultivating Next Generation Software Engineering Researchers
REU 网站:培养下一代软件工程研究人员
- 批准号:
1757680 - 财政年份:2018
- 资助金额:
$ 40.37万 - 项目类别:
Standard Grant
CI-P: Collaborative Research: Planning and Prototyping a Community-Wide Software Architecture Instrument
CI-P:协作研究:规划和原型设计社区范围的软件架构工具
- 批准号:
1629810 - 财政年份:2016
- 资助金额:
$ 40.37万 - 项目类别:
Standard Grant
EAGER: Bringing Design Thinking into Developers' Coding Activities through an Architectural Tactic Recommender System
EAGER:通过架构策略推荐系统将设计思维引入开发人员的编码活动
- 批准号:
1543176 - 财政年份:2015
- 资助金额:
$ 40.37万 - 项目类别:
Standard Grant
相似国自然基金
极化SAR建筑物散射机理精细化描述与信息提取关键技术研究
- 批准号:41801236
- 批准年份:2018
- 资助金额:25.0 万元
- 项目类别:青年科学基金项目
面向震后极化SAR图像震害识别的震区多类型建筑物提取研究
- 批准号:41601479
- 批准年份:2016
- 资助金额:19.0 万元
- 项目类别:青年科学基金项目
基于聚集诱导发光建筑块构筑的新型光功能材料的结构与性能研究
- 批准号:21501065
- 批准年份:2015
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
基于高分辨率时间序列InSAR 数据分析的桥梁形变监测
- 批准号:41571435
- 批准年份:2015
- 资助金额:60.0 万元
- 项目类别:面上项目
基于散射机理分析的极化SAR建筑物震灾损毁评估研究
- 批准号:41301490
- 批准年份:2013
- 资助金额:25.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Comprehensive Understanding on Continuous Column Effects and its Application toward Architectural Design
连续柱效应的全面认识及其在建筑设计中的应用
- 批准号:
20K04783 - 财政年份:2020
- 资助金额:
$ 40.37万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Precise synthesis of architectural polymers with luminescent units at polymer connection points and evaluation of the correlation between structure and physical properties
在聚合物连接点处具有发光单元的建筑聚合物的精确合成以及结构与物理性能之间的相关性评估
- 批准号:
19K15619 - 财政年份:2019
- 资助金额:
$ 40.37万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
An Analytical Inquiry on Formal Manipulations of Architectural Structure in Architects' Sketches and Their Attempted Application toward Studio Education
对建筑师草图中建筑结构的形式化处理的分析探究及其在工作室教育中的尝试应用
- 批准号:
18K04532 - 财政年份:2018
- 资助金额:
$ 40.37万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
An empirical study on spatial schema of mentally handicapped persons Through Architectural Space Montage Technique and Landscape Montage Technique
建筑空间蒙太奇技术和景观蒙太奇技术对弱智者空间图式的实证研究
- 批准号:
19560650 - 财政年份:2007
- 资助金额:
$ 40.37万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
モジュール動能による低木類の生育状態評価-多種共存に配慮した里山管理計画の立案
使用模块化行为评估灌木的生长状态 - 创建考虑到多个物种共存的里山管理计划
- 批准号:
05J04357 - 财政年份:2005
- 资助金额:
$ 40.37万 - 项目类别:
Grant-in-Aid for JSPS Fellows