本文選題：Web服務 + Web服務組合　； 參考：《電子科技大學》2014年碩士論文

【摘要】：圖書館是高校的文獻信息中心,是為高校教學和科學研究服務的學術性機構,是高校信息化和社會信息化的重要基地。它擔負著教育與信息服務的雙重職能,是高校師生學習研究的重要場所,更是高校對外開放和合作交流的重要平臺。自上世紀80年代以來,隨著我國國民經濟、社會的高速發(fā)展,以及IT技術的日新月異和計算機的普及,高校圖書館的信息管理系統(tǒng)也經歷了從單模塊系統(tǒng)到單機或多機的集成系統(tǒng)再到網絡化系統(tǒng)的跨越式發(fā)展,取得了巨大的成績,并為我國高等教育的發(fā)展做出了應有的貢獻。目前,高校圖書管理系統(tǒng)的建設面臨以下兩個方面的挑戰(zhàn):一、上世紀90年代后期,中國高等教育的深化改革帶來了中國高校規(guī)模的急劇擴張,形成了高校多校區(qū)辦學的格局,進而形成了高校的多校區(qū)圖書館的局面。它為圖書館的信息化建設帶來挑戰(zhàn):每個校區(qū)原本都設有圖書館,每個圖書館都購買或者自行開發(fā)了功能比較完善的圖書管理系統(tǒng)。而這些系統(tǒng)大多數都基于局域網,這就造成了各校區(qū)的圖書館藏資源不能共享,形成了一個個信息“孤島”。系統(tǒng)之間不能信息共享,功能相同的模塊也要進行重復開發(fā),使得信息不能保持一致性,工作效率低。二、目前IT正在經歷向第三計算平臺的大遷移。隨著IT向第三計算平臺——云平臺的遷移,高校圖書館又面臨全新的機遇和挑戰(zhàn):云計算環(huán)境下,高校圖書館作為教育與信息共享平臺的管理模式、服務模式需要創(chuàng)新,隨時、隨地、個性化的服務需求將導致高校圖書館的全新變革。在此背景下,面向山東財經大學圖書館信息化建設的實際需求,我們設計實現(xiàn)了山東財經大學圖書管理原型系統(tǒng)。本論文主要解決了如下三個關鍵問題:首先是系統(tǒng)架構的選擇,在對高校圖書管理系統(tǒng)的國內外研究現(xiàn)狀充分掌握的情況下,經分析比較,摒棄了傳統(tǒng)的B/S三層結構,采用了面向服務的應用軟件的體系架構SOA。該體系架構具有標準的互操作性、對服務進行靜態(tài)和動態(tài)組合、以數據為中心,并具有更好的開放性和適應性。第二個關鍵問題是異構數據源的集成問題。在面向服務的軟件體系架構中,該問題就轉化為面向服務的軟件與數據庫的接口設計問題。在充分的文獻綜述的基礎上,我們通過數據適配器,將數據庫與數據集鏈接起來,進而建立了面向服務的軟件與不同的數據實體之間的橋梁。第三個關鍵問題是Web服務組合的規(guī)范和實現(xiàn)的一致性問題�；谛问交椒ㄔ谲浖こ填I域的成功應用,我們采用著名的Pi-演算作為Web服務和Web服務組合的統(tǒng)一描述語言,利用Pi-演算的表達和推理能力,可以對Web服務組合的規(guī)范和實現(xiàn)進行一致性驗證。
[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

【參考文獻】

相關期刊論文 前1條

1 張建平;龍旭梅;劉鵬年;馬明慧;;云計算影響下的圖書館[J];科技信息;2010年31期

相關博士學位論文 前2條

1 朱涵;模型獨立的移動演算理論[D];上海交通大學;2009年

2 王欣;數據集成技術若干問題的研究[D];上海交通大學;2010年

，

本文編號：1754544