Net systems semantics of Web Services Orchestrations modeled in Orc

(1)

HAL Id: inria-00001103

https://hal.inria.fr/inria-00001103

Submitted on 7 Feb 2006

HAL

is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

L’archive ouverte pluridisciplinaire

HAL, est

destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,

Net systems semantics of Web Services Orchestrations modeled in Orc

Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard

To cite this version:

Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. Net systems semantics of Web Services

Orchestrations modeled in Orc. [Research Report] PI 1780, 2006. �inria-00001103�

(2)

I ^R

I ^S

A

I^N STIT^U

T^D E R

E^C HERC^H

E EN IN^F OR^M

AT^IQ UEE^T

SY^ST ÈME^S

ALÉA^TO^IRES

P U B L I C A T I O N I N T E R N E

N

^o

1780

!

"$#% %&' ( )*( + ,.-/10

2(34 " 56 78)*.9 2 7

: #55 7;$)<=3( >:56(

(3)

(4)

INSTITUT DERECHERCHE EN INFORMATIQUE ETSYSTÈMESALÉATOIRES

Campus de Beaulieu – 35042 Rennes Cedex – France Tél. : (33) 02 99 84 71 00 – Fax : (33) 02 99 84 71 71 http://www.irisa.fr

?A@CBEDBF@?HGIB"BE?HGIJLKM@ONQPRB"SUTV ?HWX?ZYO[ NQPR?ZB5Y\P^]1?ZBF@Y\J_@\N`SaK1B

GIS:bc?Hd`?HbeNQKf,.-/10.g

hFiFjOkOlmin:oqpsrutwvxo4yz {x|}lmtw~ Mlk+lkvxpw~ly^hF~slrk4rqrut}qy^a{rOjlqrutjqq

w

Q

AQ

U¡

w¢

£

¤¦¥ ¨§

A©

¥

«ª¬

¤

ª«

w¢®

¯

¥

°U±²®³®´mµ°¶¸·

¢

¢ ¥ :¹

µµºL¶

¹

³°»

¢¼

½¾¿wÀQÁ®ÂÃÀÄ Å

wª

¥£Æ

1Ç ¥ ÉÈ

¥ ¢¨

¥

Êm¡

¥

¢ÌË ¥

Í

¢®ÎÈ

Q

¢®

w¢

Hª

¢

ÏÐ ¥ ÎÈ

w

¥

Ñ Æ

w

»Q

wÒ Å

£¢ ¥ _Ï¥

£È

ÓaÔÕ ÏÐ ¥ ¢

¯

6»

¥ »

Ñ ª ·

Ò+Ö

¥ ¢ ¢

Ñ Q¨×ÙØ} ¥ÎÚ

¥ QÛq¢®

Ü

«<ÝZ

Æ ¥

Ò

ÓaÔqÕ<

a

¢

«

¢ Ñ

w¯

¼m¢

a¢

Ñ w¢

» ¥

°£È

Î

Q

¨ÏÞÇ ¥ ÉÈ

¥ ¢®

wÒ

Å ¥ ¢

¢®

MÓaÔÕß ¯

£:`

¥ Ñ ¤ ¥ +¡

ÞÎ

Q

QÛu¢¼

Q¡

¥ ¢

« ¯à

¢®

¨Ï ¤ ¥

F

ÉZ¢

«

®Ø

«

¼MÎ

Èu¢

Ñ

«

¥ ¥

¶

ÎÈ

_ÏÐ

¥ ¢

«

ØA¢

¥

w

» ¥ »

m

Ñ ª

8©

Æ ¯««

¥

U¢

ÒÇ

¥ ¢

»»

¥

¢ÉÈ

¢

»»« ¯

R¢AØ

Q«

Î:£¢

Ñ ¢ ¥ Ñ

A

ÉÈ¢mRá

¤^â^ã

Ò

äcåæqç£èUé Á®ê¿Ä6Å

Qª

¥£Æ

QÛ¡Ç ¥ ÉÈ

¥ ¢®

wÛ

Q

¢

wQÛ ¤ ¥

+

HÎ

Q

QÛ

ÓaÔqÕ

Û¡á ¤^â}ã

ëíìMî

ïÎðñò

î

ïÞóô«ðÙõö`÷

øùûúsüþý+ÿRüþýFý ù !#"$%'&()*+xú,-!."/xü0!1"$203,24"56Ùú)ú7

