基于同步网的BPEL建模和验证

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL（Business Process Execution Language）是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。     

多媒体传感器网络中服务感知的业务调度算法

作为传感器网络的高级形式，多媒体传感器网络在环境监控、安全监控以及医疗保健等诸多应用领域发挥重要作用。首先介绍一种提供区分服务的分簇传感器网络体系结构，进而提出一种服务感知的业务调度策略，使用非抢占的优先扳排队模型保障两类服务对时延的要求，以提供满足监控应用需求的QoS。理论分析和仿真试验证明了方法的有效性。较之其它典型方法，方法更适用于可提供区分服务的多媒体传感器网络。     

高校图书馆深化信息服务刍议

本文从社会发展的外部环境和高校图书馆自身的内部环境两方面，论述了高校图书馆开展信息服务工作的必要性和可行性，并提出高校图书馆开展信息服务工作应注意的几个问题。     

图书馆读者服务工作新探

阐述了图书馆读者服务工作的重要性,论述了读者服务与服务质量管理的关系,对如何创新图书馆读者服务工作提出了几点对策和建议.     

试论电子政务视域下的县级图书馆服务工作

介绍了我国电子政务建设的现状,阐述了县级图书馆在当今电子政务发展中的重要作用与历史使命,提出了如何依托电子政务做好县级图书馆服务工作的建议与措施.     

试论建立分层次服务的学科馆员制度

从学科馆员的内涵、职责定位以及国内外高校学科馆员工作内容的比较出发,指出我国高校图书馆学科馆员制度的建立要结合各馆的实际情况,分不同层次开展服务.     

一种基于FCFS调度策略的多处理机系统的仿真模型

根据多处理机的随机模型调度算法和排队系统的仿真原理，提出了基于FCFS的多处理机的调度评价模型，并开发了仿真软件，用于预测多处理机方式下的系统性能参数。     

论高校图书馆参考咨询服务中大学生的信息素养

分析了国内外大学生信息素养的现状,提出对未来大学生信息素养培养的几点建议,指出高校图书馆工作的重心。     

基于XACML的Web服务访问控制应用探讨

首先对访问控制技术DAC、MAC和RBAC经行了分析，接着对可扩展访问控制标记语言XACML及其访问控制模型的原理经行了研究，最后提出了一种应用于动态电子商务中的基于XACML的WEB服务访问控制方案供探讨．     

高校图书馆大规模馆藏精准迁移模式探讨--以华北电力大学图书馆为例

书库藏书迁移的运作主要在于精心准备和周密筹划。详细介绍了华北电力大学图书馆利用汇文文献信息服务系统的强大分析功能并结合Excel软件的使用技巧,实现大规模馆藏迁移精准排架工作的经验。