排序方式: 共有26条查询结果,搜索用时 15 毫秒
1.
为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机(WCFA)对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机(NWA)对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机(NWA)的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性(SAT)求解工具对这些断言进行验证. 相似文献
2.
3.
基于Fedora的数字资源管理方案的研究与实现 总被引:7,自引:0,他引:7
以清华大学开展的数字资源长期保存,数字图书馆的建设为背景,通过对开放源代码的Fedora系统框架的研究,以及和DSpace系统的比较,提出了基于Fedora的数字资源管理方案,为解决不同种类数字资源统一存储管理问题提供了思路和方法。 相似文献
4.
开放源代码的数字资源管理系统DSpace和Fedora的分析和比较 总被引:12,自引:1,他引:12
对两种流行的开放源代码的数字资源管理系统DSpace和Fedora进行了研究,对其体系结构和主要功能特点作了较为系统的分析和比较,为关注这方面研究的同行提供一些借鉴和参考。 相似文献
5.
6.
大学新生入学时英语口语水平存在较大差异,其中语音差异是比较明显的一方面。作者对新生进行了录音取样,总结归纳发音问题,并分析原因,找出对策。研究发现发音问题主要集中在四个方面:一是音标学习准度不够,二是混淆相似音,三是添加尾音,四是错误领会国际音标和美式音标的区别。解决这些问题对大学新生进行系统的语音问题纠正可以起到一定作用,但最根本的解决办法是在学生接受英语教育之初进行正规系统的音标教育。文章对音标先期教育的必行性和可行性进行了论述。 相似文献
7.
一、引言 为了改进政府工作效率.消除“信息孤岛现象”,各国政府效仿企业信息集成的观念,开始对政府中的信息资源和系统功能进行有效的集成和整合。美国政府自上世纪90年代中就开始讨论整个联邦政府的信息系统架构.以确保政府各部门之间能按照统一的标准和规范实施信息系统.整理信息资源。欧洲联盟(简称“欧盟”)内,不仅各国政府内部开始构建统一的政府信息平台而且在欧盟各国政府之间也在构建数据交流平台.以保证欧盟内部的信息畅通。 相似文献
8.
随着应用需求的快速增长,能够灵活、快速、高效地处理复杂业务逻辑已经成为中国铁路客运专线票务系统的迫切需求。研究如何将规则引擎技术应用到铁路客运专线票务系统中,利用规则引擎技术抽取铁路客运专线票务系统中的浮动票价计算策略,将其转化成标准的业务规则存储在规则库中,并集成到票价计算系统中,从而建立灵活地浮动票价计算系统。基于两种规则引擎工具开发了验证系统并进行性能测试和对比,分析两种系统优缺点,为铁路客运专线票务系统中浮动票价的实现提供参考。 相似文献
9.
10.