語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ author_sort:"mitra, saayan." ]
切換:
標籤
|
MARC模式
|
ISBD
I/O-automata based formal approach t...
~
Iowa State University., Electrical and Computer Engineering.
FindBook
Google Book
Amazon
博客來
I/O-automata based formal approach to Web services choreography.
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
I/O-automata based formal approach to Web services choreography./
作者:
Mitra, Saayan.
面頁冊數:
107 p.
附註:
Advisers: Ratnesh Kumar; Samik Basu.
Contained By:
Dissertation Abstracts International70-03B.
標題:
Computer Science. -
電子資源:
http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3349644
ISBN:
9781109056921
I/O-automata based formal approach to Web services choreography.
Mitra, Saayan.
I/O-automata based formal approach to Web services choreography.
- 107 p.
Advisers: Ratnesh Kumar; Samik Basu.
Thesis (Ph.D.)--Iowa State University, 2009.
Web Services are heterogeneously developed software components invoked over the network viz. the Internet. Their main objective is to provide desired outputs in exchange of specified inputs. In the setting of service oriented architecture, Web services play a vital role by allowing computations to be carried out in a distributed fashion via communication between services over the network. This is commonly referred to as Web service composition . Service composition amounts to investigating whether (and how) various services can be utilized in tandem to develop new services desired by a client.
ISBN: 9781109056921Subjects--Topical Terms:
626642
Computer Science.
I/O-automata based formal approach to Web services choreography.
LDR
:04400nam 2200361 a 45
001
852583
005
20100630
008
100630s2009 ||||||||||||||||| ||eng d
020
$a
9781109056921
035
$a
(UMI)AAI3349644
035
$a
AAI3349644
040
$a
UMI
$c
UMI
100
1
$a
Mitra, Saayan.
$3
1018525
245
1 0
$a
I/O-automata based formal approach to Web services choreography.
300
$a
107 p.
500
$a
Advisers: Ratnesh Kumar; Samik Basu.
500
$a
Source: Dissertation Abstracts International, Volume: 70-03, Section: B, page: 1760.
502
$a
Thesis (Ph.D.)--Iowa State University, 2009.
520
$a
Web Services are heterogeneously developed software components invoked over the network viz. the Internet. Their main objective is to provide desired outputs in exchange of specified inputs. In the setting of service oriented architecture, Web services play a vital role by allowing computations to be carried out in a distributed fashion via communication between services over the network. This is commonly referred to as Web service composition . Service composition amounts to investigating whether (and how) various services can be utilized in tandem to develop new services desired by a client.
520
$a
A wide range of problems needs to be addressed before service composition can be deployed in practice. These problems range from developing standard language representation for composite services to resolving semantic/vocabulary mismatch between services participating in a composition. In this dissertation we study the problem of synthesis of a mediator/choreographer in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata. The central theme of our technique relies on generating i/o automata representation of all possible choreographed behaviors of existing services (captured in form of universal service automaton, a concept introduced) and verifying that the goal can be simulated by the universal set of choreographed behaviors.
520
$a
Such a technique is subject to state-space explosion. In light of this, we have developed a tabled-logic programming technique which generates and explores compositions in a goal-directed fashion to prove/disprove the existence of choreographer and to infer whether the desired functionality is realizable. We present a prototype implementation and show the practical applicability of our technique using composition problems with the corresponding computational savings in terms of number of states and transitions explored.
520
$a
However, such a centralized choreography mechanism can involve communication/computation overhead that can be reduced through its decentralized realization. With this as motivation, we next study the problem of synthesizing a decentralized choreography strategy that will have an optimum overhead for service composition by developing a set of site-specific choreographers working concurrently to implement a desired goal service. Each communication/computation is quantified by a cost. We develop algorithms that takes as input the existing services, the goal service, the costs and produces as an output a set of site-specific choreographers that optimally realize the goal service using the existing services. The optimization would be different in cases of the goal automaton without loops (workflow) or with loops (certain operations can be repeated any number of times)
520
$a
The contribution of this work lies in the automata-theoretic formal approach to the formulation and the systematic solution of the choreographer synthesis problem as well as formulation of the optimal decentralized choreographer synthesis problem and its solution. The contributions include a methodology for computing cost of automata (with or without cycles), given cost of its transitions, and a generalized solution of the optimized decentralization service composition problem.
590
$a
School code: 0097.
650
4
$a
Computer Science.
$3
626642
690
$a
0984
710
2
$a
Iowa State University.
$b
Electrical and Computer Engineering.
$3
1018524
773
0
$t
Dissertation Abstracts International
$g
70-03B.
790
$a
0097
790
1 0
$a
Basu, Samik,
$e
advisor
790
1 0
$a
Govindarasu, Manimaran
$e
committee member
790
1 0
$a
Kumar, Ratnesh,
$e
advisor
790
1 0
$a
Lutz, Robyn R.
$e
committee member
790
1 0
$a
Rover, Diane T.
$e
committee member
791
$a
Ph.D.
792
$a
2009
856
4 0
$u
http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3349644
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9069207
電子資源
11.線上閱覽_V
電子書
EB W9069207
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入