臺灣人文及社會科學引文索引資料庫系統

:::

詳目顯示

回上一頁
第 1 筆 / 總合 1 筆   第一頁 上一頁 下一頁 最後一頁
/1頁
題名：驗證網路服務組合之服務品質的可靠性
書刊名：資訊、科技與社會學報
作者：戚玉樑 引用關係／李志偉
出版日期：2005
卷期：5:2=9
頁次：頁61-80
主題關鍵詞：網路服務；服務組合；工作流程；可靠性；Web services；Service composition；Workflow；Reliability
原始連結：連回原系統網址new window
相關次數：
  • 被引用次數被引用次數:期刊(0) 博士論文(0) 專書(0) 專書論文(0)
  • 排除自我引用排除自我引用:0
  • 共同引用共同引用:0
  • 點閱點閱:15
網路服務(Web Services)是應用於系統整合的新興技術，目前已被採用在電子商務的架構上，然而一個網路服務的功能有限，因此未來的商業應用是以組合一群相關的網路服務為主。十餘種以XML為基礎的服務流程語言也在近年來紛紛推出，雖然它們在語法上稍有不同，但大致是以工作流程的觀點來建構服務組合。由於服務組合的成員通常是外來的，它代表流程整合者不一定能掌握成員的非功能性狀況，因此服務品質的問題亦成為近年來重要的研究議題之一。為確保服務組合的可靠性，本研究是針對服務組合在設計上的驗證為主，並以流程組合中的死結、可達性、及控制權移轉的安全性等三項問題為解決指標。因為服務組合須以XML格式呈現，故須轉換為等價的其他模型以利量化計算，我們因此選擇以Petri Net模型為標的，再分別配合適宜的分析方法驗證。研究過程中，我們克服了模型間轉換的問題，並銜接後續的各項演算法。最後，實證經驗顯示運用本研究的驗證方法，確可用於驗證服務組合在流程設計上的可靠性。
This paper reports some experiences that we utilize Petri Net models to validate the reliability of a composite Web services. To enable a validate process, the PNML (Petri Net Markup Language) are introduced to transform a composite service into a Petri Net model that can be further used by measurable processes. The algorithms and corresponding reliable issues have been proposed, such as the coverability tree for detecting flow safeness, the incidence matrix & state equation for finding reachable issues, and a transitive matrix for detecting a deadlock problem. Empirical results suggest that the PNML is essential to facilitate composite services to become a computable model. Based on this model, more benefits can be gathered by using proper Petri Net based algorithms.
期刊論文
1.Curbera, F.、Duftler, M.、Khalaf, R.、Nagy, W.、Mukhi, N.、Weerawrana, S.(2002)。Unraveling the Web Services Web: An Introduction to SOAP, WSDL and UDDI。IEEE Internet Computing，6(2)，86-93。  new window
2.Vidal, José M.、Buhler, Paul、Stahl, Christian(2004)。Multiagent Systems with Workflows。IEEE Internet Computing，8(1)，76-82。  new window
3.Benatallah, Boualem、Sheng, Quan Zheng、Dumas, Marlon(2003)。The Self-Serv Environment for Web Services Composition。IEEE Internet Computing，7(1)，40-48。  new window
4.Ran, Shuping(2003)。A Model for Web Services Discovery With QoS。ACM SIGecom Exchanges，4(1)，1-10。  new window
5.Van der Aalst, W. M. P.(2003)。Don't go with the flow: Web services composition standards exposed。IEEE Intelligent Systems，18(1)，72-76。  new window
6.Murata, Tadao(1989)。Petri Nets: Properties, Analysis and Applications。Proceedings of the IEEE，77(4)，541-580。  new window
7.Aalst, W. M. P. v.d.、Hofstede, A. H. M.、Kiepuszewski B.、Barros, A. P.(2003)。Workflow Patterns。Distributed and Parallel Databases，14(1)，5-51。  new window
8.Alameh, N.(2003)。Chaining geographic information Web services。IEEE Internet Computing，7(5)，22-29。  new window
9.Benatallah, B.、Dumas, M.、Fauvet, M. C.、Rabhi, F. A.、Sheng, Q. Z.(2002)。Overview of Some Patterns for Architecting and Managing Composite Web Services。ACM SIGecom Exchanges，3(3)，9-18。  new window
10.Casati, F.、Shan, M.(2002)。Event-based Interaction Management for Composite E-Services in eFlow。Information Systems Frontiers，4(1)，19-31。  new window
11.Chandrasekaran, S.、Miller, J. A.、Silver, G. S.、Arpinar, B.、Sheth, A. P.(2003)。Performance Analysis and Simulation of Composite Web Services。The International Journal of Electronic Commerce and Business Media，13(2)，120-132。  new window
12.Corbett, J. C.(1996)。Evaluating Deadlock detection methods for concurrent software。IEEE Transaction Software Engineering，22(3)，161-180。  new window
13.Karp, R. M.、Miller, R.(1966)。Properties of a model for parallel computations: Determinacy, termination, queuing。SIAMJ. Applied Math，14(6)，1390-1411。  new window
14.Medjahed, B.、Rezgui, A.、Bouguettaya, A.、Ouzzani M.(2003)。Infrastructure for E-Government Web Services Middleware for Web Services。IEEE Internet Computing，7(1)，58-65。  new window
15.Medjahed, B.、Benatallah, B.、Bouguettaya, A.、Ngu, A. H. H.、Elmagarmid, A. K.(2003)。Business-to-Business Interactions: Issues and Enabling Technologies。The VLDB Journal，12(1)，59-85。  new window
16.Rabhi, F. A.、Benatallah, B.(2002)。An Integrated Service Architecture for Managing Capital Markets Systems。IEEE Network Magazine，16(1)，15-19。  new window
17.Vinoski, S.(2002)。Web services interaction models。IEEE Internet Computing，6(3)，89-91。  new window
18.Zeng, L.、Benatallah, B.、Lei, H.、Ngu, A. H. H.、Flaxer, D.、Chang, H.(2003)。Flexible Composition of Enterprise Web Services。Electronic Markets - The International Journal of Electronic Commerce and Business Media，13(2)，141-152。  new window
19.Zeng, L.、Benatallah, B.、Ngu, A. H. H.、Dumas, M.、Kalagnanam, J.、Chang, H.(2004)。QoS-Aware Middleware for Web Services Composition。IEEE Transactions on Software Engineering，30(5)，311-327。  new window
會議論文
1.Billington, J.、Christensen, S.、Hee, K.、Kindler, E.、Kummer, O.、Petrucci, L.、Post, R.、Stehno, C.、Weber M.(2003)。The Petri Net Markup Language: Concepts, Technology, and Tools。  new window
2.Marton, A.、Piccinelli, G.、Turfin, C.(1999)。Service Provision and Composition in Virtual Business Communities336-341。  new window
3.Song, Y.、Lee, J.(2002)。Deadlock Analysis of Petri Nets Using the Transitive Matrix2，689-694。  new window
4.VanderMeer, D.、Datta, A.、Dutta, K.、Thomas, H.、Ramamritham, K.、Navathe, S. B.(2003)。FUSION: A System Allowing Dynamic Web Services Composition and Automatic Execution399-404。  new window
5.Yi, X.、Kochut, K. J.(2004)。A CP-nets-based Design and Verification Framework for Web Services Compositions756-760。  new window
研究報告
1.Murata, T.、Church, R. W.(1975)。Analysis of Marked Graphs and Petri Nets by Matrix Equations。Chicago。  new window
圖書
1.Benatallah, B.、Dumas, M.、Fauvet, M. C.、Rabhi, F. A.(2003)。Towards Patterns of Web Services Composition。Patterns and skeletons for parallel and distributed computing。  new window
2.Hamadi, R.、Benatallah, B.(2003)。A Petri Net-based Model Web Service Composition。Database Technologies 2003 \\ Schewe, K. D.; Zhou X. (eds.)。  new window
其他
1.IBM, Microsoft，BEA(2003)。Business Process Execution Language for Web Services (BPEL4WS) ver. 1.1。  new window
2.Lehmann, M.。Web Services Composition。  new window
3.Workflow Management Coalition(1999)。Workflow Management Coalition Terminology & Glossary。  new window
 
 
 
 
第一頁 上一頁 下一頁 最後一頁 top
QR Code
QRCODE

臺灣人文及社會科學引文索引資料庫

目前上線人數：414（臺灣：389，外國：25） ／ 本年度總使用人次：2645728 ／ 訪客人次（自102年09月）：68442946
國家圖書館著作權聲明 Copyright © 2013 All rights reserved.
本館地址: 100201臺北市中山南路20號． 本館地圖及交通資訊．
總機：(02)23619132．最佳瀏覽解析度為1024x768以上