检索结果-内蒙古大学图书馆

A case study in re-engineering to enforce architectural control flow and data sharing

JOURNAL OF SYSTEMS AND SOFTWARE 2007年第2期80卷 240-264页

作者： Abi-Antoun, Marwan Aldrich, Jonathan Coelho, Wesley Carnegie Mellon Univ Inst Software Res Inst Pittsburgh PA 15213 USA Univ British Columbia Dept Comp Sci Vancouver BC V6T 1Z4 Canada

Without rigorous software development and maintenance, software tends to lose its original architectural structure and become difficult to understand and modify. ArchJava, a recently proposed programming language which embeds a component-and-connector architectural specification within Java implementation code, offers the promise of preventing the loss of architectural structure. aliasjava, which can be used in conjunction with ArchJava, is an annotation system that extends Java to express how data is confined within, passed among, or shared between components and objects in a software system. We describe a case study in which we incrementally re-engineer an existing Java implementation to obtain an implementation which enforces the architectural control flow and data sharing. Building on results from similar case studies, we chose an application consisting of over 16,000 source lines of Java code and over 90 classes. We describe our process, the detailed steps involved (some of which can be automated), as well as some lessons learned and perceived limitations with the languages, techniques and tools we used. (C) 2006 Elsevier Inc. All rights reserved.

关键词： aliasjava ArchJava ownership domains re-engineering

来源：评论

学校读者我要写书评

暂无评论

Alias annotations for program understanding

Alias annotations for program understanding

引用

17th Meeting on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2002)

作者： Aldrich, J Kostadinov, V Chambers, C Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA

One of the primary challenges in building and evolving large object-oriented systems is understanding aliasing between objects. Unexpected aliasing can lead to broken invariants, mistaken assumptions, security holes, and surprising side effects, all of which may lead to software defects and complicate software evolution. This paper presents aliasjava, a capability-based alias annotation system for Java that makes alias patterns explicit in the source code, enabling developers to reason more effectively about the interactions in a complex system. We describe our implementation, prove the soundness of the annotation system, and give an algorithm for automatically inferring alias annotations. Our experience suggests that the annotation system is practical, that annotation inference is efficient and yields appropriate annotations, and that the annotations can express important invariants of data structures and of software architectures.

关键词： experimentation languages theory aliasjava Java ownership types encapsulation uniqueness aliasing type inference

来源：评论

学校读者我要写书评

暂无评论

Alias annotations for program understanding

引用

ACM SIGPLAN NOTICES 2002年第11期37卷 311-330页

作者： Aldrich, J Kostadinov, V Chambers, C Univ Washington Dept Comp Sci & Engn Seattle WA 98195 USA

关键词： experimentation languages theory aliasjava Java ownership types encapsulation uniqueness aliasing type inference

来源：评论

学校读者我要写书评

暂无评论

Alias annotations for program understanding 02

Alias annotations for program understanding

引用

Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

作者： Jonathan Aldrich Valentin Kostadinov Craig Chambers University of Washington Seattle WA

ISBN: (纸本)9781581134711

One of the primary challenges in building and evolving large object-oriented systems is understanding aliasing between objects. Unexpected aliasing can lead to broken invariants, mistaken assumptions, security holes, and surprising side effects, all of which may lead to software defects and complicate software *** paper presents aliasjava, a capability-based alias annotation system for Java that makes alias patterns explicit in the source code, enabling developers to reason more effectively about the interactions in a complex system. We describe our implementation, prove the soundness of the annotation system, and give an algorithm for automatically inferring alias annotations. Our experience suggests that the annotation system is practical, that annotation inference is efficient and yields appropriate annotations, and that the annotations can express important invariants of data structures and of software architectures.

关键词： java type inference aliasjava uniqueness encapsulation aliasing ownership types

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：