摘要：设计了一个基于Petri Net的Web服务组合流程建模引擎.把BPEL流程的语法元素按其语义转换为Petri Net模板,通过模板组合来得到整个流程的Petri Net模型,并以Petri Net标记语言(Petri Net Mark-up Language,PNML)文件格式来描述Petri Net模型,从而能够利用现有的支持PNML文件的Petri Net分析工具对流程进行分析,通过对Petri Net的性质验证来达到对服务流程的验证目的,以在流程定义阶段发现其存在的问题.实际结果表明,采用该工具可以确保服务组合流程设计的正确性,增加服务组合的可靠性.

摘要：延伸共享范围、扩大共享规模、拓宽经费来源、构建强有力的协调机构是当前图书馆合作面临的主要挑战。PPP模式通过吸引社会力量的技术资金驱动优势以及政府监督评价管理的约束优势,构建有力的"伙伴合作、利益共享、风险分担"的合作模式,以应对当前的挑战。研究认为,扩展二元主体(图书馆—社会)实践经验的基础上,以PPP思想构建三元主体(政府—图书馆—社会)的新型合作模式,通过社会资金技术的驱动与政府监督管理约束的双重力量来完善合作机制,可更好的实现图书馆合作以及资源共享和服务创新。

摘要：[目的/意义]当前区域图书馆联盟存在协调机制松散、业务系统及数据交换困难等问题,提出"政府-图书馆-企业"三元合作的联盟管理架构,对经费保障、效果监督、各方理解合作愿景以及平台数据库系统标准统一有着重要意义,是区域图书馆联盟管理模式的演进方向之一。[方法/过程]研究了区域图书馆联盟管理模式的内在演进机理以及典型EA的特征分析及选择方法。开放、多元的管理模式变化使得资源管理的整体性和变更管理难度加大,从内部层次化架构管理以及边界一致性管理两个方面,构建了包括合作目标(绩效)、业务系统、数据资源以及安全保障等元素的内部管理架构,并分析了系统与外部环境边界、系统与实际效果边界的一致性完善管理效能的改善流程方法。[结果/结论]研究认为,基于EA的管理架构能使合作各方在同一的框架内对目标、资源、平台、环境等要素得以审视,可为多元的区域图书馆联盟管理者提供整体化管理蓝图,从而可解决当前区域图书馆联盟合作过程中理解错位、协调困难、系统不通等影响资源无法深入共享的难题。

摘要：＂教学资源素材库＂是教学信息化的基础支撑库,为全校教师备课时提供丰富的参考资源。建设一个学科门类齐全、内容丰富的资源库,可有效提高教师备课效率和电子教案的质量。在研究当前先进的Web2.0网络设计技术的基础上,结合多年多媒体课件制作经验,优化现有资源素材库的数据交换机制,提高了服务系统的响应,改进了用户的浏览体验。

摘要：教学资源的共享以及统一管理必须解决的是对资源的语义描述，本文采用元数据资源描述的方法，设计实现教学资源的元数据描述规范框架，并给出基于RDF元数据框架的描述实现，从而实现教学资源的可管理、可查询、可评测，为资源的集中管理、统一服务提供基础数据通信规范。

摘要：本文以RS485的总线方式组网,主节点采用Power PC作为控制器,从节点采用DSP作为控制器,主节点和从节点通过RS485串行通讯口相连接,采用自定义的串行通信协议,实线多机通信的要求,完成测试系统的构建。