日韩精品 中文字幕 动漫,91亚洲午夜一区,在线不卡日本v一区v二区丶,久久九九国产精品自在现拍





		



注冊(cè)  |  登錄讀書(shū)好，好讀書(shū)，讀好書(shū)！






        
讀書(shū)網(wǎng)-DuShu.com

        
         
                
      	
                
                	
                    
                    
                

                
            
        

        

               

				
				
				
       
        




















	當(dāng)前位置： 首頁(yè)出版圖書(shū)科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)網(wǎng)絡(luò)與數(shù)據(jù)通信服務(wù)組合驗(yàn)證與可視化研究

	



    
    

    
服務(wù)組合驗(yàn)證與可視化研究

    

	
服務(wù)組合驗(yàn)證與可視化研究
	
	

	

	

	
定　價(jià)：￥50.00

	

			
					

						作　者：
						李琳
					

					

						出版社：
						武漢理工大學(xué)出版社
					

					

						叢編項(xiàng)：
						
					

					

						標(biāo)　簽：
						暫缺
					

				
	
	

    
	

	

			
					

						ISBN：
						9787562966326
						出版時(shí)間：
						2023-01-01	
                        包裝：
						平裝					
					
					
					
					
						開(kāi)本：
						16開(kāi)
						頁(yè)數(shù)：
						130
						字?jǐn)?shù)：
						 
					
					
				

        

   

    
    
    
	
	
	
	
內(nèi)容簡(jiǎn)介

	

	
　　本書(shū)從基于行為描述語(yǔ)言的建模方法、基于BIM的Web服務(wù)組合建模方法、轉(zhuǎn)換的正確性證明與特性分析驗(yàn)證、基于模型驅(qū)動(dòng)的可視化方法研究等方面著手，研究探索了服務(wù)組合的形式化建模、驗(yàn)證以及模型驅(qū)動(dòng)的可視化技術(shù)。本書(shū)建立了基于BPEL4WS的形式化服務(wù)組合行為模型，構(gòu)造出了形式化服務(wù)組合行為模型WSBM的模擬執(zhí)行過(guò)程，進(jìn)行了Web服務(wù)組合形式化模型的特性分析驗(yàn)證，并以Web服務(wù)組合的行為模型驅(qū)動(dòng)的組合行為交互表達(dá)的可視化方法。本書(shū)中對(duì)于組合服務(wù)的研究，不僅可以促使實(shí)現(xiàn)行業(yè)內(nèi)服務(wù)的有效使用，還可以幫助行業(yè)服務(wù)擁有者將業(yè)務(wù)擴(kuò)大化，提升業(yè)務(wù)價(jià)值。
	
	
	
   
	
	
	
作者簡(jiǎn)介

	

	
暫缺《服務(wù)組合驗(yàn)證與可視化研究》作者簡(jiǎn)介
	
	
	
	
	
	
圖書(shū)目錄

	

	
第1章  緒論

  1.1  Web服務(wù)及其組合

  1.2  形式化方法

  1.3  需求町視化方法

  1.4  基于Petri網(wǎng)的Web服務(wù)組合驗(yàn)證概況

  1.5  基于自動(dòng)機(jī)理論的Web服務(wù)組合驗(yàn)證概況

  1.6  基于進(jìn)程代數(shù)的Web服務(wù)組合驗(yàn)證概況

  1.7  本書(shū)內(nèi)容

第2章  基于行為描述語(yǔ)言的建模方法

  2.1  構(gòu)建行為模型的方法及步驟

  2.2  行為描述語(yǔ)言

  2.3  行為模型實(shí)例

  2.4  本章小結(jié)

第3章  基于BDL的Web服務(wù)組合建模方法

  3.1  BPEL4WS的巴克斯范式

  3.2  Web服務(wù)組合的行為模型WSBM的生成

  3.3  語(yǔ)法樹(shù)構(gòu)建與訪問(wèn)方法

  3.4  BPEL4WS與BDL間的行為映射庫(kù)

  3.5  Web服務(wù)行為模型的動(dòng)態(tài)執(zhí)行模型WSEM

  3.6  案例研究

  3.7  本章小結(jié)

第4章  模型的語(yǔ)義正確性證明與特性分析驗(yàn)證

  4.1  模型動(dòng)態(tài)語(yǔ)義的一致性證明

  4.2  部分特性分析

  4.3  實(shí)例研究

  4.4  本章小結(jié)

第5章  基于模型驅(qū)動(dòng)的可視化方法研究

  5.1  模型可視化建模方法

  5.2  行為模型到狀態(tài)模型的轉(zhuǎn)換規(guī)則

  5.3  Web服務(wù)組合可視化案例研究

  5.4  本章小結(jié)

第6章  總結(jié)與展望

  6.1  總結(jié)

  6.2  展望

參考文獻(xiàn)
	
	

	

    
       
    
	
	

   

   

   

    
   

   
本目錄推薦







掃描二維碼










    

        

            
        

        
Copyright ? 讀書(shū)網(wǎng) rgspecialties.com 2005-2020, All Rights Reserved.

        
鄂ICP備15019699號(hào)  鄂公網(wǎng)安備 42010302001612號(hào)