本文關(guān)鍵詞： 輕量級(jí)服務(wù)生成 模型驅(qū)動(dòng)開(kāi)發(fā) 移動(dòng)應(yīng)用開(kāi)發(fā) 服務(wù)聚合 不完全信息規(guī)劃 行為兼容性分析　出處：《北京郵電大學(xué)》2017年博士論文　論文類型：學(xué)位論文

【摘要】：隨著移動(dòng)網(wǎng)絡(luò)和移動(dòng)終端的普及,移動(dòng)服務(wù)正影響著人們的日常生活,例如,網(wǎng)上訂餐服務(wù)和智能停車服務(wù)等。尤其,應(yīng)用商店的推廣和應(yīng)用功能的提升使得大量的用戶進(jìn)入移動(dòng)社區(qū)。這也促使移動(dòng)服務(wù)的長(zhǎng)尾需求日益明顯,也就是說(shuō),很多用戶希望獲取個(gè)性化應(yīng)用來(lái)滿足他們的特定服務(wù)需求。但是,移動(dòng)應(yīng)用商店經(jīng)常不能給終端用戶提供恰當(dāng)?shù)膽?yīng)用來(lái)處理他們的個(gè)性需求。服務(wù)聚合開(kāi)發(fā)可以很好地解決終端用戶的個(gè)性化需求,它的基本思想是讓用戶根據(jù)自己需求,利用已有的服務(wù)資源,快速設(shè)計(jì)并生成應(yīng)用。服務(wù)聚合開(kāi)發(fā)已成為移動(dòng)計(jì)算和軟件開(kāi)發(fā)領(lǐng)域共同的研究熱點(diǎn)�，F(xiàn)有的服務(wù)聚合方法存在“生成的應(yīng)用類型單一”、“技術(shù)門檻較高”、以及“無(wú)法提供正確性保證”等問(wèn)題。針對(duì)此,本文提出了一種面向移動(dòng)環(huán)境的輕量級(jí)服務(wù)生成方法,主要的工作和貢獻(xiàn)包括以下三方面:(1)提出了一種模型驅(qū)動(dòng)的移動(dòng)應(yīng)用開(kāi)發(fā)框架一MobiMVL。合理的架構(gòu)范型是應(yīng)用開(kāi)發(fā)的基礎(chǔ),也是引導(dǎo)用戶開(kāi)發(fā)的基本方法。MobiMVL引入了一個(gè)三元架構(gòu),將應(yīng)用分為:服務(wù)組件域、GUI、以及業(yè)務(wù)邏輯三個(gè)元素。MobiMVL的三個(gè)元素分別采用模型驅(qū)動(dòng)的開(kāi)發(fā)模式,并通過(guò)簡(jiǎn)單的協(xié)同集成完成應(yīng)用開(kāi)發(fā)。針對(duì)服務(wù)組件元素,提出了一種統(tǒng)一數(shù)據(jù)模型SDM,并提供了相應(yīng)的實(shí)現(xiàn)模板,方便用戶接入服務(wù)。針對(duì)GUI,提出了一種基于Widget的GUI生成模型,允許終端用戶通過(guò)Widget組合的方式快速生成GUI。為了實(shí)現(xiàn)GUI的跨平臺(tái)能力,提出了一種自適應(yīng)的Widget模型,它將UI元素、本地功能和第三方服務(wù)以統(tǒng)一的形式進(jìn)行實(shí)現(xiàn),并且可以自動(dòng)適配到不同的移動(dòng)平臺(tái)。針對(duì)業(yè)務(wù)邏輯元素,提出了一種基于數(shù)據(jù)流圖的業(yè)務(wù)邏輯表示方法,并且實(shí)現(xiàn)了一種異步式的事件驅(qū)動(dòng)執(zhí)行機(jī)制。MobiMVL引入了 “軟件即服務(wù)”的基本思想,可以系統(tǒng)地完成移動(dòng)服務(wù)的生成和提供。根據(jù)MobiMVL開(kāi)發(fā)框架,實(shí)現(xiàn)了一套移動(dòng)應(yīng)用開(kāi)發(fā)平臺(tái),它包括ServiceAccess、EasyApp和LSCE三個(gè)工具,分別用于 MobiMVL三元素的開(kāi)發(fā)和集成。利用應(yīng)用實(shí)例,分別對(duì)開(kāi)發(fā)平臺(tái)進(jìn)行了終端用戶評(píng)估和性能評(píng)估。(2)提出了一種面向不完全信息的半自動(dòng)化服務(wù)聚合方法。智能化的服務(wù)聚合方法可以幫助用戶快速設(shè)計(jì)業(yè)務(wù),并且降低領(lǐng)域知識(shí)門檻。針對(duì)不完全用戶信息,該方法提出了一種動(dòng)態(tài)服務(wù)語(yǔ)義模型,它引入了條件依賴、動(dòng)態(tài)的前驅(qū)和后置條件等信息。此外,該方法提出了一種基于數(shù)據(jù)流的自動(dòng)化服務(wù)聚合模型,并且利用K規(guī)劃理論實(shí)現(xiàn)了一種不完全信息下服務(wù)聚合的自動(dòng)規(guī)劃?rùn)C(jī)制�；谠摲椒�,實(shí)現(xiàn)了一種集成化的服務(wù)聚合系統(tǒng),其中,自動(dòng)規(guī)劃系統(tǒng)的求解出聚合方案會(huì)提交給LSCE環(huán)境,由終端用戶進(jìn)一步模擬測(cè)試。通過(guò)智能停車場(chǎng)實(shí)例展示了智能化聚合系統(tǒng)進(jìn)行業(yè)務(wù)規(guī)劃與開(kāi)發(fā)的整體過(guò)程。最后,分別從規(guī)劃效率和效果兩個(gè)方面對(duì)智能聚合系統(tǒng)進(jìn)行了評(píng)價(jià)。(3)提出了一種基于模型檢測(cè)的服務(wù)行為兼容性分析方法。該方法可以在服務(wù)聚合開(kāi)發(fā)過(guò)程中自動(dòng)生成服務(wù)流程的CSP模型以及行為兼容性的性質(zhì)規(guī)范,然后直接提供給模型檢測(cè)器進(jìn)行驗(yàn)證。如果不滿足兼容性質(zhì),則給用戶反饋相應(yīng)的反例,從而方便進(jìn)行錯(cuò)誤追蹤。為了方便服務(wù)的形式化建模,提出了 一種服務(wù)行為模型,它細(xì)化了 SDM包含的結(jié)構(gòu)信息和邏輯信息。在服務(wù)行為模型和服務(wù)關(guān)系模型的基礎(chǔ)上,提出了服務(wù)流程到CSP模型的自動(dòng)化轉(zhuǎn)化方法。從服務(wù)聚合層面,對(duì)服務(wù)行為兼容性進(jìn)行了分類。針對(duì)每類兼容性問(wèn)題,提供了自動(dòng)化的性質(zhì)規(guī)范方法。最后,基于該方法和PAT檢測(cè)器對(duì)應(yīng)用實(shí)例進(jìn)行了分析和驗(yàn)證。
[Abstract]:With the popularity of mobile Internet and mobile terminal, the mobile service is affecting people's daily life, for example, online meal ordering service and intelligent parking service. Especially, the popularization and application of the function of the app store upgrade makes a large number of users to enter the mobile community. This has prompted the shift of long tail demand dynamic service is becoming more and more obvious, that is to say many users want to get personalized applications, to meet the specific needs of their service. However, mobile application stores often cannot provide users with the appropriate application to handle their individual needs. Demand for personalized service aggregation development can be a good solution to the end user, its basic idea is to let users according to their own needs, the use of service resources the rapid design and generate applications. Service aggregation development has become a common research hotspot of mobile computing and software development. The existing service The polymerization method has a "single" application type "generation, high technical threshold," and "unable to provide correct assurance". For this, proposed a method of generating lightweight service oriented mobile environment, the main work and contributions include the following three aspects: (1) put forward the architecture of mobile application development a model driven framework is a reasonable model based MobiMVL. application development, it is the basic method to guide users to develop.MobiMVL into a three yuan architecture, the application is divided into components: service domain, GUI, and the three elements of the business logic of three elements of.MobiMVL were used to model driven development model, and through the simple integration of collaborative application development. In view of the service component elements, presents a unified data model of SDM, and provides the corresponding template, convenient user access to GUI services. , GUI presents a generative model based on Widget, allows the end user to quickly generate GUI. for cross platform capability of GUI by Widget combined mode, proposed an adaptive Widget model, it will be the UI element, the local function and third party service in a unified form of implementation, and can be automatically adapted to different mobile platforms for business logic elements, this paper proposes a new method of business logic based on data flow graphs, and implements an asynchronous event driven mechanism.MobiMVL introduced "software as a service" the basic idea, can systematically generate and provide mobile services. Based on the MobiMVL framework the platform, a set of mobile application development, including ServiceAccess, EasyApp and LSCE three, respectively for the development of MobiMVL three elements and integration. By application examples, respectively The development platform for the terminal user evaluation and performance evaluation. (2) proposed a semi automated service oriented incomplete information aggregation technique. Intelligent service aggregation method can help users to quickly design business, and reduce the domain knowledge threshold. Based on incomplete information of users, this paper proposes a new dynamic model of service semantics and it introduces condition dependent, dynamic precursor and post conditions and other information. In addition, this paper proposes a new automatic service based on data stream aggregation model, and use K programming theory to achieve a finish automatic planning mechanism under full information service aggregation. Based on this method, to achieve an integrated the service aggregation system, the automatic programming system for aggregation scheme will be submitted to the LSCE by the end user environment, further simulation test. Through the intelligent parking lot examples show the wisdom Can polymerization system overall planning and development of the business process. Finally, from two aspects of efficiency and effectiveness of planning of intelligent polymerization system were evaluated. (3) proposed a method of model checking based on service behavior compatibility. This method can be polymerized in the development process of automatic generation of CSP service process model the nature and behavior compatibility in the service specification, and then directly to the model checker to verify. If it does not satisfy the compatible nature, to user feedback corresponding counterexample, thereby facilitating the error tracking. In order to facilitate the formal modeling service, this paper proposes a kind of service behavior model, it refines the structure information and logical information SDM contains. On the basis of service behavior model and service model, put forward the automation service process to CSP model transformation method. From the service level of service aggregation. Behavioral compatibility is classified. For each class of compatibility problems, an automatic specification method is provided. Finally, an application example is analyzed and verified based on the method and PAT detector.

【學(xué)位授予單位】：北京郵電大學(xué)
【學(xué)位級(jí)別】：博士
【學(xué)位授予年份】：2017
【分類號(hào)】：TP393.09

【參考文獻(xiàn)】

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

1 王玉英;基于賦時(shí)有色Petri網(wǎng)的Web服務(wù)組合建模驗(yàn)證與測(cè)試技術(shù)研究[D];西安電子科技大學(xué);2012年

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

1 夏永敏;基于依賴圖模型的Web服務(wù)組合方法研究[D];南京大學(xué);2014年

，

本文編號(hào)：1554446