基于Web服务的山东财经大学图书管理系统的设计与实现

发布时间：2018-04-15 14:40

本文选题：Web服务 + Web服务组合　；参考：《电子科技大学》2014年硕士论文

【摘要】：图书馆是高校的文献信息中心,是为高校教学和科学研究服务的学术性机构,是高校信息化和社会信息化的重要基地。它担负着教育与信息服务的双重职能,是高校师生学习研究的重要场所,更是高校对外开放和合作交流的重要平台。自上世纪80年代以来,随着我国国民经济、社会的高速发展,以及IT技术的日新月异和计算机的普及,高校图书馆的信息管理系统也经历了从单模块系统到单机或多机的集成系统再到网络化系统的跨越式发展,取得了巨大的成绩,并为我国高等教育的发展做出了应有的贡献。目前,高校图书管理系统的建设面临以下两个方面的挑战:一、上世纪90年代后期,中国高等教育的深化改革带来了中国高校规模的急剧扩张,形成了高校多校区办学的格局,进而形成了高校的多校区图书馆的局面。它为图书馆的信息化建设带来挑战:每个校区原本都设有图书馆,每个图书馆都购买或者自行开发了功能比较完善的图书管理系统。而这些系统大多数都基于局域网,这就造成了各校区的图书馆藏资源不能共享,形成了一个个信息“孤岛”。系统之间不能信息共享,功能相同的模块也要进行重复开发,使得信息不能保持一致性,工作效率低。二、目前IT正在经历向第三计算平台的大迁移。随着IT向第三计算平台——云平台的迁移,高校图书馆又面临全新的机遇和挑战:云计算环境下,高校图书馆作为教育与信息共享平台的管理模式、服务模式需要创新,随时、随地、个性化的服务需求将导致高校图书馆的全新变革。在此背景下,面向山东财经大学图书馆信息化建设的实际需求,我们设计实现了山东财经大学图书管理原型系统。本论文主要解决了如下三个关键问题:首先是系统架构的选择,在对高校图书管理系统的国内外研究现状充分掌握的情况下,经分析比较,摒弃了传统的B/S三层结构,采用了面向服务的应用软件的体系架构SOA。该体系架构具有标准的互操作性、对服务进行静态和动态组合、以数据为中心,并具有更好的开放性和适应性。第二个关键问题是异构数据源的集成问题。在面向服务的软件体系架构中,该问题就转化为面向服务的软件与数据库的接口设计问题。在充分的文献综述的基础上,我们通过数据适配器,将数据库与数据集链接起来,进而建立了面向服务的软件与不同的数据实体之间的桥梁。第三个关键问题是Web服务组合的规范和实现的一致性问题。基于形式化方法在软件工程领域的成功应用,我们采用著名的Pi-演算作为Web服务和Web服务组合的统一描述语言,利用Pi-演算的表达和推理能力,可以对Web服务组合的规范和实现进行一致性验证。
[Abstract]:The library is the document information center of the university, is the academic organization which serves for the university teaching and the scientific research, is the important base of the university information and the society informationization.It is a dual function of education and information service. It is an important place for teachers and students to study and research. It is also an important platform for colleges and universities to open to the outside world and cooperate with each other.Since the 1980s, with the rapid development of our national economy and society, as well as the rapid development of IT technology and the popularization of computers,The information management system of the university library has also experienced the leapfrog development from the single module system to the integration system of single or multiple computers to the network system, and has made great achievements, and has made due contribution to the development of higher education in our country.At present, the construction of university library management system is facing the following two challenges: first, in the late 1990s, the deepening reform of higher education in China has brought about the rapid expansion of the scale of Chinese universities, forming the pattern of multi-campus running schools in colleges and universities.Thus forming the situation of multi-campus library in colleges and universities.It brings challenges to the information construction of the library: each campus originally has a library, each library has purchased or developed a relatively perfect function of the library management system.Most of these systems are based on local area network (LAN), which results in the library resources of each campus can not be shared, forming a "isolated island" of information.The information can not be shared between the systems, and the modules with the same functions should be redeveloped, which makes the information not consistent and inefficient.Second, IT is now undergoing a major migration to the third computing platform.With the migration of IT to the third computing platform-cloud platform, university libraries are faced with new opportunities and challenges: under the cloud computing environment, university libraries, as a management model of education and information sharing platform, need to be innovated at any time.The individualized service demand will lead to the new reform of university library.Under this background, facing the actual demand of the library information construction of Shandong University of Finance and Economics, we have designed and implemented the library management prototype system of Shandong University of Finance and Economics.This paper mainly solves the following three key problems: firstly, the choice of the system architecture, under the condition that the domestic and foreign research status of the university library management system is fully grasped, after analyzing and comparing, the traditional B / S three-tier structure is abandoned.The architecture of Service-Oriented Application Software (SOA) is adopted.The architecture has standard interoperability, static and dynamic composition of services, data-centric, and better openness and adaptability.The second key problem is the integration of heterogeneous data sources.In Service-Oriented Software Architecture, this problem is transformed into the interface design of Service-Oriented Software and Database.On the basis of sufficient literature review, we link the database with the data set through the data adapter, and then build a bridge between the service-oriented software and different data entities.The third key problem is the specification and implementation consistency of Web service composition.Based on the successful application of formal methods in the field of software engineering, we adopt the famous Pi-calculus as the unified description language of Web services and Web services composition, and utilize the expression and reasoning ability of Pi-calculus.The specification and implementation of Web service composition can be verified consistently.
【学位授予单位】：电子科技大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.09;TP311.52

【参考文献】