【摘 要】
：
服务描述在面向服务计算中的作用至关重要,描述不足是服务描述的主要问题。本文以环境本体为基础,提出了一种投影描述方法,定义了本方法描述所需信息及描述产生的结果,陈述了描述的步骤。本方法可以根据具体领域的需要来生成服务的描述,不仅可以更确切有效地描述服务的效果,而且刻画了服务作用环境的特征。
【机 构】
：
中国科学院计算技术研究所 北京 100190 中国科学院研究生院,北京 100049 中国科学院计
【出 处】
：
2008全国软件与应用学术会议(NASAC08)
论文部分内容阅读
服务描述在面向服务计算中的作用至关重要,描述不足是服务描述的主要问题。本文以环境本体为基础,提出了一种投影描述方法,定义了本方法描述所需信息及描述产生的结果,陈述了描述的步骤。本方法可以根据具体领域的需要来生成服务的描述,不仅可以更确切有效地描述服务的效果,而且刻画了服务作用环境的特征。
其他文献
随着大规模数据集在高性能并行计算中应用的日趋广泛,优化大规模数据集的存储结构成为提高上层应用运行效率的重要途径。本文实现的LDFS分布式存储结构打破了单机存储和传统分片分布式存储系统的局限,针对大规模数据的特性对存储方式进行了改进.LDFS使月冗余副本的方式以实现高效的并发读写和容错能力,带外传榆、捎带指令、负载均衡、客户端校验等技术的应用进一步提高了系统的访问效率和稳定性。同时,LDFS还具有良
为了克服全球计算环境中计算节点的动态性的特征,引入了计算节点可信任度模型,该模型分别收集节点的历史任务完成情况和专门测试节点对计算节点的测试情况这两条独立的证据,并利用Dempster-Shafer(D-S)合成法则对影响计算节点可信任度的这两条因素进行综合处理,得到该节点基于时间段的可信任度。可信任模型可以用于网格平台的任务调度、任务迁移及网格平台的性能预测等。通过一种轻量级的桌面网格平台上的基
Agent理论和技术研究自上世纪九十年代以来非常活跃并取得了广泛成果,但当前的Agent技术难以展现其自适应性特征,以动态绑定机制为基础实现的Agent策略描述语言(ASDL),可以使Agent在运行时根据环境和状态的变化,按照预定义的决策,动态绑定、释放、激活或钝化行为规约,从而实现自主决策和运行机制自适应。ASDL语言的编译器通过JavaCC工具实现,运行时编译为Java代码。本文介绍了ASD
软件体系结构(SA)通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,SA的动态描述常被用来指导分析和测试。
本文结合N版本编程软件的特点,对软件中存在的各类错误以及它们对软件可靠性造成的不同影响进行了详尽的阐述。并分析了不完全排错对N版本软件可靠性建模造成的影响,与许多现有N版本软件可靠性模型只分析软件的稳态可靠性不同,本文考虑了随著排错过程的进行软件可靠性的增长过程,建立了一种基于非齐次泊松分布过程的既考虑可靠性增长又考虑不完全排错的N版本编程软件可靠性模型。通过一个2版本编程系统的失效数据集对如何应
能通过编译的C++程序代码可能依然隐含了安全上、设计上或是风格上的缺陷,它们隐蔽性高,并且将导致程序运行时出现内存泄漏、抛出运行时异常等现象,或者导致程序可维护性差。为了有效查找这些缺陷,本文探讨了可定制缺陷规则的C++代码缺陷自动检测技术,介绍了两种缺陷定位方式以及相应的缺陷规则扩展方法,设计并实现了一种代码缺陷自动检测工具CDD,最后通过实验证明了这两种缺陷定位方式以及规则扩展方法是有效的。
本文提出了一种使用AADL建模工具对智能家庭嵌入式系统进行需求分析、模型设计、分析与验证的方法。该方法基于AADL对智能家庭嵌入式软件、软件与硬件的交互关系建模,并对系统模型进行验证、分析,进而设计和开发智能家庭嵌入式软件系统,实现对整个有源家居电器设备的智能化控制和网络化管理,提高嵌入式软件开发质量。
在面向对象程序中,对象的接口行为对于理解对象行为,对象行为验证、测试以及指导其他开发者正确使用对象所提供的外部行为都有十分重要的意义。然而在很多遗产系统中,对象接口规范常常缺失或随着长期的代码维护而出现不一致。因此,有效的自动化接口行为逆向恢复对于面向对象程序的维护具有重要意义。针对这一问题,本文提出了一种基于静态源代码分析的对象接口规范自动提取工具。该工具通过读入源代码分析获取对象(类)内部各接
信任管理为跨域资源共享提供了灵活可伸缩的安全策略描述方法。由于缺乏对凭证和安全情境的有效管理,现有信任管理系统难以适应跨域安全策略的分治性、多样性和动态性。提出一种跨域授权体系结构Diamant,采用一种新的凭证存储方法以简化凭证链搜索过程,基于环境函数对安全情境和会话状态的进行检测,并基于角色会话实现动态的分布属性管理.Diamant基于一种可扩展逻辑引擎实现了环境感知的策略满足性验证,以服务形
基于构件的软件开发(CBSD)已成为软件工程研究与实践所关注的重点。在升级维护构件化软件系统时,如何分析与验证系统中功能构件的可替换性是其中较为重要的研究问题。本文针对采用面向对象范型的构件化系统展开工作,形式描述与定义了构件及其对外交互协议,通过分析替换构件与被替换构件之间的行为协议关系,讨论了新功能构件在行为协议级所需满足的要求,给出了相应的验证规则与定理,用于确保构件替换后仍能保持系统内构件