Đang chuẩn bị liên kết để tải về tài liệu:
Springer - Concurrency Theory Episode 6

Tham khảo tài liệu 'springer - concurrency theory episode 6', kỹ thuật - công nghệ, cơ khí - chế tạo máy phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | 186 6 Beyond pbLOTOS Bl B2 which states that behaviour B2 can disable behaviour Bl. We call Bi the normal behaviour and B2 the exception behaviour. At any point during the Volulíou ofBp. thefirstaction ah Bxoao be rfc rmec causing Bi lo he stopped and B-y e bh aobehaveas B2.Infact evenbefore ao has performed an actíon B2 cah disabfo it.OneeBchas sIiceorsfully termmated tecah no longer-a tOsaOleh. For x tiii lh coiieidoellie íollooõng hthraiourn. i a y at- io.o se p y e-.sls where P X P in it y top a ri h fiv X y exit i z stop I z v x- easxt p-z stop v-stop Behaviouctrees for thsse expressions are dexisted in Figure 6.1. The following points can be made on each example behaviour. i The exxaotĩon baOaviouri h vat-op itoffecnd as an alternative to performing any action in the normal behaviour. Thus at any point the normal brhaviour con h dicnd er dull IS until d suaeesefal fdeminaftlou actienb oerformad. ii Bectbae ehrnocmal BehdPiouehapanmUnite nOaraater titered itobioa cesshiltcnnmationtodisable the exception behaaiour. ii Thispxhaiúour oanboa r liiha cs fnl Iv.ìusi li uaití . Hur. tine exerption l c-haaiour nannttbedicoblcdaad piwrt pv paei oftepthenormal behaaiour has bompidfha. iv An assdnmetrienondatotmmisSiacOoicbis genafotsdbetweenptsformiBd the haemitTehasiour obseraably or internally eaolaing to the exception t t ha mm. a Thisbehavitue iiiusSceCnt theitdarplanotdisabllng andeoidcecsihi tavxai-natidPiSpcnifically successful termination of the normal behaaiour en-ablebthe new bcndalourt ftopi The lissd po ra O w d had niduiisliual process calculus operator although its origins date back to 96 rather it is targeted at the specific application dombm olLOTOS dsscriptionoS communioatínnpeotacois.in-hdenntext ic is useL Cd xpr ss thedisrupting sftactat error andepoeBtiohbeTaaious e.g.a connectian llcill 0 0X 0 lx llyilie c llll bl t .tiS lciv C l meiudedddxnlmv in pbLOTOc b -dnsi hhassomednplaascet d mai i 0 n - t ll ll p t. I crxx-ampic Oisabiind ìiouioiIk X O ss