øø8 89,:8' 8.;=<"$*>sý63?@ "$2þü0A; BCD$EF>6!!ý<%G=; H1#"$!7JIJK*L"Éü024M¡ý)!1"$*>7!1"$*>ONü0üþý#"P7&(

øøø 8 89,:/IQR<6"$ú1"$!A;S<"$*>sý63T)UV"$!!A;16!!ýO;H1#"$!

(5)

@?ZY¦GI?ZBbc?BFDBF@L\?ÞG ?ZB"bc?Y]W?ZB?ZJ^Z[_bc?a`?R@Y¦N

bdcå ¿9ef åc Ä

¬}

¥ ¢ Æ ¢

«F»

¥hg

Q

°

g

w

¢

íÊm¡

ÏÐ ¥

Mw¯«

Ñ g

É¢

«¯

g

Q » ¥

«

Z ¥ ÉÈ

¥ ¢®

Ñ

¥£Æ

Å

Qª ÒjiZ

» ¢ ¥ Î

Ñ

ÏÐ ¥ ¢

¯

ÓaÔÕ<»

¥ »

m g

»

¢ ¥

«

¼ ¥

¡»u

Ñ

· ÒÖ

¥ ¢<¢

)kÝZ

Æ ¥ g

Ñ kÜ

¯

Ò

ÓaÔÕ

¢

k

¢ Æ ¢

£¢¼

Ñ k(l

¥ g

w

g

¼m¢

R`

M»

¢ Ñ Ñ g

¼m¢¨¼

¥

«

¼ ¥ ¢ Ñ

w¢ ¥ ¢` g

¥

«Ê

Ñ

`

w»

Ñ k ¥ ÉÈ

¥ ¢¨

Ò ã Ñ ¢

«

g

Q

¢

«Ê

ÉÈ

Z

1

Q«

Ñ

Îw

Q

Ñ

¥hg

¢

nm

Û

¡m

w

Ñ ¥og

¢

nm

Ñ ¤ ¥

¥hg

QQ

» ¥ »

g

wL»

¢ ¥

k

g

wÊ «»

Ñ © Æ

«¯«

¥ QÒ ã ¢

plQ

¢

»»

¥ ÉÈ

Z»Q

l

¥ ¢

»¡»¯ íÊ

g

w

¢

É¢

Ñ ¢ ¥ Ñ á ¤}â^ã Û Ñ

¢° ¥ ¢ Ñ

A£

ÏÐ

Z

¼

ËuQ¢¨

Æ

Qw

»«

¥ Ñ Ò

q!é À¿MÃSråc ¿Ä

¥ÎÆ

Å

Qª Ûu ¥ ÉÈ

¥ ¢®

wÛ g

Q

¢

«Ê

Ûw

wM

Ñ

¥hg

¢

hm

Û

ÓaÔqÕ

Ûuá ¤}â^ã

(6)

$SaKM@O?HKM@OB

q%é À9ÂÀ9éJ

^

åßé Á®Ã

å ¿QÀwÁ®ÂÀ9éJ f é ê å rÄ

ÓaÔÕ

Qo5nh

¹Ò

² ÓaÔqÕ

Û

£ZÎ

É¢

m ¢ Ñ

¯

¡

Æ

w

¢

Q Ò Ò°Ò Ò°Ò Ò°Ò°Ò_Ò°Ò Ò°Ò Ò°Ò°Ò Ò°Ò Ò°Ò_Ò°Ò

¹Ò¹ Ü ª

¥ ¢ HÎ

£¢

m ¢ Ñ

¯

Æ

w

¢

Q6Ò Ò°Ò Ò°Ò Ò°Ò°Ò_Ò°Ò Ò°Ò Ò°Ò°Ò Ò°Ò Ò°Ò_Ò°Ò

¹Ò È

^VSo h J¡Po¢U ¯«¯

¥ ¢¨

Æ m

¢

»«

Ò°Ò°Ò Ò°Ò Ò°Ò Ò°Ò°Ò_Ò°Ò Ò°Ò Ò°Ò°Ò Ò°Ò Ò°Ò_Ò°Ò

º

£¤ Á®Â ¿PrÂÀ9¥

ÓaÔqÕ

À é Ã é ré Á å ê§¦ å ÀwÁ1 å Àw¿mÄR¨Á1 Ã=¨rå ¿ ©

Ò

²«ªZ¬¡

«

¼£È

ÓaÔÕc»

¥ ¼ ¥ ¢

«

¼ Ñ

Q

Ò Ò°Ò Ò°Ò Ò°Ò°Ò_Ò°Ò Ò°Ò Ò°Ò°Ò Ò°Ò Ò°Ò_Ò°Ò

´

Ò¹ È

a¬

¥

¯

¼

ÉÈ¡¢

²µ

Ò È

°

¢ ¥ÎÚ

«

¼

wÊ

Æ ¢

¯w

² ¹

^ å ê å ÀwÂhrå ê ÀQÁ®Â ¿9rxÂÀ9éJ V£

Ò²

a¬

¢

«

²

Ò¹

wÊQ

¢

`

M»

m

²

Ò

¥ » ¢ ¥ ¢

¯«Q

`

»

²º

Ò Ü

¥ » ¢ ¥ ¢

««Q

`

M»

m

¯®

ØRÈ

¥

°m»

¥

Î

J°

Ò_Ò°Ò Ò°Ò Ò°Ò°Ò Ò°Ò Ò°Ò_Ò°Ò

²º

Ò â

m»

¥

Î

© Ë

²P±

Òº È

Öß¢

«

â

m»

¥

Î

µ

Ò³ i

Þ

«»«

Ëuw¢®

²

Á®Â ¿PrÂÀ9¥ À å

nSo1h Q¡Po¢

åA² Âhf³¨rå

J

´¶µ éQ ÃSre¿9éJ Â ê§·#eFÀPeFÁ åcèUé Á¸ o´

(7)

Ê SL@ON`[ J_@\N`SMK

Å

Qª

¥£Æ

®Å ° Ç ¥ ÉÈ

¥ ¢®

¢ Ñ ¬

È ¥

m¼ ¥ ¢ » È

¯

}Èu¢ Æ ªuwQ

