面向服務(wù)的架構(gòu)（Service-Oriented Architecture,簡(jiǎn)稱為SOA）是一個(gè)新興的軟件工程范例,用來(lái)開(kāi)發(fā)動(dòng)態(tài)演進(jìn)的Web應(yīng)用。服務(wù)的提供者和服務(wù)的使用者可以通過(guò)公共的服務(wù)注冊(cè)機(jī)構(gòu)發(fā)布和搜索服務(wù),各個(gè)服務(wù)可以被組合成復(fù)雜的Web服務(wù)組合,服務(wù)之間通過(guò)消息傳遞進(jìn)行交互。Web服務(wù)組合是分布的、動(dòng)態(tài)演進(jìn)的、自治的,組合設(shè)計(jì)者不擁有整個(gè)服務(wù),從而導(dǎo)致在基于服務(wù)的系統(tǒng)中,服務(wù)組合的正確性容易被笫三方參與者和與系統(tǒng)交互的機(jī)構(gòu)所影響。通過(guò)靜態(tài)測(cè)試、驗(yàn)證等技術(shù)能夠保證服務(wù)組合過(guò)程的正確性,但其運(yùn)行時(shí)行為仍可能會(huì)與服務(wù)組合的各種屬性要求不一致,因而有必要實(shí)施Web服務(wù)運(yùn)行時(shí)監(jiān)控。在實(shí)踐中,一般會(huì)部署持續(xù)性的監(jiān)控方法在系統(tǒng)運(yùn)行時(shí)對(duì)整個(gè)服務(wù)組合進(jìn)行監(jiān)控,來(lái)保證系統(tǒng)的運(yùn)行時(shí)行為能夠遵守某些特定的屬性。但是,大多數(shù)已有的成果只關(guān)注了與系統(tǒng)控制過(guò)程相關(guān)的屬性的監(jiān)控,只關(guān)注消息的名稱或者不同服務(wù)之間的信息交互順序正確與否。這樣便導(dǎo)致了許多動(dòng)態(tài)的屬性不能被監(jiān)控,從而不能了解所感興趣的信息數(shù)據(jù)是如何在不同的參與者之間交互的。臨時(shí)屬性是指在系統(tǒng)運(yùn)行過(guò)程中,根據(jù)系統(tǒng)行為的不同,能夠動(dòng)態(tài)綁定不同數(shù)據(jù)的屬性... 

【文章來(lái)源】：山東大學(xué)山東省 211工程院校 985工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：68 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
目錄
CONTENTS
摘要
ABSTRACT
第1章 緒論
    1.1 研究背景及意義
    1.2 文獻(xiàn)綜述
    1.3 研究目標(biāo)及內(nèi)容
        1.3.1 研究目標(biāo)
        1.3.2 研究?jī)?nèi)容
    1.4 論文組織結(jié)構(gòu)
    1.5 本章小結(jié)
第2章 關(guān)鍵技術(shù)與工程背景
    2.1 關(guān)鍵技術(shù)
        2.1.1 Web服務(wù)
        2.1.2 BPEL
        2.1.3 WSDL
        2.1.4 物聯(lián)網(wǎng)
    2.2 工程背景
        2.2.1 北京市路側(cè)停車(chē)系統(tǒng)建設(shè)背景
        2.2.2 系統(tǒng)核心功能
    2.3 本章小結(jié)
第3章 臨時(shí)屬性描述語(yǔ)言
    3.1 相關(guān)研究
    3.2 語(yǔ)言規(guī)約
        3.2.1 SPS
        3.2.2 語(yǔ)言規(guī)約詳細(xì)介紹
    3.3 路側(cè)停車(chē)系統(tǒng)中的臨時(shí)屬性
    3.4 本章小結(jié)
第4章 臨時(shí)屬性監(jiān)控模型
    4.1 基本概念
    4.2 Runtime Verifying系統(tǒng)
        4.2.1 屬性集合創(chuàng)建
        4.2.2 屬性值綁定
    4.3 改進(jìn)的監(jiān)控模型
        4.3.1 事件過(guò)濾
        4.3.2 事件分發(fā)
        4.3.3 異常處理
        4.3.4 相關(guān)算法
    4.4 本章小結(jié)
第5章 系統(tǒng)設(shè)計(jì)與驗(yàn)證
    5.1 測(cè)試系統(tǒng)簡(jiǎn)介
    5.2 測(cè)試系統(tǒng)開(kāi)發(fā)
        5.2.1 開(kāi)發(fā)工具簡(jiǎn)介
        5.2.2 項(xiàng)目?jī)?nèi)容
    5.3 實(shí)驗(yàn)驗(yàn)證
        5.3.1 系統(tǒng)架構(gòu)
        5.3.2 關(guān)鍵代碼
        5.3.3 結(jié)果對(duì)比
    5.4 本章小結(jié)
第6章 總結(jié)與展望
    6.1 課題總結(jié)
    6.2 展望
參考文獻(xiàn)
致謝
攻讀學(xué)位期間發(fā)表的學(xué)術(shù)論文目錄
學(xué)位論文評(píng)閱及答辯情況表


【參考文獻(xiàn)】：
期刊論文
[1]融合描述文檔結(jié)構(gòu)和參引特征的Web服務(wù)發(fā)現(xiàn)[J]. 魏登萍,王挺,王戟.  軟件學(xué)報(bào). 2011(09)
[2]一種基于擴(kuò)展WSDL的測(cè)試數(shù)據(jù)自動(dòng)生成方法[J]. 李盛鋼,丁曉明.  西南師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2011(01)
[3]一種基于監(jiān)控需求的Web服務(wù)運(yùn)行時(shí)監(jiān)控方法[J]. 孫明杰,李必信,張鵬程.  東南大學(xué)學(xué)報(bào)(自然科學(xué)版). 2009(04)
[4]用YACC實(shí)現(xiàn)程序插裝器[J]. 梁應(yīng)宏,陳紹強(qiáng).  北京郵電大學(xué)學(xué)報(bào). 1997(01)

博士論文
[1]面向服務(wù)的業(yè)務(wù)流程建模與驗(yàn)證研究[D]. 張曼.西安電子科技大學(xué) 2012

碩士論文
[1]物聯(lián)網(wǎng)環(huán)境下基于QoS的Web服務(wù)組合研究[D]. 田加正.中國(guó)石油大學(xué) 2011



本文編號(hào)：3516840