"CAREER:" Enforcing and Validating User-Defined Programming Disciplines

“职业：”执行和验证用户定义的编程规则

• 批准号: 0545850
• 负责人: Todd Millstein
• 金额: $ 32万
• 依托单位: University of California-Los Angeles
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-03-15 至 2012-02-29
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0545850&HistoricalAwards=false
• 关键词: CAREER; Enforcing; Validating; User; Defined

ABSTRACTCCF-0545850Todd MillsteinUniversity of California - Los AngelesCAREER: Enforcing and Validating User-Defined Programming DisciplinesProgrammers manage the complexity of developing and maintaining software systems by adhering to various programming disciplines, which impose additional structure on program entities. However, today'sprogramming languages lack support for specifying and checking important classes of programming disciplines, making these disciplines easy to forget or misuse. This research investigates a framework foruser-defined programming disciplines. A user of the framework specifies a programming discipline through declarative rules, which are automatically enforced on programs at compile time. The user may also specify a discipline's intended run-time invariants, and the framework helps to ensure that the provided rules respect these invariants. The research focuses on an instantiation of the framework for Java that targets three major discipline classes: disciplines for design patterns; disciplines that impose structure on concurrentprograms, and disciplines that ensure strong forms of object encapsulation. The proposed framework aims to improve the quality of software systems by allowing programmers to easily document, enforce, and validate relied-upon programming disciplines. The resulting tools will be made publicly available and incorporated in the classroom.

摘要CCF-0545850托德·米尔斯坦加利福尼亚大学 - 洛杉矶分校职业：执行和验证用户定义的编程规则程序员通过遵守各种编程规则来管理开发和维护软件系统的复杂性，这些规则对程序实体施加了额外的结构。 然而，当今的编程语言缺乏对指定和检查重要的编程规则类别的支持，使得这些规则很容易被忘记或误用。 这项研究调查了用户定义编程学科的框架。 该框架的用户通过声明性规则指定编程规则，这些规则在编译时自动在程序上强制执行。 用户还可以指定学科的预期运行时不变量，并且框架有助于确保所提供的规则尊重这些不变量。 该研究的重点是 Java 框架的实例化，该框架针对三个主要学科类别：设计模式学科；对并发程序强加结构的规则，以及确保强大的对象封装形式的规则。 所提出的框架旨在通过允许程序员轻松记录、执行和验证所依赖的编程规则来提高软件系统的质量。 由此产生的工具将公开并纳入课堂。