£È

ª

§

`Z¨Ï

¥

Ñ ¯

A¢

Ñ £¢

Ñ ¢ ¥ Ñ

£¢®

¢m

RË

² Û ºÌ

Ò\©

Æ

w

» ¯

¼a`

»¯m

¥ ÉÈ

¥ ¢®

¥

wÊ

¥

\

ÉÈ×

¡ «Ê

M¢

Ñ £

U£ ÏÐ ¥ ¢

¯

Ì¢

¢

ª

¨ÎÈ ÎÈ

Ï

¢

Rª

È¡¢ Æ ¥ ¨ÏÞ¢

¥ ÉÈ

¥ ¢¨

¢

Ø

Q«

¢

£ÎÍ

¢

«

8¨ÏR

¥£Æ

Ï®

ÍÞ

°

ÉÈu¢ ¥ ¢ ¥

QwÒ

ÝZ

ÏÐ ¥

¢®

Q

ÛEÎÈ

¥ ¢ ¥ ¢

Uª

¥ Ï

¥

Q

¢

¯ «

¼

£

¥

¼¢ ¥ Ñ

¯

¼ Å ¥ ÉÈ

¥ ¢¨

¢ Ñ £È

Q

¥ ÏÐ ¥ ¢

+

Ñ

Q« ¯

¼¡Ò

Ð ¥ wÛÎÈ

Rª

Ñ ¢ ¥

ªu

Ø

wQ

1//otwv)O{1v)~1}ow ¢ Ñ /o1Ot$/Ñ O{$Òhn~tw

^

«

¢ ¥

£¢

ª¡¯

È

Ñ Ò

Ó

A`

¡

:£¢

Ñ £È¡¢®RÉÈ ¥

m¼ ¥ ¢ » È

¯

\

»

¥ ¢®

Î

»

ÏE ¥ ÉÈ

¥ ¢¨

wÛm¢

¯ «

¼M¢¨AQ ¥ Ñ ×

¢®

«

¼°£È

Q

Ò Å È

«¯

ÎÈ

}

ª § Æ

R

«

¢ ¥ Ï¥

ÎÈ

Þ»

¥

¢m

w¢

£¢

Ñ » «

Û

Ñ

¨

» ¥ Æ Ñ

¢ ÏÐ

¥ ¢

«

ß

Ñ;Ñ

(Ô

¥

w

Ò

`

Ñ ÛF

¥

¢

Ú

¯

¼

Ê

¥

«

¢

¼ £È

Q

¥ » ¥

£

¯

¼ ª

ß

¥

ÉÈ

¥

¢¨×

U¢

ª

«

Î

Û ¥ Ï

¥Î¥

Ñ

Î8¢

$ OtÕÖ{1v)~1}hw

¯

á

¤}â^ã ÛFØRÈ

¥

ÎÈ

Ñ Æ

¨

Ñ

