本文選題：Web服務(wù) + Web服務(wù)組合��； 參考：《電子科技大學(xué)》2014年碩士論文

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

【參考文獻(xiàn)】

相關(guān)期刊論文 前1條

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

相關(guān)博士學(xué)位論文 前2條

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

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

，

本文編號：1754544