Java的偶然性分析.docVIP

Java的偶然性 IDE集成。现在继续研究的重点是爱茉莉正式证明的类型安全，应用参考实现中档和分布式的应用程序。 关键字：Java的偶然性 新技术提高软件组件的可组合性近年来进行了调查。研究有时直接承担的大型目标系统和企业应用程序的可组合性，但实现的方法在面向对象语言面临同样的问题。面向对象范型支持世界观层次建模工件的中央组织原则和行为的应用程序域。障碍整洁的设计和重用的幌子出现“横切”关切或类型安全“漏洞。“建议往往需要支持框架,动态类型,或其他这样的剧烈改变语法和类型的Java作为解决方案的一部分。 本文报告一种语言构造的发展旨在解决这些重要问题的某些编程语言可组合性的水平。这个解决方案的目的是通过这种构造核心Java能够大规模分布式通信组件系统。具体问题是概念的普遍性和扩大的潜在的解决方案。开发建设的指导原则是：单个或狭窄的问题,消除关键的核心Java类型安全缺陷影响可组合性,和最大化的新功能/安全用最小的新元素和变化。这些选择寻求避免以前的大规模工作遇到的问题。产生的构造,Java偶然性,是基于一个既定公式(1 - 3)对类对象的精确组合关系,有共同的行为的十字路口。在创作一个新的组件，从行为交叉感兴趣的元素声明为“意外发生的”类型的成员。类和接口组成预编译后这样是正常的Java类型。他们不是新的分类器(如枚举，添加到Java 5)或一种超级的类型。 生产力的直接后果包括更方便互换,改善封装和减少有害的耦合。它提供了改善稳固类型，有效成分不能遇到铸造异常或null异常运行时由于组成。这些改进被认为是实现通过可比手写的逻辑，但应用程序与细节家务相混淆。构造应导致更少的代码，支持可组合性的语言或其他框架的需要,更多地关注行为和构件的应用程序域。换句话说，它可以减少编码机制的可组合性,往往不可避免地夹杂着应用程序问题。而其他提议改变核心Java类型系统的解决它们的一些组合问题，Java偶然性构造相对优雅的语法和操作。它不会改变基本的Java类型系统或JVM，不需要安装框架运行时支持,并且不征收新的编码元素的使用传统的Java语言是令人满意的。达到这没有强加限制妨碍组成。 2叙述 第一个Java偶然性的规则,js1和js2,从标准JLS规则接口和类声明和修改一个额外的术语。这些Java偶然性的规则直接修改Java语法基础（标准）。其他规则不存在就正常(non-supervenient)的解析Java类和接口的应用程序。一个类或接口声明解析js1或者js2，分别是一个伴随产生的类型。语法规则js3 通过js8只适用于为随后发生的类型解析代码。当一个正常的类或接口是指伴随产生的一种类型，生成的字节码可能以不同的方式来执行指定的行为及其语义。 2.1扩展Java语法规范的偶然性 Java的语法偶然性是一个小的Java语言规范的语法之外。非正式的语义描述与每个8新的或修改规则是在JLS完成的。前两个规则，js1和js2修改现有的JLS声明和类声明语法规则界面。这些给解析树路径指定的子语言js8规则作为一个整体。也有一些现有的JLS组合规则不变,但一些语义变化适用于它们的上下文内的子语言。其余的JLS规定的语言保持不变。 2.2构造函数和赋值 Java偶然性构造似乎成功地提供了一个有用的功能与一个非常小的范围的语法。真的只有两个规则js1和js2插入Java,和其他8规则是当地的。这两个规则本身只有单独的效率，可以配置为一个单一的变化介绍了“超级”条款两类和接口的语法。本研究试图建立一个可组合性构造基于一些包罗万象的理论，而不是大多数建议仅仅发射攻击行为封装的面向对象的基本状态。在架构上服务的偶然性关系良好的有效方法。 Java偶然性的实用价值取决于其稳健型以及它的力量来解决可组合性问题。功能和建模能力必须确保： （1）添加到主句没有受到伤害； （2）承诺尽可能消除危害 （3）它是一致的和易于理解和应用。 4 将来的工作 本文没有使用伴随产生的异常的研究报告。不完善的协议概念二元运算符。考虑Java偶然性的好处这里不探讨构造与EJB3一起使用。使用中间件与偶然性是一个有趣的是一个需要快速调查。Java偶然性不解决并发性在任何特定的方式。预计随后发生的对象可视为常规对象在任何多个会话或多线程框架。在撰写本文时,没有发现特殊情况会显示Java偶然性由于限制隐含的问题。没有安全问题预计将出现以来新构造生活在相同的环境中。最重要的下一步是精化的类型安全的证据。 5 总结 本文提出了Java偶然性构造。结果似乎表明，一组相当大的功能是通过添加一个非常温和的核心Java语法和语义。没有明显的缺陷被发现。显然的构造提供了一种优雅的方式解决一些基本的问题感兴趣的面向对象，Java语言,特别是社区。规范