Î

Q

¥£¥

w

¢¨

Ñ (×

Þ¢

Ñ

¥ ¢

«

» ¥ Ë

²Ì

Ò È ¥ Ñ ÛÎÈ

°

ÉÈu¢

R

Ô

¥ Ñ ÏÐ

¥

¯

É¢

×

¢¨

«

¼

¥£Æ

w¢

«

_¢

Ñ ¨ÎÈ

¥

¢ Æ

«

¢

Î

¥

Ê

¥

_Î

¯

¢ ÏÐ

Ñ ¢¨

6Ø ØRÈu¢®

Ú

«

Ñ Ï

«

£¢

¢¨

JÙ

¥ ¥ Æ

Ôq

¥ Ñ Ù

Ð

Ñ ¢®

¢

Ñ ¯

:

Å

wª

¥ ¢

£¢`

¢

Ñ ¥ ÉÈ

¥ ¢¨

¢ ¥

ÏÐ

Ñ Û tP¾0ÑS¾(Á

«

Ë¹¹Û

³PÌ Û

¯

¼ ¢ ª

¥ ¢`UÉ¢®

¢mÉÈ

«

wÛ

» ¥

ÎU¢

¼

Qª

¥ ¢mQÛE ¥LÆ ¢ ¥ ¢

£°Ï}£È

ÛÚ

×Q¢

«

QÒc

Æ ¥ ¢

Q

¢

Þ

Ñ «

AÈ¡¢ Æ

HªQw »

¥ ÏÐ ¥

Ñ ÏÐ ¥ á ¤}â^ã Û tP¾0ÑS¾(Á Ë Û ² Ì

Ò¦

Ñ «

R

m

^£

¥ ¢ ¥ Ë´ Û

±

ÛSÛ

² Ì)Ü

ÎÈ

» ¥ Æ Ñ

¢_ ¥ ¢

¢¨

Ïqá ¤}â^ã

¯

Î ¤ ¥ i

É\¨ÏqØ ¥£Ú

¬

®Ø;

»^®

Ø

ÎÈ¡

»

ª

¢Ú ° ¢

«M «

¼¢®

» ¥

»

¥ Æ ¥ Ëuw¢®

Ò

ÍÞÏÐ ¥ Å

R¢

«»

¥ É¢

ª

Ñ

w¯

Q¢¨

°

Î

Ò ÓRÏ¢

ÎÈ

ÑJÝ

»uw

Ø ¥ Ñ » ¢ ¥ ¢ Ñ

mØ

¥ ÉÈ

¥ ¢®

R¢ ¥

»

Ë Ñ ¢mH£¢

Ñ ¢

¡Þ

Ñhß

Q

¯

QÒ

«¯

ÛÎÈ

c

»

¥ ¢®

L ¯

¢

»uw

w

Æ ¥

Q

Û

ª

:ÎÈ¡¢

¥

¯

¼ ¥

Î

¥

¦Ø

ÎÈÎÈ

¥ ¥

ÉÈ

¥

¢®

QÛm¨ÎÈ

¥ Å

wª

¥ÎÆ

QÛ¢

Ñ

¨£È

¥

Q

»

¯

¼ ¢ Ñ

Q

U¡

w¢®

¢ Æ

«

wÒ

Ó

ÎÈ

¥

»

`wÛ

¥

ÉÈ

¥

¢®

°¢

¥ §

M¢

¨£È

¥

¯ «Q

R¨Ï\¢

Ø

¥£Ú

Ñ «

Ï¥

¢

¥ ¥ Ò

¥

w

aØ}

¥ÎÚ

Ë

²µ

Û

²®³ Û¹

²

Û\¹

µÌ È¡¢

ªuwQ

Ñ Æ

Ñ £jÍÞ8ÏÐ

¥ Å qÒ

È

LØ

¥£Ú

w

£È

¥

Q

Ñ ¥ Ñ Ë

«

¼°¢

Ñ Q

Q»

¢

« ¯àw ¯

¼

¥ÎÆ

ã Æ

Q

Ü ¼ ¥

QQw

É

® ã Ü ° ¥ ¢ ÑÑ

¥

£ÍÞ Ï¥

¢

m»u

¥

«Q

£¢

Æ «

Ø »

«

Ò È ¥

R

LØ ¥£Ú Ø Ú

®Ø ÎÈu¢®

» ¥ Æ Ñ

ÏÐ ¥ ¢

¡

Ñ

w¯ «

¼LÏ Å

¥ ÉÈ

¥ ¢®

ÍÞ

«

¢MØA¢sMÎÈ¡¢¨RQ

»

¢ ¥

}Ø

ÎÈØRÈ¡¢¨AÈu¢

ªuwQ

Ñ Æ

Q

»

Ñ ÏÐ ¥ ÎÈ

Ï

¡

¢

¢m

»

`£wÒ Ü A¢U`

wÊQ

Û

£

}¨ÏE ã Ü Q

»

m

ÉÈ ¢

Mw

Ñ ¢ ª Æ ¢ ¥

H

¨ Ø

w¯

¡

Ñ ¥ Î Ñ Û

m

w»

RÏÐ ¥RÆ

¥ : ¥ Ñ ã Ü » ¢ ¥ ¢

¥

¯à

¢®

QÒ

Ó

ÎÈ

» ¢

»

¥ Ø Ñ Æ

w

»

Q

¢

°ÏÐ

Ñ ¢¨

ÞÏÐ ¥ £È

Ï

¢

¢m

»

`_Ï Å ß ¥ ÉÈ

