Oct 1, 2007 - transactional execution model ofcomposite Web services exploiting the .... customer) , service packages (i.e. composite Web services).
A hierarchical Model for Transactional Web Service Composition in P2P Networks Joyce El Haddad, Maude Manouvrier, Marta Rukoz
To cite this version: Joyce El Haddad, Maude Manouvrier, Marta Rukoz. A hierarchical Model for Transactional Web Service Composition in P2P Networks. 2007.
HAL Id: hal-00175881 https://hal.archives-ouvertes.fr/hal-00175881 Submitted on 1 Oct 2007
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destin´ee au d´epˆot et `a la diffusion de documents scientifiques de niveau recherche, publi´es ou non, ´emanant des ´etablissements d’enseignement et de recherche fran¸cais ou ´etrangers, des laboratoires publics ou priv´es.
Laboratoire d'Analyse et Modélisation de Systèmes pour l'Aide à la Décision CNRS UMR 7024
CAHIER DU LAMSADE 249 mars 2007
A Hierarchical Model for Transactional Web Service Composition in P2P Networks Joyce El Haddad, Maude Manouvrier, Marta Rukoz
!" #$%'&(")+*,-/.0) 132542768:9;? @BACDBEGFH HFHI JF0K)H AJF0L> KMNOPANQI JF0N"R1FTSUK V>WIYX Z [ \)]^`_a]b5cedfghYi0j0k!lQh1m nporqTsetk!hulvbwt)xzy|{)hPgj0d~}ek!t g)0j j0u{ t t du5t gox i0kQhujBk v
Pt5l!t )j0P t)xzy|{)hPgjBqk Qfg)huiBj0k!lQh1m npo:qTst)k!hult g)muj0kQk!j0d~}ek!t g)0j 5tkQmPtutlmuhYuYo
x y|t)k!hul0 qk !0 ¡P³B!¸¹ 0Q¯°!¶0"¡ !¡PQ¦±!¯Q ¬¬ ¡5 0 »¡ ³¢¤º¥£²~£¥Q"¢!1"¡P¦0´¼Y¢¡ ¦0Q¼º!Q!§¡ QQ1¨a¦µ¦0²~, QQ ¡©½QQ¦¦ª8¶1¾!§·§§¿|!ª1À³¶Q«Q 8§¬P!¬ 0!§§¶§"Q§;!¦0£® "£Q¦¡ ¦½Q§"¦¬P§"¡P1¬§"¾!¦0!§" § Á ©Q¢ª8"§!1«Q¦¬P"!!!0§§¢¡ ""¢8¡PQ¬ ¯Ä «Q¦¾Q¢QQ¯!¦01¦¯0 ¬ µ¬²Å 0¯r£¡P¦Ä Q ¯0¡!0 0 ¡ £¥Q¡P"¦!¢®Q QY£¥§§Â¢¦Q 0¡P!¬¢¦0 0 ¡¯Ã ¡P©ªË¶Q§!§"Q1§Y«¦ ¬¨eQ¢0¡Æ0§/1QQ!Ç¢¦0¶0 ´®¬ "£¥!ªQ¦Q'§!¬ ¡P 0¯:¡ ȧ5© ¯0¢0 ª ¨¹¬P§"¬P !QQ¢Y¯«ÆPÆ È̬P!ªrQÈÉ¿0¬ Ê0¡P«Q¬P¦ 0¾Q!Q¯¯Ë!Q§¦¬ ²®¢0® £¥Q¯·¦Y 0§T¢!¦0" 0 ¡ ²®ª!! 0¡ ½)!Q"¢! ËÆPÆ ÈÍ¡P¬PQ®£¥Æ Q ¢¤!ÈÏ 0¡ Q¢¤¯´££¥!¢Q¢0§'1¿+ªQÆPB¢!¬¾7§w£¥ªQ¦z¢:¸Î£¥!§"ÐÁ,£¥!1¦0! §"QQ¶ "¡ §1Q ¡ 0rÈ ¡P³"¸1¢£¥ QÆ §¦0¢¬P¡Q¬P¡P z¬ ²Å ¦0 ¢0Æ¡P0¤Â ¸Î!Q¶¡ "¡P¬P¢¦ §"¢0 !¦0¡P¬P¯¦Q 0Æ¢¦ÑÆ̨Q£¥¦®1¦¤£¥£¦QQ§1¬ ¡P¡P¬P§Ò ©ª ¦ ¨Ó§"Q1«Q¡P0¬P!!!¬P§ QQ¦¦® 0¡£¥"¦¦Æ) 0!¬ § 0¡,! Q©§¶0Q1ª/Q¯T§"ªrQÈÐ1«Q¢U¬P!¯0!!§"Q¿+! 0B¡ "Ô¢ÆP¬ £ÕzQ"¯¦:£¥§"¦QQ§"!¬ ¢0¯'Æ ¬ Õµ!¢¦0¡P ¬ ¦0Q Ö¶"²~1"Q¢: £¥rÈ §³ª¡P¸¹¢Q1Q§¶0!!!¶0¯5¡P¶¡ ¬P¦0"¦7 5 ¢¦Ñ¦Ñ 5¨w¨Ì¦¤¡P£¡ 0G¡P¬7Q¦¬ §Q®¡P¦¬£¥®¦Q£¥£¥§¦Q1¬ ¡P¦0§¬P¡P¡¦¬P©!¦¦0 0Æ)¿ªG¢0§"0 Q¯TY׫¦0¬P T!²®G¡Æ 0¦B¬ §TªQ¢0¢Æ ¬PQÈØ!"¬P¢!"«Q¦!"¯"¬P!!ª:¢0QÈ ¡Æ Q¡P¦ £Q¶! 1§¬PQ¡P¢¡PѬ ÈÚ¦0 3¢¢«Q ¦0¢0 z!²ÙQ§"¯§"rQ£¯Q¿ ¯0! 0¡T§"¶BªQ¡P1¢0 Q§¢Q¡ ¬P¦0 Q§¢ 0¯ ÛÜ Ý!Þ 0ß à)á0âYß Þ òèB1ç"ê!é1è0öãñ0äPó!ëuä í"ç!å æ´é!ïuê!úé"ûåPäPæBç"ó!îBç/óåPçQç!ò1è÷´òUé"êQåuó!ëPê+äê!ìuøç÷0é"íè0íåYñåuíä åuêQä î´îí"îBô´÷êQì8äP÷0ò3êQç!óïPð0ñðQçøUñó!òYê!çä øUîBî0åYçQä òTò1îò8ô´äuòåuçèä îBóé"æ0ó"ê!é"îö0çQêQä í!÷0ëPò1êçä ÷ôî äPôQç!ðµë ò"ùù õ êQëPò1ä ç"è00é1ççöé"äPíó!ò1åPç!äPó"êQò7æBîç!ò÷QüñBêQæBëPîä äPî óæý ÷ô0í"åYí,í5óQí"åPä îþé1åuäç"è øTúéòíû îåuôQêî'ç±óä êQøìuøé1èBêQè0ê!øà ëPé1ç åYðí"î0òYQåä ñøòYó"èBäæîBë í!ç°çQëPò1ë òçé1îìuçQôñ0íç8îB÷óÿPüäPåPòäPê!é1äî åuåuêçò øUó!ó!ê!ê!çQøøí"î ð0èBäêòþîBò1çä åPäPêQê!òYìçî é1òöó!äPü óê!ç+äøåPæèBä î0êê!ö0ò1åPäêQæBåuóQäPçê!í"éîåuäPòYúê!çîé1öòG0äPóç"ä çQé1îBöòåPê8äPøTóçQí+í¤ò ùó!æê!åPææBíöçíçé"åç"åPî0é"åUçíî0îüåuò"çæBíéþóêåuë ä çêQä î0îðµåuí!ùê ë è0ç èé1êQBè0ë êçäéYåPåuç!äPç!÷òú ä î êQæBé1çQ÷0òYç"çéGåuê,å éí"÷î çò1é1í!ä ó"öåuç+äPê!î ó!ê!íøë7èBèêé"ò1äê!åPèBçç"é1ò1åuç"ä é1çQöò°äPó!ç!øTò5í¤üù æä óð0æ ç åPæBçøTæò1äPçòë öèBçQêòò1ç ç!æò"Bõä æð0ê!ä å ü óççöéYçåYíéäõîòYçåPéöí"çîé"ò"í!í!ë)ó"îåuä ç"êQüîí!é"ë0ç!è0ò1é1ç!êQíè0é1óçæéYåuäPèç!é"òê!ú ð0ë çøTòú
ê!éä îòYåYí"îóçQõ æBêQü3ó!íîê!îBç5í"ååPæBçUò"íøUçåPä øUçóé"ç!íåPçãçð
åó!òYæçíéYçéYö0åuä éç äPóçó!óê!êQó!é1øé1ê!ç!øè0ó"ê0åèBòYêäç åuò10çää êQåu!äPîTó"ê!ñ0î ðQåPòGé"äPêQä îåuî í!ô0ú ä òëPêQí"é1ð0ç!ê!ê!÷é"ñ0ç!åê!åuê,ö0äuò1ç"òYéçQñ0õíçQóåòæ8æòYäPñ0òñó"òYæBçéä îBí!ò÷í"îøT÷8ê!íì îç"íQî ôQ,òuñ0ä îé1ëPôçí óç BçêQîBóóññåué1äPé1ê!çîýî0åGä í!î$óó!ç!íò"ó!òGóêQåué1ê+÷Bí"é"îçQòYóêQç°ñé"óü çQä òå æþí"îñB÷,ò1ç"çéîò òY3ñé"é"ä îç Qô8ñ0çQí+òuåYóò7êQéYé"íç!îBó"÷ å èé1çQé"òYç"êìYçë öé1çç8îBó!ä î'ç!òú í,èBæBççQçòYé"ç3ïPåuêäuïPò1è0òYç!ñ0ç"çQéò8çí"î0é"öçä é"ê!ç"ö0îBç"øUîËç"îBøUå5ê!å é"æ çí"åG÷ää ìuî0ìuæäPóç"ñ0é"ëç"åîBåuåPë ùê ëPí!ó ò)ê0ôòuë åêQð0í"í!è0ëBèó!é"ê!êîBí!ó"å é"æêQç!ëYòú åuêGãç"ðò1ç"é1öäPó!çTóêQøè0ê0òYä åuä êQî+ó!íîðç ü åóéëuíê!í!îéò"0ò1ò"äìuíìYëPóäPê!çåPüäP÷þê!òî íä îBëåPøTê êQ÷åPü ç!ëuê±ò øTí!íîBä îþ÷3åPó!æBëPíQê0ò1òYò1ç8ç!ò ð0íQòY1å ç!úæ÷/êò1æBç´ê!çî·ðBìYíä í!é"÷ò1òYö0çåU÷íóîBëuó!íQê!çò1î÷ ò øUåç"æî çç5í"óð0æê!ë åPçQíæBîBò5çäuéòYíøTæ óòí"çîBé1ìuåuêQ÷Bí!é õä î8ó!í!ê!÷Q÷0é1öBé1ç!í"ç!ôQîBó"é1åPó!ç!îççç!÷ò"ê!òåPìéí"í"ìYîî ëP÷Uç ò1Bäí!óó"êQð0åuäPîBä ê!ëPóä îåñùÎí!é1õëé1çðøUîBñó¤êåù ÷ëuç!ó!íëPê!ó ò î0BåPòTé"êQò1ëYê!ú ñ0îBî÷ æí"îíîB÷U÷0è0ë çGçéYìYó!ê!ê!é1îøTó"ñ0íîBéYé"ó!ç"çîüó:ù æBçðîTñåñBò1íçé1÷Uç5ìuìYêQêQé ñîBí"è0÷+è0ëuëPäPíó!ó í0åPääPî êQîôGò)ìuåPñ0æîBíó"ååuäPä ê!î0î ö0íêQëPë ä öå ù ç åP÷zä îBê0ù¹ìYïPîè0ë ç íç0äøUçéðä óó!äPëPê!äóåîBêQùÓåPøç åè01åuê0úêÂòY ä åuæBä êQç!ä îBîTä éó!ê!ê!ë ì äé1øUè0æBêQäçåué"åPííçåuåPé1ä ç ê0êQôQîçò)îB÷ó!ç!ä ê!ìPê!ìYøTñçé1ò)ççòYî0øTçå$é1íöä äPîBóå ë éçQùÖí"òî ìuäé"îTò1ê!í!øó"íåuèBäPåPê!æBçî ççíé"ä éïë åòYæçøTç ò"í"ê5í"îBøUåuå ä æçóQçUòUòuåPðí!éYñBçQòòuó"åüåPñê!çé"ëPì ç!ë÷êQíQñå òéé í"÷î 0ä îBò1ìPìYí!êQçó"ü é1åuçäPëPê!î0çî÷BåúôQä çQî0õåuç÷é"çí!ìuó"ä åuîäPê!ä î îôGòíèBíå åéuíç"îé1îò"íòóåPä îBäPê!åPîê ü ç Bçä å æ5óñí åuäPèBê!îíéYåuäPü ó"ñ0ä ëuëPíëéèò1ç"é"å çQòYêQçì éYè0ö0é1çËêQè0åPçæBéYçQåuäPòYç!ç·òíè0îBé1÷êQè0ççîéYòYåuñäPç!é"ò/ä îô é1çåPæøTíí!åä î çöò'çéÑù í ÷òYêä ìuë ìuöäPäó"îñBô5ë ååPæBí"îäuò÷èê!é"èBê!ç"ð0îëPç"ø5èé"ú ê!ð0ûëPç"òø5ü ú äPë ñðéçTüò1çê!çé îõ äPüòçTíTòuòYñ0åuèç"èGèBê!åué1ê!åüñBí"ò1é"ç÷0é"òï åuê!í!ìäPë êQãé1ç!ç÷5ð3óòYêQçøéYö0è0ä ê0ó!ç!ò1äò"åuõTäPê!îò1ä õ øUðzäPùÚëuí"éóé1çQåuêí"åuä îíô5ü íê!øé ñBìYëPë ê!åPäuüïuë çöòuèBç!ëçó!æBä ìYäPçäPó!é"ííåué1ä óêQæaîù õ üóêQæBî0çîé"çç°óåPêQó!é"ê!òøúèBû êåGò1ä åuåPäPæBê!çîýò"í"ó!øUíîç,åuð0ä ç±øUç!õòYè0ü ç!óçä ìYä åYç!í ÷0ç8ñíòY÷ä îö0ôíî0åYëí!ê0ôôQç,äPóQê!íìë é1åPêçQòuøTñBë í"åuòî í!ä î5ôç ÷Bóí"êQåYí"îBðBóí!ñò1é1çé1çêQî0è0å)ç"íî5ó!óîBçQç!ò1òYò1åuç!çò÷í"åPîéí"÷î ç"ò1î í!ó"òuåuñ0äPé1ê!ç îUó!è0ê!é1é1êQé"åPçêóóå îêëPç!ò ò"ò"ú Pî åé1æç!ëPäuäPòíðèëPç'í"èBç"ãéõ5ç"ð´ü çòYçèéYö0é"ê!äPóèBçQêòò1ç3ó!ê!í8øUè0åPéêí"ò1î ä åPò1äPí!êQó"îåuäPòê!îðzí!ùÏë+í"ç"è0î èòuñ0é"êé1äí!î ó"ô/æËåPìYæBê!çé è0óòuåPêQêé1îäñ0îBòYóå)å å éñ0êQí!é1ì)ä ç!îBö÷åuäPòUçå üéé"í"ç õBî Qü ñ0ò1í!äçé"ó"çåuó!äP÷ê!ê!î îðµòYù äPí÷0îBåç"æ÷,éç5íóñBêQó!ò1øê!ç"øUéèBò"è0ê!ú îBêBçò1äé"î0åPê!åUçø±ããí5ççð5ð8å éò1í"òYç"çî é1é1öò1öí!äPäPóó"óçUåuçQäPê!òGí!î òí!ííòë
! " !#$!
&% '( '#
)
*%
)#+ ,
*
!è0óòYñê!é1ðçé1é1ìuå çç!éé"íóç"îå îîò"ç!óíò"çQóò åPò äPê!òuî èBóçò"é1ó!úä åuä ç"ìuãé"äPçä êQç÷Uî ðµñú ù òYçåPuæBîBåPç ÷æBç!ñççòY÷Bçñé"õ·òYòçéê!åPPæö0òGç"çýéé1çåPæB!óçêQñBîä òYé1òYççåPåøUé"í!êQç"ä ìîBîBåuòYåuòçòé1öíQäPí"òóîçQ÷íò åPç æ0çí!åó"ñ0èåPí"äPé1êQåPîUäPó!ê!ä èìí"åPæåuçUçä óî+êQøíè0å éê0í"òYî ä åuò1ç í!ò1ó"ç"åuäPé1ê!öîäPóçæ ú í"ö0çåPêUð0çUíèí"é1åê!ìå æç 0øTçí!óä åPî5äPæêQçTè0î êé1Tä çîBøTäåîBüíå é"ä æîêQä÷÷óçñ0æ5éUó!ç!æê!òíQìòíåPæB÷QøUé"çTä ê!öèåuçä í"ö0îGèBíç"åPê!äéUñ0îéäuôUòí"ç è0êQBíèé"ô0é"øêí"í!îè0ó"äëPæççú í÷+uîBî÷TíQòòYôç!ìYäó"ö0êQåuäPëPç!ê!ë òêQî üå æ0òç õú ü0çç óåPèäPé"êQç!î ò1ç"îB7å åP÷æBçQçòYó!óé1ê!äøð0ç!èBòêò1äê!åPñ0çé3ãóçêQðUîBò1óç"ñé1é1öé1äPçóîBç ó¤åù éí"î ó!ò1ê!í!îBó"å åué"äPêQê!ë,îUøUêQì,ê÷å æç!ëYç ú ó!íê!èøè0é1èBê0êíò1óä æ/åPçè0ãé1êçóð,ç!ç!òY÷0çò"éYõTö0ä ñBó!çQò1äòUî ôøUêQåP÷0æBçç8ëñíîBòYç÷+é PäPòë ñé"çòuåPQé"ñ0íäåué1ç!çòøUæç"ê!îBüËåYò1õUê!ñ0åuê é ó!ò1ê!ê!øUøç'èBêò1é"çUçëué"í"çåuç!ëPäP÷·íðëPü çUêQãé çú ðòYçç!éYó"ö0åuäPäPê!óî çQò"ú ·uî+ó!ò1ê!çîóóåPäPë ê!ñ0î ÷0ç!Bò/õ ü íîBçU÷´÷0äuôQòYóä öñBçQò"òò èBç"éòuèBçóåuä ö0ç!òú )Ü ß!â ) â Þ ãí3çøUð5Pî3êQòYåPçä êQé1ö0é1öí÷0äPåuóç"ä î çQéGòô'åuåPê8é"ç íBíîí"î ò"øííóë è0ù åPäPëPêQç'çîò"åí'õ0æü çòYçó!é1ç"çó!î !ê!í"ñBî é"ä òYä é"êËäPç÷øUçê!é ç"ìîBíQåuòíòGî7í êQü ì5êQêQîBóé ëPêQBä øîBä î ç3è0ôUê0í"åPòYé1îä äåuè÷ç é"ðç!ñBò1ò1ç"ä é1îöBç!í"ò"åuò1ä ç!êQò)î åPú æíuåå è0ä é1îBêQööêäPë÷öççQò+òYè0ç!åPæ0ó!é"äPí!ç!ë çä çã÷Tçò1ð0ç"ïPé1ð0öíQäPó!ò1ç!ç÷Ëò Ê í"ñ0åPèêQé"îBê!êQö0øUä ÷0ê!ä î ñô ò ìYëPäPôQæ0åé"ç!ò1çéYöBí"åuäPê!îõ)Ê è0é1êQöäP÷ä îô5æê!åuç!ë)é1çQòYçé1ö0íåPäPê!î+íîB÷
-,
É
j | j|§j Q¨ Q Qlj l p pt¥@ pt ¨ª ¥*p§p°T ¡Ê xp p!¢¡³pÆ¡© k¨j j / ±¨jlm jonqp § j 'j gpTl xp xj) ¡© n`lmp@ °` pgp ¥@ px Ë @§ j ª
.
/
&,
0
1$
3
7
5 26
S1 flight booking
2, 4
A N D
User’s request
!"
(a) Workflow of Package1 S1 flight booking
98 : ; 2=@? :
,
A.
#
A N D
User’s request
/,
.
C
S2 hotel booking
X O R
S3 B&B booking
&B
! D
E F G HIJI KML!N9O)NQPRRG STSUG J&PVWIGK2X)YMZ&[ \#[ \[F#H I R[\UR PK>] [ RGSTE&G\[JUI K&VG \[H[FP^&RGSTE&G\I VW[9_![]T\#[FHIR[ \`I KUGFJ[F`VWG E FG HIJ[ EMPRa&P L [ \9b9ZMI RZ RPK/][TRZ&G \#[K/]dceV ZM[ RfM\WVWGSg[F\ \#f RZgP\h • ikjlm jonqp r V Z2PV/RGK2\#IW\WV#\!G s/]GGa I K2LP>s#^IL Z V PK&JtP F[ \#[FH PVWIGKUG s`P*FGGSZ&G V[^#u • ikjlm jonqp v V Z2PV/RGK2\#IW\WV#\!G s/]GGa I K2LP>s#^IL Z V PK&JtP F[ \#[FH PVWIGKUG s2[I VZM[F*P9FGGSwI KgPKTZMGVW[^MGF*I KgP9N*O)Nxu • ikjlm jonqp y V Z2PV/\I STE ^ czRG KM\I\#V#\ Gs'] G Ga&I KMLP!sW^IWLZ&V VIRa [V#X { \3I^^ fM\WVFPVW[J|I K|}2IWLfF[|~ IW\3PbxGFas#^Gb ijlm jdnpr \#a [^ [VWGK RGSTE&G\[J'G s9_![]/\#[F#H I R[\x&*PK&JU X ikjlm jonqp v P9b)GFas#^Gb\Wa&[^[VG KgRG STE G \#[JTG s`_![]g\#[F#H I R[\`&# @PKMJ &
X IW\2VZ&[9[^[SU[K V#PFc_![]T\#[F#H IR[*M#X ikj lmjdnqp y 9 g&
S2 hotel booking
p w l pQp1pjk p-¢¡£j¤
l p dn¦¥@ ppgj/l xp)¥*j T/pp§ p¨¡© p p ¡¡©pp ¨p #gj) pgj xp' )pª9«&p' ¬l p on l ¢¡z m on®jijlmjdnpr¡© j¯¡©#¨p #°Uj ijlm jdnpv¡© j'p l ±kp /j / ²³j¡© no¡© p l xp x9p ¡©ªA´dU )pjk p°2pTl xp *¥@j x px p j2 p) ¦ *§ j T ¡ p)j9 A¡© nqM lm p &j j U p j U p> ¡¬ p ¥@3 p±kp l 3 j §p kjlm jonqp ªdµ¶9 p¢klp ¶· npxv °M pxpp§ j Tp ¸ p ¢¡¹pºl xp¼» ijlm jonqprº½¨¾¿ijlm jonqpvÁÀµ*Â*à ijlm jdnpy> /p ¡© p>dnÄp¯µ9Â*ÃÅW k )j p ½¨¾ÆÅ ¨ A¨j p ª´ ¡Ç p¡A©¨j2¢¡Èp ¦l p dn*¡©j » ª p ª@» ikj lmjdnqp rT½¨¾>ikj lmjdnpvg ©¡©j p À pUp l xp ) lmU¥* 'jk¡© n@lmpª´d'j*ljp°`& Á²¦j §p
(b) Workflow of Package2 User’s request
S1 flight booking
(c) Workflow of Package3
Figure 1 - Packages for online trip reservations.
Package3 User’s request
A N D
Package1 O R Package2
Figure 2 - Online trip reservation request. Y2Z&[gs#G ^^GbxI KML/E&G I K V#\TI K VFG J f&R[gG fFgPEE FG PRZ>PKMJ I VW\ RG K&R[E VW\X * U& Ì jlm> p!pjk p ¢¡Ê zl p dnq°)p l)p9¥* p)gp j& gjUjj l j 2 p¢¨p p l¢² p ¥*pp / pUp § lp j*l p ¨ ' ¨¨p ¡©p p l p » ijlm jonqp rt½¨¾4ikj lmjdnpvÁÀ3µ*Â*ÃÍikjlm jonqp yª!«&pt ² ¨ pÎ l xp| ¡Ïp|l ) p p| ¡ÐpQÑ p
p§ l p*¥* Tj j oµÆÒÓ´#à k¨ p ²¦» ª pª&jxl ²Ç j Å#ÅW p À± Ô
• pÕppÖ¡A nqÍpp§ j °Íp× ¥@Ø̶ p ÙkÌ
pp #§jgU p/ p xpp #§j !j !p pp #§j j p)l)x p ª É ¥@p§ p #°Ú pÛl xpÕ¥@ p¿Üpj Üj j jl j Tp¨p p l²Ý p ¥*pp > p p #§lp'>j p¡© ¥* onp ¡Ap ! l )pg¢¡¦p/l ) p!p'¢¡ pTÑ p xp§ l p*j pÓ¨ pÔ • pÕppÖ¡A nqÍpp§ j °Íp× ¥@Øp ̶ÙkÌ pp #§jgU p/ p xpp #§j !j !p pp #§j j p)l)x p Þ • p ¥@±¡A nq )pp § jgj !ppg p/ p/p ÌÆÙkÌ pp #§jßà pº p pp§ j Újp l xx p Þ • p ¥@á¡© nq Îpp #§j 1j 4 p¤ pp pp #§j j p)l)x p ª YMZ&IW\9[â&PSTE ^[)SUG VI H&PVW[\9G fF9F[ \#[ PFRZ'VG E FG HIJ[)f&\[F\ b)I VZ3PgSU[PKVWG [â EF[\\ V ZM[I FUPRR[E VWP]^['PVG SUI RI V c¦^[H[^ PK&J-V ZM[|RG F#F[RV[â&[RfVWIGK¤GsVZ&[|RG STE G \#I VW[|\[FH I R[ F[L PFJ \)VWGgVZ&[I F)EF[s#[F[K&R[ \X2ãK VZM[TF[ \WVxGs9VZ&[TEMPE&[F bx[ E F[ \#[K VÎPKàPEE FG EFIPVW[QVFPKM\PRVWI G KMP^SgG J[^sWG FÎV ZM[ RGSTE&G\I VIGKäGså_![]æ\[FHIR[ \ºb)I VZÛVFPKM\PRVWI G KMP^ E FG E [F#VWI[\`V Z2PV2\G^ H [\2VZM[xP] GH [9IW\\#f [ \X ç@èMé>ê#ë ìí`ìî ï9êWî&íMð`ñìí2ò9ó í2îñêWô2ò9ó)õô2ìÆö÷ë ø>ó ë ì ù@êWî&ë ó YMZ&IW\9\[RVWI G K/\Wf STSgPFI ú [ \`VZ&[9]&P\IR)P\\Wf STEVWIGK2\@Gs@Gf F PEE F G PRZ2X û2üý&ü þgÿ `ÿ _![xPJ GE V&E&[[FVWGE [[F*PFRZ&I VW[RVfF[xP\@I V2I\`bxIJ[^ c±fM\#[J s#GFUH PFIGfM\T_![] ]&P\[J!J I\#VFI ] f VW[JPEE ^IRPVWI G KM\X M[[FVG E&[[FÕZMP \×SgPKAc PJ H&PK&VWP L [ \ÕI K&R^ f&JI KML ºJocAKMPSUIR RGSTSUfK&IR PVWI G KMg[K Z2PKMR[JF[^ IWP] I^ I V czb)I VZ&G fV!\#fsWs#[FI K2L sWFGS4\#I KML^ [/E&G I K VUGsTsPI^ fF[\)PKMJ>^ G PJ3\#ZMPFI KML>PSUGK2L E&[[F-\¢c\#VW[Sg\XwYMZ&[1EFG E G\[JàPFRZ&I V[RVf F[¤RG STEFIW\#[ \ H&PFIGf&\URGSUE G K&[K&V#\UI KMR^ f J I K2L f&\[F'PEE&^ IR PVWIG K WIWX [ X@V ZM[ Rf&\#VG SU[ F &\[FHIR[*E&PRaMPL[ \ WI#X [X RGSTE&G\I V[x_![]T\[FHIR[ \ PK&Jg\¢c\#VW[StSUG J [ ^ I#X [ X E [[F9G F*RGSTE&GKM[K&V2_![]U\[F#H I R[ \ X ãWKTVZ&[*s#G ^^Gb)I K2Lbx[9J[ \RFI ] [*VZ&[ \#[ \`RGSTE&GK&[K V#\X
&M !" #$$&%'(! /M)2* #*{
f \#[F M PEE&^ IR PVWI G KàRGSTE&GKM[K&VÎPRVW\P\QP-RG KM\#fSU[F|G stV ZM[ WRG STE G \#I VW['_![]\#[F#H IR[XxãVgI K&HG a [ \'GE [FPVWI G KM\'G KV ZM[ WRG STE G \#I VW[*\#[F#H IR[xI KgGFJ [F@VWG)E&[FsWG F#SwH&PFI G f&\`VWP \WaM\X }MG F [â&PSTE ^[ `P)f&\[F9SgPÁc¯fM\#[ V ZM[+RGSUE G \#I V[9\[FHIR[)VGT] G G a P)s#^IL Z V#&F[\[FH [TP)FGGS|I K P)Z&G VW[^`G FxI K P)N*O)N)X&ãWK'GVZ&[F VW[FSg\*[ PRZRGSUE G\I V['_![]\#[FHIR['R PK] [gHI[b)[J!P \TP ] ^PRa']Gâ2X&ãWV#\9I K&V[Fs#PR[)E FG HIJ [\x\[H [FP^2E&PRaMPL[\ b9ZMI RZ R PK ] [g\#[^[RV[J/PKM J ,WGF RG ST]I K&[Jg]dcÇVZ&[Tf&\[F\X { \[F#H I R[ EMPRa&P L [gRGFF[ \WE&GKMJ \xVWGgVZ&[UI K H G R PVWIGK!G sxGKM[UGFT\[H[FP^ RGSTE&GKM[K&VM_![]T\#[F#H IR[ \X
- G STE G K&[K&V!_![]|\[FHIR[ \>GsPRGSTE&G\I VW[\[FHIR[PF[ L [K&[FP^ ^ c³J [H [^GE&[J!]oc³I KMJI HIJ fMP^xG FLPKMI úPVIGK2\X*ãKVZ&[ EFGE&G\[J¼SUG J [^[PRZ.RGSUE G\I V[¤\#[F#H I R[IW\¤\#[^ s RGGFJI KMPVW[J `Pf VG K&G SUGfM\xPKMJUE [FsWG F#Sg\9H PFIGfM\*sWfK&RVWI G KM\ I KMR^ f&JI KML&/ h !I )F[R[I HI K2L!\#[F#H I R['PRVWI H&PVWIGK!F[0 f [ \WV#\)sWFG S V ZM[|f&\[F|PE E ^IRPVIGKG FwsWFGS¿PÎE [[F' WI !I I K&HG a I KML GE&[FPVWIGK2\/GKVZ&[!fKMJ[F^ c©I K2LRGSUE GKM[K&Vg\#[FHIR[ \1 WII !I F[R[I HI KML KMGVWI s#IRPVIG KG s)VZ&['[â [Rf VIGK>RGSUE ^[VWIGKsWFG S E [[F PK&J'RZMPKMLI K2LgI VW\)\#V#PVW[UPRRG FJI KML ^ cq WI H *[â RZ2PK2L I KML I K&Ef V¼PK&JÕG fVEf VàJ&PV#PßPK&2 J H ÍG V ZM[FºSU[\\P L [ RG STSTfKMIRPVIGK'\#f RZ'P \`F[E G F#VWI KML)sPI ^ fF[\ R PKMR[^^PVIG KUGs F [ 0f&[\#V#\&PK&JU\WVWGE E I KMLxVZM[x\#[F#H IR[9[â [Rf VIG K2X
3 45 67 89;:=8?!@&A/BCDFEGHI&JKL MK HG+ENPO!Q H/R HHCS!OES RHHCTHN UJ C ENDPHNOEVTW XYZ&[J O!Q+O!Q HTVEI!I!E[J N&\+MKKBD+ROJ!EN&K] J O Q&EBOFI!EKK_EV_\HN&HCMI!J O `baHMcQR HHCdRCEUJ GHKdEN H • ^ K HC UJ!cHegf&Q&J!KhK HC UJ!cHicMNjLHiJ N UEkHGlB&KJ N&\mJ OK J NOHC V McHnMN GoJKpHqHcBO!HGoMKpI!EcMIrGMOMLMKH O!CMN&KMcOJ ENe f&Q&H;RHHCKsMCH;J N GHR HN&GHNOMN GiKHCUJ cHKgMC HsN&EO • CHR I J!cMOHG1ENPGJ VVHCHN O RHHCKe RHHC'DFMu`vRCEUJ!GHgMgcED+R HNK MO!J!ENhK HC UJ!cHwO!QMO • t K HDFMNOJ!cMI I `xBN GEHKO Q&HHV!VHcOEVO!Q HJ NUEcMOJ!ENFEV&O!Q H EC J\J N&MI1K HC UJ!cHe/f&Q&H_ER HCMOJ!ENwEVO Q&HdcED+RHN&KMOJ!EN K HC UJ!cHgKO!C EN&\I `yGHRHN G K'ENzO!Q HsKHDFMN OJ cK=EV{O!Q H EC J\J N&MI/K HC UJ!cHefQ HPcED+R HNK MO!J!EN{DPJ!\QOMIKEPLHPMN | HD+RO `}|K HC UJ!cHe McQ=K HCUJ cH+RCEUJ!GHKEN&H+EVTO![EPk J N&GKEVTCHK EBC cHK] • ~ CHK EBC cHK1Q&MN&GI!J N&\_McBJKJ OJ ENER HCMOJ!EN&K+!He \ e&VI!J!\QO OJ!ckHOKMN GdCHK EBCcHK/Q&MN GI J N&\PCHMG![/CJ O!H+ERHCMOJ EN&K He \e_L MN kiMccEBNOe_&ECgO!Q H
IMO!OHCa{HMcQlKHC UJ!cH DFMJ N OMJ N&K_EN I `EN HCHKEBCcHe&EC_O Q&H{VECDFHCaHMcQ K HC UJ!cHPcMN_DFMJ NOMJ NK HUHCMIC HKEBCcHKe!N_LEO!Q{cMK HK MN GwVEC{HMcQCHKEBCcHa1M{RHHCdDFMJ NOMJ N&K_MI!E\=VJ!I H [/Q&HCHgJ O=KOECHK=O!Q HgJ!GHNOJ VJ!HCK'EVO!Q HO!CMN&KMcOJ EN&K J NUEk J N\gO!Q&HgK HC UJ cHgENzO Q&JK{CHKEBCcHe+K J N\O!Q JK J NVEC DFMO!J!ENa=MsR HHCscMNGHCJ UH;cENVI!J cOK'LHO![HHN O!CMN&KMcOJ EN&KPO!Q&MO1Q&MUH{J NUEk HG=O!Q HKMDPH{K HCUJ cH_EN O!Q HKMDPHTC HK EBCcHe & &&1d&
{ THO!BC N J N&\OE1EBCTEN I!J N H/O!C J R+CHK HC U MOJ ENdK cHN&MCJ!EVC ED MLEUHaF[/Q&HCHsMcB&KOEDPHC=[MNOKO!E;K cQ&HGBI!HgM'O!CMUHI MccEC GJ N&\;O!E;J OK=VEI!I!E[J N\gCHKO!C J!cO!J!EN]_ ¡ ¢£ ¥¤b¦§g¨ª© « ¢£ ¬¤b¦¯®/°T±T²w« ¢£ ¬¤}¦³&eKB MI I `baJ NOHCMcOJ EN&KLHO![HHN O Q&HhKHCUJ cHKgO!Q&MOEVVHCsO Q&H
C HKEBCcHKsMN&GzO!Q H;B&KHCK J N OHCHKO!HGFJ NdO Q&HDhMC H1HN cMR&KB I!MOHGP[J O!Q J N{MO!CMN&KMcO!J!ENe ´J N cH;EBCsKµ`¶KOHD·DPEGHI=JKwLMK HG
ENMgR HHCS!OES!RHHC N HO [EC k aO Q&HER HNPN&HKOHG1O!CMN&KMcOJ ENPDPEGHIWX¸ZKHHDFKO!E LHTLHKOKBJ OHG&e/N&GHCO!Q JKDPEGHI!a MTO!CMN&KMcO!J!ENPcMNPIMBN&cQ MN¹`yN BD+LHCgEVKBLO!CMN&KMcOJ EN&Ka_[/Q J!cQa{J NhO!BC N&a_cMN I!MBN&cQsMNº`»NBD+LHCdEVFKBLO!CMN&KMcOJ EN&Ka/O!QB KPVECDPJ N&\'M
O!CMN&KMcOJ ENFQ J!HCMC cQº`}e McQ_KBLO!CMN&KMcO!J!ENFcMNFJ NPO!BCNPLH MN_ER HNdN&HKO!HGPO!CMN&KMc~ OJ ENe&fQ HO!CMN&KMcOJ ENd[/Q&J cQdJ!KTN EO HN cI EKHGPJ N_MN¹`¼O!CMN&KMcO!J!EN_J!KTcMI!I!HG+O!Q&HC EEOO CMNK McOJ!ENe McQzI!HMV'KBLO!CMNK McOJ!ENhJ!K=UJ H[HGzMKwMN ECDFMIdVIMO ~O!CMN&KMcOJ ENJ NwO!Q HKµ`¶KOHD½MN&G=cECCHKREN G K+O!E=M{K HC UJ cH J NUEcMOJ!ENe'fQ&MOgJKawEN I `¾I HMUHK;EVO!Q&H
O!CMN&KMcOJ EN Q&J HCMCcQ¹`¿cMN_RHCVEC DzO Q&H HL_K HC UJ cHKJ N UEcMOJ!ENKMN&G MC HzHqHcBO!HGJ N GHR HN&GHNO^I `be{ÀEN&SI HMVgKBLO CMNK McOJ!ENK EC\MN&J ÁHO!Q HcEN O CEIVI!E[MN GPGHOHCDPJ N H[/Q HNFOE+Hq HcBOH KBLO CMN&KMcO!J!ENKef&CMN&KMcOJ EN&K/QMUJ N&\dKBLO!CMNK McOJ!EN&KMCH cMI!I!HG½R MC HNOK a;MN G½O Q&HJ ClKBLO!CMN&KMcO!J!EN&KiMCHO!Q HJ C cQ J!I!GCHNeNFO Q&HVEI!I E[J N&\a[HB&KHO Q&H/OHC DgO!CMNK McOJ!ENPOE GHN&EOH=LEO QsCEEOFO CMNK McOJ!EN
MN GsKBLO!CMNK McOJ!EN&Ke1f&Q&H O!CMN&KMcOJ ENJ!GHNOJ VJ!HCKC HVI HcO/O Q&H+Q J!HCMC cQº`Â]&O Q&H+cQ J!I GC HN EVMTO!CMN&KMcOJ ENFÃÅĪMCH/J!GHNOJ VJ!HGL¬`¼ÃuÄµÆ Ç£ §e
≥
User
ÈÉ}ÊË¡Ì«Í!ÎÏTÐTÑÒÓÔ!ÕÖ×جÙ}ØÔ!ÒdÚ!ÛÖ+ÖÝܹØÞ}ߪà!Ö+ѵáâÚ!ÛÖ+ÑÒà!Ô ÒÖ+Ú!× Ô ß ×ÖÓÖ× ãØÚ!Ô ÑÒäºåæÓÕ֯ߪÔ!çÚ ÖÕ+Ô Óªè«Ô Ùbé× Öêë&Ú!ÛÖ1× ÑÑÚ&Ú!×ØÒÓØçÚ!Ô ÑÒ ì&íçÑ× ×ÖÓ ßªÑÒÕÓPÚ!Ñ{Ú ÛÖdçéÓÚ!ÑÞÖ×+×ÖîéÖÓÚ/ØÒÕ{Ú!ÛÖFà!Ñ¥ÙbÔ!çØà ì í!ð ñ ì&í!ò ñóÚ!ÑgÔ Ú Ó=× ÖÓÚ!×Ô çÚ!Ô ÑÒäPì ÛÔ Ó ÖÝÜ ß«× ÖÓ ÓÔ!ÑÒ;ïï ì&íí ∨ ∧ Ú!×ØÒÓØçÚ!Ô ÑÒ{Ô ÓFØ_ÛÔ!Ö×Ø×çÛuô»Ñ áõÚ!Û×ÖÖFÓé öÚ!× ØÒÓØçÚ Ô!ÑÒÓ÷1ì íí ÞÑÕÖà!à Ô!Ò¬Ùgø«ØçùجÙ}ÖúëFì í!ð+ÞÑÕÖà à!Ô!Ò¬Ùø«ØçùجÙ}ÖûØÒÕgì íò ÞÑÕÖà!à Ô!Ò¬ÙFø¡ØçùØ¥ÙbÖêäì ÛÖ+à!ѬÙ}Ô!çØàÖuÜߪ×ÖÓÓÔ!ÑÒÓѵáâì íí!ëì í!ðë ì&í!òdçÑ×× ÖÓ ßªÑÒÕ1Ú!Ñ1Ú!ÛÖ}ß«ØçùجÙ}ÖÓü ýTÑ× ù á¹à ÑýxߪØÚ Ú!Ö× ÒÓä
1
(T
//
T T T
111
12 ) ^ T 13
T
S
2
T
123 T 112 S
1
13
123
T
121
T
) T 121^ 122 ) v ( T 121^ T 123
(T
122
S
1
13
S 1
T
121
T
3
122
S
2
3
3
S
Peer P
T
112
12 ;
2
T
111
Services
T
T
11 // T 111 ^ T 112
Peer P
T
11 v
Peer P
Composite Web Service Coordinators
T
! "#$ %" & ' ( ) +*&, "$ % * %-. )+ //( 01 *% /"%2(3405*, (& Figure 3- Example of a transaction hierarchy. þÿ !ÿ ÿ ÿ 'ÿ ÿ {ÿ ÿ ÿ ÿ !ÿ Pÿ ÿ ÿ
ÿ )% 06-87 +ÿ(&9 !ÿ/$ 9 :0; )% 3 #/ÿ )%40;ÿ ÿ
and sent to T 11
111
Serialization graph of T 112 infered from peer messages:
T
T
123
T
Serialization graph of T 11 infered from its sub−transaction graphs:
Serialization graph of T 121 infered from peer messages:
T
T
12
T
111
Serialization graph of T 122 infered from peer messages: T 122
and sent to T 11
112
T
13
11
121
and sent to T 1
and sent to T 12
and sent to T 12
T Serialization graph of T 123 infered from peer messages: T 123 and sent to 12
Serialization graph of T 12 infered from its sub−transaction graphs:
T
T
11
T
13
12
and sent to T 1
Serialization graph of T 13 infered from peer messages: replaced by:
T
T
11
Serialization graph of
T
13
T
T
111
13
and sent to T 1
1 infered from its sub−transaction graphs:
T
11
T
13
T
12
Figure 4. Serialization graphs of the transactions. !ÿ ÿ ÿ ÿ !ÿ {ÿ !ÿ ÿ !ÿ {ÿ ÿ {ÿ Pÿ {ÿ ÿ
ÿ !ÿ ÿ ÿ ÿ !ÿ ÿ ÿ ÿ Pÿ oÿ !ÿ mþ ÿ ÿ =ÿ ÿ ¡×× Ñ× ÿ ÿ
W ] $]|0~ 9 3 ,
" %/#/ \ 39% -c/ #8 & " ë«0 Ñ÷"Ð î+0 íÉ®Ê ë«Ê÷ Å ø"ÒC÷,n÷ë õ+/öÇbð ,2õ,Dò "Æ kØÜFÜö(Èð ö À Z BX\*ð À ò[ý H Æ)l6Aò * ò H ö«ê*ì*mñ ù >ø kln R+)Æ ,2Ý Ä Û ÐFáÍÅ"Æ ¿ À BÁ IÄ Î $+Í Ý"Í Ë(ÙFÍÅ"Æ 9 È Æ ÍËGÎ IÐ(Ý"Ý"ÊËÆÏÈÓ ,¯oá (Û Ñ Ä 0 Û ÊäFÊÛ^áÐKÎFÊ Û Ú ÐKÅ Ü Ð(Ý Ä Ñ Ä ÐKËåKȧø÷4è^ê* ëìífë î ð ñù ò ]ø>'(q '(' âø"ã÷¦ð Êò*à " Ý Ê
Å K ä Ä
Þ Ê
Þ K Ð á ù êB ÷öð ë÷öü ë÷ î+ò*ê*ò*÷¦ì ò$ë÷þ#òÿ ò*ê)õ ì ò p ø þ M/N ¿ À HFÁ âãÊÄ Ù (áuÆ Ï#ÈÍ Ë(ÎÇ(Þ Ã(Ê ÙFÆ@4ßÈ 0 7KÈ ÆÓKÒ8ÐKËÞÊ Ü Ñ Ý7Í Ë(ÎY, ÜKÜ Û Ä ÞÍÑ Ä ÐFËÝ Ü æÐKÜKmË ]ÚÜ È !2%