面向组合式软件功能正确性和非功能满足性的统一建模方法

在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个重要的问题。在组合式软件的设计阶段,建立组合式软件功能和非功能的统一模型并验证其功能正确性和非功能满足性,是确保组合式软件可信性的重要手段。在UML序列图的基础上进行时间、代价、概率属性的扩展,提出了一种可对组合式软件的交互行为及其时间、代价、概率属性统一建模的属性序列图,该属性序列图以两层模式进行建模,其中基本属性序列图可对涉及时间、代价属性的具体交互场景建模,高层属性序列图通过概率合成基本属性序列图可形成全局场景。给出了针对BPEL4WS的建模实例以说明所提建模方法的有效性。

可组合嵌入式软件建模与验证技术研究综述

可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合性的乐观定义和悲观定义,从组合操作、组合规则两个方面定义构件间的组合机制.针对嵌入式构件的特点,着重调研了非功能特性和异构构件的建模与组合技术,分析了非功能特性约束、面向多特性的模型等方法.分析了基于契约的验证、基于不变量的验证、基于模型检查的验证等多种嵌入式软件组合验证技术.最后,探讨了需要进一步研究的问题.

可组合嵌入式软件建模与验证技术研究分析

可组合嵌入式软件是计算机构件得以开发的基础,对嵌入式构件的模型建立、组合形式、构件组合的相关机制进行分析和验证,能够在一定程度上促进嵌入式软件的发展,分别从组合操作和组合规则等方面进行不同的讨论,结合嵌入式构件的特征,分析嵌入式构件的非功能特征和异构特征,从而研究可组合嵌入式软件组合方法,从而对那些非功能特征进行分析,从而能够打破非功能特征的约束,从而能够使嵌入式软件的组合具有更好的兼容性。

Oracle JDeveloper 10g免费开放给开发者

7月4日甲骨文在美国总部宣布，作为对Java研发人员的承诺，将对所有研发人员免费开放Oracle JDeveloper 10g。此外，甲骨文正计划在Eclipse Foundation开源社区中带头推行JavaServer Faces（JSF）界面，还将作为主要参与者加入Apache MyFaces项目。