×

¥ ¢¨

wÛJÍÞ¢

»u

ÉZ¢ ¥ Ñ

£

Ñ ¯

`

»

¢

»

¢

»u

¥ Ë

²ºÌ

Ò

Å

a»

¥ Æ Ñ

¢

«

¢

w

¢ ª

¢m

ZÏÐ ¥ ¥ ÉÈ

¥ ¢®

Z¢

«

®Ø

«

¼ÏÐ ¥

¡ª

¡

Ñ Ñ

ª

_Ë

¥ ¥ Û¨¢

Ñ ÎÈ

¥ ÏÐ ¥

}»

¥ Æ Ñ

¯

¼°¢_

«

¢ ¥

¢®

w

¦Ï Ñ ¢

«

É¢

¢®

Ò °

¢ ¥ ÏÐ°ÎÈ

£

ÛsØ

È¡¢ Æ

ÉÈ¡m

Q

Î_¢

¢

ÎÈ

ÞÓaÔqÕ ÏÐ ¥ ¢

¯

»

¥ »

m

Ñ ª ·

ÒsÖ

¥ ¢

O¢

ÒAË

²m²Ì

ÎÞ

»

ÏÐ

¥ ÉÈ

¥ ¢®

QÒ È

«

¥

aÏ

ÓaÔqÕ

UÎÈ¡¢¨

w

Ñ ¼

Ñ Û ª

¢m

Ñ Ï Ø » ¥

«M

Æ

Q

¥

`£

Ü®

¯»«QQ

ÉF£È

Î¨× Q¢

¯«

Ñ Þ ¥

Q

×» ¥ ¼ ¥ ¢

M «

¼ ß » ¢ ¥ ¢ Ñ ¼ ÛsØRÈ

¥ ¢

U ¯

¢

Ê

¥

w¢

ßª

ÏÐ

¥ Ø ¢ ¥ Ñ Ñ

« » ¢ ¥ ¢

¯«Q

¢

ÑQÝ

¥

Q¢mÎw¢

Ñ

Î¨ÎÈ

¥

ÞÎÈ¡¢¨_Ø

«¯

Q

¥ ¯ª¡

Î

ª «

Ñ

¯

¼

£È

¢

Ø

¥ Ü ¢

ÎØ

¥

ÞÎ

» ¢ ¥ ¢

ª

×

Ê

¥

¯

°¢

¥

ÎÈ

wÌ»

¥

m¼

¥

£

Æ

w

cQ

«¯

Ñ ¢ Ñ Æ

Q

¢

«

¥ ¥

Ñ ÎÎÈ

¥ ¼ «

¢

w¢

«¯

¥ Ò È » ¢ ¥ ¢ Ñ ¼

"m

¢m

cËÉ_ÎÈ

Q

Q»

°¨Ï ¥

ÉÈ

¥

¢®

Û

Net systems semantics of Web Services Orchestrations modeled in Orc

HAL Id: inria-00001103

https://hal.inria.fr/inria-00001103

Submitted on 7 Feb 2006

is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

L’archive ouverte pluridisciplinaire

destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,

Net systems semantics of Web Services Orchestrations modeled in Orc

Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard

To cite this version:

Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. Net systems semantics of Web Services

Orchestrations modeled in Orc. [Research Report] PI 1780, 2006. �inria-00001103�

I R

I S

A

P U B L I C A T I O N I N T E R N E

N

1780

I ^R

I ^S