Refactoring Long Running Transactions: A Case Study
|
|
- Donald Robertson
- 8 years ago
- Views:
Transcription
1 Reactoing Long Running Tansactions: A Case Study Gianluigi Feai 1, Robeto Guanciale 1, Daniele Stollo 1, and Emilio Tuosto 2 1 Dipatimento di Inomatica, Univesità degli Studi di Pisa, Italy {giangi,guancio,stollo}@di.unipi.it 2 Univesity o Leiceste, Compute Science Depatment Univesity Road, LE17RH, Leiceste, UK et52@mcs.le.ac.uk Abstact. Managing tansactions is a key issue in Sevice Oiented Computing whee paticula elevance is given to the so called Long Running Tansactions (LRT). Hee, we show how to apply a omal appoach to the speciication and eactoing o LRT. Speciically, we conside a methodology aising on pocess calculi and show how it can be applied to a case study. 1 Intoduction Sevice Oiented Computing (SOC) envisages systems as combination o basic computational entities, called sevices, whose inteaces can be dynamically published and bound. Abstact composition/coodination mechanisms ae necessay as SOC systems ae typically executed on ovelay netwoks, namely inte-netwoked communication inastuctues (e.g., wied and wieless netwoks, telecommunication netwoks o thei combination). Such abstact mechanisms ae divided in to ochestation and choeogaphy. Sevices ae ochestated when thei execution wok-low is descibed though an extenal pocess, called ochestato. Achoeogaphy speciies how sevices should be connected and inteact so to accomplish the oveall choeogaphy goals. Roughly, choeogaphies yield an abstact global view o SOC systems that must eventually be pojected on the distibuted components. In this pape, we apply the theoy deined in [4] to a case study taken om the SEN- SORIA poject [9]. Moe pecisely, in [4] it is shown how Long Running Tansactions (LRT) can be eactoed in a semantially sound way, namely a ew eactoing ules o LRT ae given and poved to peseve (weak) bisimilaity. An oiginal contibution o this pape is the desciption o ou methodology via an implemented pogamming amewok, called ESC, based on the pocess calculi used in [4]. Ou methodology consists o the ollowing steps: 1. the sotwae achitect designs the LRT model in a semiomal notation (in this pape we adopt BPMN [8,10]); 2. pogammes poduce an initial implementation o the model in SCL, the pogamming language eatued by ESC; 3. the initial implementation is eactoed by epeatedly applying eactoing ules that automatically tansom the implementation in an equivalent one. M. Wising, M. Homann, and A. Rauschmaye (Eds.): TGC 2010, LNCS 6084, pp , Spinge-Velag Belin Heidelbeg 2010
2 Reactoing Long Running Tansactions: A Case Study 319 The eactoing in the last step is applied accoding to the model-diven appoach and allows the initial implementation to be adapted to choices/changes that may aise in a late stage o the development. Fo instance, the initial implementation can be given ignoing the execution platom; eactoing ules will then be applied to adapt the code to the undelying platom. Notice that this allows changes to the code to be done automatically o instance when the execution platom is decided o when it changes ate the deployment. Remakably, the adoption o the ESC amewok elieves sotwae achitects and pogammes om the inticacies o the theoetical backgound. The ESC amewok and its theoetical oundation guaantee the coectness, namely that eactoed SCL code is equivalent to the initial implementation. Synopsis. The ESC development amewok on its undelying model ae descibed in 2;theSCL language is intoduced in 3; the SENSORIA case study and the LRT eactoing ules ae discussed in 4; the action o the eactoing ules on SCL code is given in 5; inal emaks ae in 6. 2 Backgound We summaise the main ingedients o ou amewok illustated in Figue 1 whee ESC (let block), SC (middle block), and NCP (ight block) ae espectively a pogamming platom, its undelying omal model, and the choeogaphy model all elying on event notiication as the basic coodination paadigm. The Event-based Sevice Coodination (ESC) platom povides a set o Eclipse plugins that oe a gaphical and a textual epesentation o netwoks and is detailed below. Tansactions Saga ESC Platom SCL / SCDesigne SCL / SCDesigne SCL / SCDesigne Signal Calculus (SC) Signal Calculus (SC) Signal Calculus (SC) - Conomance - Bisimulation - Choeogaphy model NCP Fomal Model Java Code Deployment Java Signal Coe Laye Reinement Implementation Model Tansomation Fig. 1. ESC achitectue
3 320 G. Feai et al. The Signal Calculus [5,3] (SC) yields a set o coe pimitives suitable and plays the key ole o intemediate meta-model with espect to the othe two layes. The calculus o Netwok Coodination Policies [1] (NCP) extends and equips ou amewok with a choeogaphymodel. In Figue 1, the acs om SC to NCP epesent the possibility to map SC models on NCP so that the conomance to SC designs can be veiied. The ESC amewokelies on JSCL (a set ojava API ealising SC) andoestwo dieent pespectives o the netwok. The gaphical epesentation pesents a global view o the choeogaphy by consideing the components and thei inteconnections, without detailing thei intenal logics. The textual notation oes a close view o components allowing designes to ocus on the behavioal aspects. In a model diven metapho, the aspects teated at these dieent levels o abstaction shae a common meta-model. In this way a level can be easily tansomed into anothe so that the esulting taget model can be used o automatically geneating (executable) JSCL code. In act, the ESC platom supplies a set o model tansomation tools that, stating om the high level speciications (c. blocks BPMN tansactions and UML4SOA [11] in Figue 1), automatically build thei coesponding epesentation in the SCL model. The event-notiication model eatued by SCL is based on components that asynchonously emit typed events; events ae called signals and thei types ae called topics. A component may eact to signals though eactions installed in thei inteace; each eaction has an associated behaviou executed when a signal tiggeing the eaction is eceived. Additionally, events ae associated with sessions allowing to distinguish the dieent woklows. Intuitively, a session yields a vitual communication link among distibuted components. Sessions ae tanspaent to pogammes and have a scope (i.e., the components paticipating in some inteactions) that ae dealt with by the SCL semantics. In othe wods, the semantics o SCL guaantees that components outside the scope o a session do not eact to the events elated to such session. 3 Signal Coe Language The textual epesentation suppoted by ESC is the Signal Coe Language (SCL)implemented as a textual plug-in o Eclipse 1. An SCL model deines a netwok by aggegation o components, descibed in tems o eactive sotwae modules declaing the class o events they ae inteested to and the way they eact at the occuence o events. An example o SCL netwok is in Code 1.1 (whee ellipses stand o immateial code); the netwok consists o components a (LINES 3-20) and b (LINES 21-26). Topic names can be declaed eithe esticted o (LINE 1andLINE 2). A component has to declae its intention to ee a esticted name using the declaation knows (e.g., a on LINE 6). Instead, global names can be eeed by all components in the netwok. Moeove, topic names can be declaed local (LINE 4) o duing in the body o a component though the pimitive with (LINE 17). Similaly, component names can be declaed esticted by tagging components with the potected clause (LINE 21). 1 The textual edito has been implemented by using OpenAchitectueWae (oaw) [7], a modula MDA/MDD geneato amewok and suppots code completion, eo checking and code geneation.
4 Reactoing Long Running Tansactions: A Case Study esticted: s1,s2; 2 global: t1, t2, t3; 3 component a { 4 local: lt1, lt2; 5 lows: [t1->a], [lt1->b]; 6 knows: s1,b; 7 eaction lambda (t1@ws){ 8 addflow ([ws->b]); 9 addreaction ( 10 eaction check (lt1@lt2){ 11 emit (t1@lt1); 12 } 13 ); 14 nop; 15 do... o split with (nlt1) skip; 19 } 20 } 21 potected component b { 22 knows: s1; 23 main { } 26 } Code 1.1: An SCL netwok o two components Besides local names, components declae topics o thei lows (LINE 5) and eactions. The lows o a component speciy whee the signals have to be outed (e.g., signals o topic lt1 emitted by a ae ooted towads b). Reactions speciy what signals a component can eact to and the coesponding code to be executed upon eaction. Thee ae two kind o eaction; a eaction lambda, activated o a topic egadless its elated session, and eaction check, tiggeed only within a speciic session. Fo instance, a eacts to any signal on topic t1 (LINE 7) while can eact to signals on topic lt1 only i they ae elated to session lt2 (see LINE 10). The computational steps descibed inside eactions, declae thei behavios. The basic pimitives ae emit (LINE 11), used to send out notiication o an occued event, addflow (LINE 8) and addreaction (LINE 9) that allow lows and eactions o a component to be dynamically updated, nop (LINE 14) to indicate a block o code extenally deined though host language instuctions that do not inteee the coodination pattens (e.g. the access to the database), skip (LINE 18) epesents the empty action (the SC silent action).
5 322 G. Feai et al. Futhemoe, behavios can be composed in sequence (using, as usual the semicolon) o with do-o (LINE 15) and split (LINE 16) constucts. The ome constucts is used to implement the non deteministic execution o two banches, the latte allows the paallel composition o two behavioal activities. Notice that componentb declaesa main block (LINES 23-25) that speciies its initial behavio. 4 A Case Study: The Ca Repai Scenaio We apply ou methodology to the SENSORIA automotive case study [11] and show how it can be developed in the ESC amewok. We biely descibe the case study. A ca manuactue oes a sevice that, once a use s ca beaks down, the system attempts to locate a gaage, a tow tuck and a ental ca sevice so that the ca is towed to the gaage and epaied meanwhile the ca owne may continue his tavel. The ollowing equiements ae speciied: beoe any sevice lookup is made, an amount o money is eseved on the use s cedit cad; beoe looking o a tow tuck, a gaage must be ound as it poses additional constaints to the candidate tow tucks; i no tow tuck is ound, the gaage booking must be evoked; i a ca ental (with an available ca) is ound succeeds while the seach o eithe a tow tuck o a gaage ails, the ca ental must be ediected to the boken down ca s actual location; the ailue o the seach o a ca ental should not aect the tow tuck and gaage booking. Such equiements impose the adoption o LRT as coodination with compensations is needed; also it is woth pointing out some peculiaities o the scenaio. The application consists o dieent sevices that dynamically edeate in ode to povide new unctionalities. Speciically, sevices (e.g., inancial institutions, gaages and ca ental o taxi companies) team up to help the custome. This sevice composition is dynamic and cannot be anticipated in the code. Moeove, the scenaio equies distibuted tansactional behavio to be dealt with. In act, inteactions among sevices can ail o many easons and, o couse, the custome should not be chaged when the sevice cannot be povided. Finally, SOC systems usually have to be deployed on heteogeneous platoms and have to be executed on ovelay computes, namely netwoks o many dieent kinds (e.g., wied netwoks, wieless ones o, telecommunication netwoks). Fo instance, the caepai scenaio equies sotwae inteacing GPRS system, mobile phone, the Intenet, and dedicated netwoks o inancial tansactions. The complexity o such applications equies in act a athe sophisticated development methodology that can help pogammes in acing the complexity o undelying and platom speciic aspects. The LRT gaphical model o this scenaio is pesented in Figue 2 (see Appendix A o an oveview o LRT). The model exploits the tansactional and compensation acilities o LRT; o instance, the ca ental sevice is a sub-tansaction, since (as equied) it does not aect othe activities.
6 Reactoing Long Running Tansactions: A Case Study 323 Chage CeditCad Ode Gaage Appointment Ode Tow Tuck Revoke Chage Cancel Gaage Appointment Cancel Tow Tuck Ode Rental Ca + Rediect Rental Ca Fig. 2. Ca epai scenaio: the LRT model Notice that initial design in Figue 2 simply descibes the tansactional aspects o the main activities. In this phase, it is not elevant to descibe sevice distibution o (eined decomposition o the main activities). 4.1 LRT to SCL Model Tansomation The ESC platom comes up with a set o tools that pemit to tansom the platom independent LRT models to the platom speciic SCL models. The SCL implementation o tansactional behavios exploits two public names, and, espectively o owad and ollback events. Fowad events popagate the successul completion om an activity to the next ones in the wok-low. Backwad events ae emitted on ailues to tigge compensations. In the ist step the model tansomation geneates an SCL component o evey atomic pocess (aka an activity and the coesponding compensation). Subsequently, the model tansomation can geneate glue components and update the existing lows, howeve the behavio o components geneated in the pevious steps cannot be alteed. This pemits to tansom a tansactional pocess to an SCL netwok independently by the context, and euse it as building block just changing its connections (SCL lows). The SCL snippets pesented in the ollowing contain unspeciied behavio which is speciic to the application (epesented with comments in the code); this missing behavious ae supposed to be added by the pogammes once the SCL code is compiled into JSCL API (e.g. Java). Atomic pocess. Figue 3(a) gives a pictoial intuition o the intenal stuctue o atomic pocesses; Figue 3(b) illustates a black-box view o atomic pocesses whee solid (esp. dashed) aows epesent the owad (esp. backwad) low o LRT; inally, the sequential composition o a and b thei owad and backwad lows as in Figue 3(c).
7 324 G. Feai et al. Main Activity ex emit ok install compensation & emit (b) (a) Intenal view o atomic pocess (c) Fig. 3. Atomic and sequential compensatable pocesses In Code 1.2 we epot the SCL coding o tansactional activity GARAGE whee (accoding to Figue 3(a)) two pivate topics, ok and ex, (LINE 2) ae declaed so to be able to detemine the temination o the main activity o the component. Notice that all events on topics ok and ex ae deliveed to GARAGE itsel (LINE 3). Initially the component can eact only to events (BLOCK 5-24). When eacting to owad events (signals on topic ), GARAGE eceives the session identiie s and execute the behavio coesponding to the LRT main activity (LINE 7). Such behavio is not explicitly 1 component gaage { 2 local: ok, ex; 3 lows: [(ok->gaage), (ex->gaage), 4 (->ceditcad), (->dispatchepa )]; 5 eaction lambda (@s) { 6 split { 7 /* coding o the main activity */ 8 do {emit <ok@s >;} o {emit <ex@s >;} 9 } { 10 addreaction (eaction check (ok@s) { 11 split { 12 emit <@s >; 13 } { 14 addreaction (eaction check (@s) { 15 /* Compensation */ 16 emit <@s >; 17 }); 18 } 19 }); 20 } { 21 addreaction (eaction check (ex@s) { 22 emit <@s >; 23 }); 24 } 25 } Code 1.2: SCL compensatable activity
8 Reactoing Long Running Tansactions: A Case Study 325 given, it is just assumed to issue an ok event on successul temination and send an ex event othewise. Concuently with the main activity GARAGE installs a eactions to check when the main activity teminates (BLOCKS and 21-23). On successul temination (LINE 10), a signal on topic is popagated (LINE 12) and a check eaction waiting o a possible ollback is installed (LINE 14-17); when a event o the session s aives, the activity is compensated (abstacted by nop on LINE 15) and the ollback signal popagated to pevious stages (LINE 16). I the execution o the activity ails (LINE 21), the handle simply stats the backwad low, aising a ollback event (LINE 22). Since the tansomation o an atomic task geneates only one SCL component, this component is both the enty point and the exit point o the geneated netwok. Notice that the geneated component has only low to itsel, since it is geneated independently by the context. Paallel composition. The paallel composition o two LRT pocesses a and b is epesented in Figue 4(a) whee two additional components d and c epesent the dispatche and collecto. A dispatche popagates the owad lows to all the components executed in paallel and popagates the backwad lows to the pevious stage o the woklow. Similaly, the collecto waits o the outcome o each paallel component beoe popating the owad low and send ollback signals when subsequent stages o the woklow ail. The SCL code o dispatche is Code 1.3 and 1.4, espectively. Such code is geneated o the paallel composition o the TOWTRUCK and RENTALCAR sevices. The dispatche (c.. Code 1.3) epesents the enty point o the paallel banch. Basically, it activates the owad low o next components, and synchonizes thei backwad lows. Upon eactions to owad events (LINE 4), the collecto emits two events: one having topic (LINE 6) and the othe one having topic n (LINE 8). The ome event is deliveed to the components epesenting the paallel activities. The latte event is deliveed to the collecto, inoming it o the eceived session that will be late used by it to implement its synchonization. Concuently, the collecto activates its the synchonization mechanism by installing two nested eactions o the topic in the wok-low session s (LINES 10 and 11). When the synchonization o the backwad low takes place, the emitte backwadly owads the ollback event (LINE 12). (a) (b) Fig. 4. Paallel composition and tansactional enclosue
9 326 G. Feai et al. 1 component dispatchepa { 2 lows: [->towtuck],[->dispatchetans ], 3 [->gaage],[n->collectopa ]; 4 eaction lambda (@s) { 5 split { 6 emit (@s); 7 } { 8 emit (n@s); 9 } { 10 addreaction (eaction check (@s) { 11 addreaction (eaction check (@s) { 12 emit (@s); 13 }); 14 }); 15 } 16 } 17 } Code 1.3: SCL paallel dispatche 1 component collectopa { 2 lows: [->towtuck],[->collectotans ],[->...]; 3 eaction lambda (n@s) { 4 addreaction check (@s) { 5 addreaction check (@s) { 6 split { 7 emit <@s >; 8 } { 9 addreaction check (@s) { 10 emit <@s >; 11 } 12 } 13 } 14 } 15 } 16 } Code 1.4: SCL paallel collecto Similaly, the collecto component (in Code 1.4) is esponsible to implement the synchonization mechanism o the owad lows (LINES 4 and 5) and to activate the backwad lows o the paallel components when a event is eceived (BLOCK 9-11). Once both the intenal components have sent thei owad messages, the collecto sends out a event (LINE 7). Notice that the collecto exploits a n event to get inomation about the session s o the wok-low (LINE 3). Ate the geneation o the new components, the lows o the two netwoks ae updated (the low o in LINE 2). Moeove
10 Reactoing Long Running Tansactions: A Case Study 327 the backwad low is suitable connected to the intenal paallel components as given in LINE 2). The dispatche and the collecto components epesent the enty and exit point o the paallel component, espectively. Isolated tansaction. The intended meaning o tansactional enclosue constuct is that its intenal ailue does not aect othe activities. Fo this eason, egadless the outgoings o a tansactional activity a (see Figue 4(b)) the collecto will eceive a notiication o owad event ( ). The Not agent ensues that ollback equests om a ae conveted into owad equests so that the low is passed to the next stages o the tansaction. Convesely, i om the outside c eceives a ollback, the component a must be inomed and activate its compensation. Two cases ae possible: i) a has peviously successul teminated, so it has a compensation installed ii) a intenally ailed and no compensations ae needed. On its tun, d has to consume two instances o events beoe activating the backwad low while c, o the same session, consumes only a event and ignoes the uthe instances o. Similaly to the paallel encoding peviously exposed, the topic n is used om d to inom c that a new wok-low instance has been initiated so that the latte component can install the pope check eactions to consume two distinct instances o events coming om a. The geneated SCL code o the sub-tansaction containing the RENTALCAR component is povided by thee intenal components accoding to the schema given in Figue 4(b). The DISPATCHERTRANS (c.. Code 1.5) eceives om the extenal activities the owad events (LINE 3), inoms the COLLECTORTRANS that a new tansactional session has been initiated (LINE 4), ediects the owad event to the RENTALCAR (LINE 5) and installs the ollback handle o the cuent session (BLOCK 6-10). Notice that, the ollback will be sent out (LINE 8) ate the eception o two notiications. 1 component dispatchetans { 2 lows [n->collectotans ],[->RentalCa]; 3 eaction lambda (@s) { 4 emit (n@s); 5 emit (@s); 6 addreaction (eaction check (@s){ 7 addreaction (eaction check (@s){ 8 emit (@s); 9 }); 10 }); 11 } 12 } Code 1.5: SCL tansactional enclosue dispatche
11 328 G. Feai et al. 1 component Not { 2 lows [->collectotans ]; 3 eaction lambda (@s) { 4 emit <@s >; 5 } 6 } Code 1.6: SCL tansactional enclosue not The NOT pot has the obvious meaning, it invets the topic om to, without alteing the session, as given in Code component collectotans { 2 lows: [->collectopa],[->rentalca], 3 [->dispatchetans ]; 4 eaction lambda (n@s) { 5 addreaction( eaction check (@s) { 6 emit(@s); 7 addreaction (eaction check (@s) { 8 emit (@s); 9 }); 10 }); 11 } 12 } Code 1.7: SCL tansactional enclosue collecto The COLLECTORTRANS (c.. Code 1.7) waits until the dispatche communicates the new woking session (LINE 4). Consequently, it installs the handle o the notiications coming om the RENTALCAR (BLOCK 5-10). Once eceived the eventitis deliveed outside (LINE 6) and an handle o the ollback coming om the outside is installed (BLOCK 7-9). 5 Scl Model Reactoing In 4.1 we have shown how to compile BPMN diagams into SCL netwoks. Aguably, a simila mapping can be given also o othe omalisms o LRT as [11]. Nevetheless, the automatically geneated models may equie some modiications eithe (i) toeine the code to conside those aspects not addessable in LRT (e.g., platom dependent issues) o (ii) to optimise the geneated code. Figue 5 pictoially epesents the stuctue o the coding automatically geneated by SCL to be subsequently eined to bette adhee to additional equiements that ae
12 Reactoing Long Running Tansactions: A Case Study 329 Fig. 5. A epesentation o the netwok geneated in SCL not taken into account at abstact level. Fo instance, the component distibution on the netwok, ae not explicitly modeled at highe levels o abstaction, both at omal and speciication levels. In act, eithe LRT meta-models ae not concened with such aspects o, moe pagmatically, they can moe suitably consideed at late stages o the development. Fo example, BPMN designs sketches how the oveall tansaction among tansactional components should poceed without making any uthe assumption on which sevices implement such components (o whee they ae located). A possible solution to the poblem descibed abovev is to eineme the code. The einement pocess has to povide sound eactoing ules as those intoduces in [4] and adopted hee. Ou tanslation o LRT into SCL models povides the suitable level o abstaction to which these eactoing steps can be applied. Fo example, deployment o distibuted components o eaangement o points o contol can be automatically tansomed at the SCL level especting the oiginal semantics o automatically tanslated designs. 5.1 Reactoing Tansactional Components The ist eactoing ule consists in delegating the compensation o SCL tansactional components; the ule is applied to the GARAGE (c. Code 1.2, 4.1). As aleady pointed out, both the main activity and the compensation o a tansactional component ae embedded into a single SCL component that manages ok and ex events in ode to popagate owad o backwad lows. Howeve, it might be useul to delegate the compensation task to a dieent component. Fo example, the compensation should un on a dieent host than the main activity, because it involves a emote sevice. Usually, this aspect is not speciied in the model o the business pocess. In the ESC amewok, this issue can be tackled at deployment time, indeed implementation o JSCL [5] pemits to othogonally distibute components on the netwok topology. The eactoing ule geneates a component, called CMP (Code 1.8, lines 20-29), that handles the compensation managing the backwad low and is eachable only by GARAGE (line 5). Fo this eason, GARAGE diects and ex events as speciied in the eactoed set o lows (line 4). The eactoed GARAGE component needs only to check the temination o its main activity. In act, its check eaction (line 9) popagates the
13 330 G. Feai et al. 1 esticted ex; 2 component gaage { 3 local: ok; 4 lows: [(ok->gaage),(ex->cmp),(->cmp),(->dispatchepa )]; 5 knows: cmp; 6 eaction lambda (@s) { 7 split { do {emit <ok@s >;} o {emit <ex@s >;} } 8 { 9 addreaction (eaction check (ok@s) { 10 split { 11 emit <@s >; 12 } { 13 addreaction (eaction check (@s) { 14 emit <@s >; 15 }); 16 } 17 }); 18 } 19 } 20 potected component cmp { 21 lows: [(->ceditcad)]; 22 eaction lambda (ex@s) { 23 emit <@s >; 24 } 25 eaction check (@s) { 26 /* Coding o Compensation. 27 Deined by host language API. */ 28 nop; 29 emit <@s >; 30 } 31 } Code 1.8: Delegating compensation in SCL owad low and activates a listene o the ollback notiications possibly sent by subsequent tansactional components. Notice that the eaction implicitly delegates the execution o the compensation to CMP. Once a ollback is captued by GARAGE it is automatically owaded to CMP accoding to the lows deined in line 4. Hence, CMP is inomed i something goes wong eithe duing the execution o the main activity (ex events) o, ate its successul execution, when events is be deliveed by othe components. The component CMP waits the notiication o an exception (line 7) o a ollback equest coming om subsequent components. In the ome case, CMP simply activates the backwad low while, in the latte case, CMP executes the compensation that, upon temination, stats the backwad low (lines 26-29).
14 Reactoing Long Running Tansactions: A Case Study 331 n n n (a) (b) Fig. 6. Paallel composition and its eactoing 5.2 Reactoing Paallel Composition The mapping o the paallel composition o tansactions intoduces two additional components, a dispatche and a collecto, espectively acting as the enty and exit point o the paallel composition. To illustate the eactoing o paallel SCL tansactions the scenaio o 4 is extended by adding a new activity (DELAY) that inoms the Inomation System o the dive company about a possible delay. This activity can be peomed ate GARAGE has been contacted. Namely, the esulting business pocess contains thee concuent activities: the DELAY, the TRACK and the sub-tansaction that encloses RENTALCAR. Figue 6(a) depicts the lows and components equied to implement this paallel composition. Two distinct dispatches (D1 and D2) ae involved in the coodination. Dispatche D2 is esponsible to owad the eceived equests to components DELAY and TRACK and esults extenally the enty point o thei paallel composition. As esult, the dispatche D1 is connected to the enty point o the sub-tansaction RENTALCAR and to D2, acting as enty point o the whole paallel block. Simila consideations can be made o the exit points C1 andc2. The notiication o events to dispatches D1 and D2 ae not elevant to the semantic o the implementing netwok (moe pecisely these ae hidden notiication, since the dispatches ae not visible outside the netwok). The geneation o two dieent dispatches can povide a mechanism to optimize the communications among components. Fo example, i D2, DELAY, andtowtrack eside on the same host, the geneated dispatche pemits to educe the inte-host communications o the owad and backwad low, since it eceives only one inte-host signal and geneates two inta-host signals o DELAY and TOWTRACK. I DELAY, TOWTRACK, andrentalcar ae emotely executed, the two dispatches can be used applying ou next eactoing ule. Such ule can be applied in two diections, namely (i) it can mege two paallel dispatches into one (simpliying the SCL code) o (ii) it can split a dispatche into two paallel ones (eining inte-hosts communication). In the ollowing we summaize the eactoing o paallel dispatches.
15 332 G. Feai et al. Notewothy, the same stategy can povide a simila eactoing mechanism o the collectos. Theeactoingmegesthedispatche D2 with D1 as ollows: Migates any low tageted to the dispatche D2 to the dispatche D1. Fo example, the lows o TOWTRACK becomes lows: [(ok->towtack), (ex->towtack), (->RentalCa,Delay,d1), (->c2)] Add all lows o the dispatche D2 to the dispatche D1 (Code 1.9, line 2) Removes the component D2 Extends the synchonization o D1 in ode to wait the eception o thee ollback events (Code 1.9, line 10). 1 component D1 { 2 lows: [->Delay,TowTuck,dispatcheTans ], 3 [->gaage],[n->c1,c2]; 4 eaction lambda (@s) { 5 split { 6 emit (@s); 7 } { 8 emit (n@s); 9 } { 10 addreaction (eaction check (@s) { 11 addreaction (eaction check (@s) { 12 addreaction (eaction check (@s) { 13 emit (@s); 14 }); 15 }); 16 }); 17 } 18 } 19 } 6 Concluding Remaks Code 1.9: Resulting dispatche o the eactoing Sevice manageability is a key issue that must be solved to widely adopt SOC. This paadigm can simpliy sotwae adaptation when changes in the business elations occu. Howeve, the size o systems obtained by aggegating sevices can impose high costs possibly not aodable by small-medium entepises. O couse, this may pevent SOA (sevice oiented achitectue) to be lagely adopted and limit its success. To educe costs and the eots o adopting SOA solutions, developes and designes should sepaately manage dieent aspects a system. This goal can be achieved by the adoption o the Model Diven Development. Famewok and tools should povide
16 Reactoing Long Running Tansactions: A Case Study 333 speciic omalisms and languages suitable to manage a subset o the whole aspects o an application. We ocused on the issues elated to the management o tansactional aspects o SOA systems. In the last yeas seveal toolkits have been developed to handle these speciic issues (e.g. Eclipse/BPEL [2,12]). Howeve, these poposals lack solid oundational gounds, making it diicult to povide easoning techniques and to pove coectness o applications. In this pape we pesented some o the main beneits povided by the stict inteplay between theoetical esults and pogamming pactice. A key eatue o ou poposal is that any language involved by the development pocess has a omal desciption, allowing us to clealy deine the semantics o systems and to povide sound tools. Fo example, ou tool is equipped with eactoing ules that (i) suppot the designe in the einement pocess (ii) do not aect the semantics o the system. We plan to adopt the same methodology to povide uthe extension to ou amewok. We want to investigate omal methods to manage dieent aspects o the system (e.g. quality o sevice). These models can dive the deinition o domain speciic languages that allow the develope to sepaately manage the coesponding domains. Reeences 1. Ciancia, V., Feai, G., Guanciale, R., Stollo, D.: Global coodination policies o sevices. ENTCS 260, (2010) 2. Eclipse Modeling Famewok, 3. Feai, G.L., Guanciale, R., Stollo, D., Tuosto, E.: Coodination via types in an eventbased amewok. In: Deick, J., Vain, J. (eds.) FORTE LNCS, vol. 4574, pp Spinge, Heidelbeg (2007) 4. Feai, G.L., Guanciale, R., Stollo, D., Tuosto, E.: Reactoing long uning tansactions. In: WSFM (2008) 5. Feai, G.L., Guanciale, R., Stollo, D.: Jscl: A middlewae o sevice coodination. In: Najm, et al. [6], pp Najm, E., Padat-Peye, J.-F., Donzeau-Gouge, V. (eds.): FORTE LNCS, vol Spinge, Heidelbeg (2006) 7. OpenAchitectueWae MDA/MDD geneato amewok, 8. Business Pocess Modeling Notation (2002), 9. SENSORIA poject, White, S.: Intoduction to BPMN (May 2004), Wising, M., Clak, A., Gilmoe, S., Hölzl, M.M., Knapp, A., Koch, N., Schoede, A.: Semantic-based development o sevice-oiented systems. In: Najm, et al. [6], pp Wohed, P., van de Aalst, W.M., Dumas, M., te Hostede, A.H.: Patten Based Analysis o BPEL4WS. Technical epot, Depatment o Compute and Systems Sciences Stockholm Univesity/The Royal Institute o Technology, Sweden (Novembe 2003)
17 334 G. Feai et al. A Oveview obpmn The gaphical notation o BPMN pemits to descibe the wok-low o a distibuted system by a global point o view. The sotwae achitect can abstact om the distibution o the pocesses, the communication mechanisms and the technologies that will implement each pocess. We ocus on the tansactional pat o BPMN that in the ollowing we indicate as LRT. Speciically, LRT encloses only the subset o BPMN necessay to model LRT. The basic elements o LRT ae compensable activities, namely pais o activities and compensations that can be composed sequentially o in paallel. (a) Sequence (b) Paallel (c) Tansactional scope Fig. 7. Composition o compensable activities Figue 7 depicts the designs espectively o sequential (a) and paallel (b) composition o compensable activities.main activities and thei compensations ae epesented as boxes linked by dashed aows (o instance, Task1 has a compensation enty point to which its compensation Comp1 is attached). The sequential composition is peomed by linking togethe the main activities (c. Figue 7(a)), while the paallel composition makes use o ok and join opeatos. In Figue 7(b) it is epoted a paallel composition o two tansactional activities. The two cicles epesent the stat event and the end event o the whole pocess, while the diamond with the plus opeation epesents the join o the two paallel activities. The ok opeation is implicit in the multiple connections on the stat event. Finally, compensable activities, and thei compositions, can be enclosed inside tansactional boundaies as shown in Figue 7(c). All the elements pesented at this laye ae inheited om the coe meta-models o BPMN and UML4SOA [11] and have the usual meaning o lowchat designs. Pocesses ae built by composing activities as in Figue 7. BPMN does not speciy the intenal behaviou o activities and the inteactions among components.
Concept and Experiences on using a Wiki-based System for Software-related Seminar Papers
Concept and Expeiences on using a Wiki-based System fo Softwae-elated Semina Papes Dominik Fanke and Stefan Kowalewski RWTH Aachen Univesity, 52074 Aachen, Gemany, {fanke, kowalewski}@embedded.wth-aachen.de,
More informationChapter 3 Savings, Present Value and Ricardian Equivalence
Chapte 3 Savings, Pesent Value and Ricadian Equivalence Chapte Oveview In the pevious chapte we studied the decision of households to supply hous to the labo maket. This decision was a static decision,
More informationOver-encryption: Management of Access Control Evolution on Outsourced Data
Ove-encyption: Management of Access Contol Evolution on Outsouced Data Sabina De Capitani di Vimecati DTI - Univesità di Milano 26013 Cema - Italy decapita@dti.unimi.it Stefano Paaboschi DIIMM - Univesità
More informationModel-Driven Engineering of Adaptation Engines for Self-Adaptive Software: Executable Runtime Megamodels
Model-Diven Engineeing of Adaptation Engines fo Self-Adaptive Softwae: Executable Runtime Megamodels Thomas Vogel, Holge Giese Technische Beichte N. 66 des Hasso-Plattne-Instituts fü Softwaesystemtechnik
More informationSoftware Engineering and Development
I T H E A 67 Softwae Engineeing and Development SOFTWARE DEVELOPMENT PROCESS DYNAMICS MODELING AS STATE MACHINE Leonid Lyubchyk, Vasyl Soloshchuk Abstact: Softwae development pocess modeling is gaining
More informationHIGH AVAILABILITY SOLUTION: RESOURCE USAGE MANAGEMENT IN VIRTUALIZED SOFTWARE AGING
Intenational Jounal o Compute Science & Inomation Technology (IJCSIT) Vol 4, No, June 0 HIGH AVAILAILITY SOLUTION: ESOUCE USAGE MANAGEMENT IN VITUALIZED SOFTWAE AGING Aye Myat Myat aing and Ni La Thein
More information9:6.4 Sample Questions/Requests for Managing Underwriter Candidates
9:6.4 INITIAL PUBLIC OFFERINGS 9:6.4 Sample Questions/Requests fo Managing Undewite Candidates Recent IPO Expeience Please povide a list of all completed o withdawn IPOs in which you fim has paticipated
More informationGive me all I pay for Execution Guarantees in Electronic Commerce Payment Processes
Give me all I pay fo Execution Guaantees in Electonic Commece Payment Pocesses Heiko Schuldt Andei Popovici Hans-Jög Schek Email: Database Reseach Goup Institute of Infomation Systems ETH Zentum, 8092
More informationCloud Service Reliability: Modeling and Analysis
Cloud Sevice eliability: Modeling and Analysis Yuan-Shun Dai * a c, Bo Yang b, Jack Dongaa a, Gewei Zhang c a Innovative Computing Laboatoy, Depatment of Electical Engineeing & Compute Science, Univesity
More informationComparing Availability of Various Rack Power Redundancy Configurations
Compaing Availability of Vaious Rack Powe Redundancy Configuations White Pape 48 Revision by Victo Avela > Executive summay Tansfe switches and dual-path powe distibution to IT equipment ae used to enhance
More informationThe Role of Gravity in Orbital Motion
! The Role of Gavity in Obital Motion Pat of: Inquiy Science with Datmouth Developed by: Chistophe Caoll, Depatment of Physics & Astonomy, Datmouth College Adapted fom: How Gavity Affects Obits (Ohio State
More informationAn Approach to Optimized Resource Allocation for Cloud Simulation Platform
An Appoach to Optimized Resouce Allocation fo Cloud Simulation Platfom Haitao Yuan 1, Jing Bi 2, Bo Hu Li 1,3, Xudong Chai 3 1 School of Automation Science and Electical Engineeing, Beihang Univesity,
More informationAN IMPLEMENTATION OF BINARY AND FLOATING POINT CHROMOSOME REPRESENTATION IN GENETIC ALGORITHM
AN IMPLEMENTATION OF BINARY AND FLOATING POINT CHROMOSOME REPRESENTATION IN GENETIC ALGORITHM Main Golub Faculty of Electical Engineeing and Computing, Univesity of Zageb Depatment of Electonics, Micoelectonics,
More informationAn Efficient Group Key Agreement Protocol for Ad hoc Networks
An Efficient Goup Key Ageement Potocol fo Ad hoc Netwoks Daniel Augot, Raghav haska, Valéie Issany and Daniele Sacchetti INRIA Rocquencout 78153 Le Chesnay Fance {Daniel.Augot, Raghav.haska, Valéie.Issany,
More informationFirstmark Credit Union Commercial Loan Department
Fistmak Cedit Union Commecial Loan Depatment Thank you fo consideing Fistmak Cedit Union as a tusted souce to meet the needs of you business. Fistmak Cedit Union offes a wide aay of business loans and
More informationElectricity transmission network optimization model of supply and demand the case in Taiwan electricity transmission system
Electicity tansmission netwok optimization model of supply and demand the case in Taiwan electicity tansmission system Miao-Sheng Chen a Chien-Liang Wang b,c, Sheng-Chuan Wang d,e a Taichung Banch Gaduate
More informationAutomatic Testing of Neighbor Discovery Protocol Based on FSM and TTCN*
Automatic Testing of Neighbo Discovey Potocol Based on FSM and TTCN* Zhiliang Wang, Xia Yin, Haibin Wang, and Jianping Wu Depatment of Compute Science, Tsinghua Univesity Beijing, P. R. China, 100084 Email:
More informationComparing Availability of Various Rack Power Redundancy Configurations
Compaing Availability of Vaious Rack Powe Redundancy Configuations By Victo Avela White Pape #48 Executive Summay Tansfe switches and dual-path powe distibution to IT equipment ae used to enhance the availability
More informationContinuous Compounding and Annualization
Continuous Compounding and Annualization Philip A. Viton Januay 11, 2006 Contents 1 Intoduction 1 2 Continuous Compounding 2 3 Pesent Value with Continuous Compounding 4 4 Annualization 5 5 A Special Poblem
More informationPAN STABILITY TESTING OF DC CIRCUITS USING VARIATIONAL METHODS XVIII - SPETO - 1995. pod patronatem. Summary
PCE SEMINIUM Z PODSTW ELEKTOTECHNIKI I TEOII OBWODÓW 8 - TH SEMIN ON FUNDMENTLS OF ELECTOTECHNICS ND CICUIT THEOY ZDENĚK BIOLEK SPŠE OŽNO P.., CZECH EPUBLIC DLIBO BIOLEK MILITY CDEMY, BNO, CZECH EPUBLIC
More informationTop K Nearest Keyword Search on Large Graphs
Top K Neaest Keywod Seach on Lage Gaphs Miao Qiao, Lu Qin, Hong Cheng, Jeffey Xu Yu, Wentao Tian The Chinese Univesity of Hong Kong, Hong Kong, China {mqiao,lqin,hcheng,yu,wttian}@se.cuhk.edu.hk ABSTRACT
More informationON THE (Q, R) POLICY IN PRODUCTION-INVENTORY SYSTEMS
ON THE R POLICY IN PRODUCTION-INVENTORY SYSTEMS Saifallah Benjaafa and Joon-Seok Kim Depatment of Mechanical Engineeing Univesity of Minnesota Minneapolis MN 55455 Abstact We conside a poduction-inventoy
More informationSTUDENT RESPONSE TO ANNUITY FORMULA DERIVATION
Page 1 STUDENT RESPONSE TO ANNUITY FORMULA DERIVATION C. Alan Blaylock, Hendeson State Univesity ABSTRACT This pape pesents an intuitive appoach to deiving annuity fomulas fo classoom use and attempts
More informationCollege of Engineering Bachelor of Computer Science
2 0 0 7 w w w. c n u a s. e d u College of Engineeing Bachelo of Compute Science This bochue Details the BACHELOR OF COMPUTER SCIENCE PROGRAM available though CNU s College of Engineeing. Fo ou most up-to-date
More informationHEALTHCARE INTEGRATION BASED ON CLOUD COMPUTING
U.P.B. Sci. Bull., Seies C, Vol. 77, Iss. 2, 2015 ISSN 2286-3540 HEALTHCARE INTEGRATION BASED ON CLOUD COMPUTING Roxana MARCU 1, Dan POPESCU 2, Iulian DANILĂ 3 A high numbe of infomation systems ae available
More informationSpirotechnics! September 7, 2011. Amanda Zeringue, Michael Spannuth and Amanda Zeringue Dierential Geometry Project
Spiotechnics! Septembe 7, 2011 Amanda Zeingue, Michael Spannuth and Amanda Zeingue Dieential Geomety Poject 1 The Beginning The geneal consensus of ou goup began with one thought: Spiogaphs ae awesome.
More informationENABLING INFORMATION GATHERING PATTERNS FOR EMERGENCY RESPONSE WITH THE OPENKNOWLEDGE SYSTEM
Computing and Infomatics, Vol. 29, 2010, 537 555 ENABLING INFORMATION GATHERING PATTERNS FOR EMERGENCY RESPONSE WITH THE OPENKNOWLEDGE SYSTEM Gaia Tecaichi, Veonica Rizzi, Mauizio Machese Depatment of
More informationTowards Automatic Update of Access Control Policy
Towads Automatic Update of Access Contol Policy Jinwei Hu, Yan Zhang, and Ruixuan Li Intelligent Systems Laboatoy, School of Computing and Mathematics Univesity of Westen Sydney, Sydney 1797, Austalia
More informationOptimal Peer Selection in a Free-Market Peer-Resource Economy
Optimal Pee Selection in a Fee-Maket Pee-Resouce Economy Micah Adle, Rakesh Kuma, Keith Ross, Dan Rubenstein, David Tune and David D Yao Dept of Compute Science Univesity of Massachusetts Amhest, MA; Email:
More informationChannel selection in e-commerce age: A strategic analysis of co-op advertising models
Jounal of Industial Engineeing and Management JIEM, 013 6(1):89-103 Online ISSN: 013-0953 Pint ISSN: 013-843 http://dx.doi.og/10.396/jiem.664 Channel selection in e-commece age: A stategic analysis of
More informationConverting knowledge Into Practice
Conveting knowledge Into Pactice Boke Nightmae srs Tend Ride By Vladimi Ribakov Ceato of Pips Caie 20 of June 2010 2 0 1 0 C o p y i g h t s V l a d i m i R i b a k o v 1 Disclaime and Risk Wanings Tading
More informationOffice of Family Assistance. Evaluation Resource Guide for Responsible Fatherhood Programs
Office of Family Assistance Evaluation Resouce Guide fo Responsible Fathehood Pogams Contents Intoduction........................................................ 4 Backgound..........................................................
More informationThings to Remember. r Complete all of the sections on the Retirement Benefit Options form that apply to your request.
Retiement Benefit 1 Things to Remembe Complete all of the sections on the Retiement Benefit fom that apply to you equest. If this is an initial equest, and not a change in a cuent distibution, emembe to
More informationest using the formula I = Prt, where I is the interest earned, P is the principal, r is the interest rate, and t is the time in years.
9.2 Inteest Objectives 1. Undestand the simple inteest fomula. 2. Use the compound inteest fomula to find futue value. 3. Solve the compound inteest fomula fo diffeent unknowns, such as the pesent value,
More informationChris J. Skinner The probability of identification: applying ideas from forensic statistics to disclosure risk assessment
Chis J. Skinne The pobability of identification: applying ideas fom foensic statistics to disclosue isk assessment Aticle (Accepted vesion) (Refeeed) Oiginal citation: Skinne, Chis J. (2007) The pobability
More informationDebt Shifting in Europe
Debt Shifting in Euope Fancesca Baion Paolo Panteghini Univesità di Bescia Ra aele Miniaci Univesità di Bescia Maia Laua Paisi Univesità di Bescia Mach 1, 011 Abstact This aticle aims at analyzing the
More informationModeling and Verifying a Price Model for Congestion Control in Computer Networks Using PROMELA/SPIN
Modeling and Veifying a Pice Model fo Congestion Contol in Compute Netwoks Using PROMELA/SPIN Clement Yuen and Wei Tjioe Depatment of Compute Science Univesity of Toonto 1 King s College Road, Toonto,
More informationPower Monitoring and Control for Electric Home Appliances Based on Power Line Communication
I²MTC 2008 IEEE Intenational Instumentation and Measuement Technology Confeence Victoia, Vancouve Island, Canada, May 12 15, 2008 Powe Monitoing and Contol fo Electic Home Appliances Based on Powe Line
More informationAn application of stochastic programming in solving capacity allocation and migration planning problem under uncertainty
An application of stochastic pogamming in solving capacity allocation and migation planning poblem unde uncetainty Yin-Yann Chen * and Hsiao-Yao Fan Depatment of Industial Management, National Fomosa Univesity,
More informationInstructions to help you complete your enrollment form for HPHC's Medicare Supplemental Plan
Instuctions to help you complete you enollment fom fo HPHC's Medicae Supplemental Plan Thank you fo applying fo membeship to HPHC s Medicae Supplement plan. Pio to submitting you enollment fom fo pocessing,
More informationThe transport performance evaluation system building of logistics enterprises
Jounal of Industial Engineeing and Management JIEM, 213 6(4): 194-114 Online ISSN: 213-953 Pint ISSN: 213-8423 http://dx.doi.og/1.3926/jiem.784 The tanspot pefomance evaluation system building of logistics
More informationData Center Demand Response: Avoiding the Coincident Peak via Workload Shifting and Local Generation
(213) 1 28 Data Cente Demand Response: Avoiding the Coincident Peak via Wokload Shifting and Local Geneation Zhenhua Liu 1, Adam Wieman 1, Yuan Chen 2, Benjamin Razon 1, Niangjun Chen 1 1 Califonia Institute
More informationUncertain Version Control in Open Collaborative Editing of Tree-Structured Documents
Uncetain Vesion Contol in Open Collaboative Editing of Tee-Stuctued Documents M. Lamine Ba Institut Mines Télécom; Télécom PaisTech; LTCI Pais, Fance mouhamadou.ba@ telecom-paistech.f Talel Abdessalem
More informationReduced Pattern Training Based on Task Decomposition Using Pattern Distributor
> PNN05-P762 < Reduced Patten Taining Based on Task Decomposition Using Patten Distibuto Sheng-Uei Guan, Chunyu Bao, and TseNgee Neo Abstact Task Decomposition with Patten Distibuto (PD) is a new task
More informationA framework for the selection of enterprise resource planning (ERP) system based on fuzzy decision making methods
A famewok fo the selection of entepise esouce planning (ERP) system based on fuzzy decision making methods Omid Golshan Tafti M.s student in Industial Management, Univesity of Yazd Omidgolshan87@yahoo.com
More informationMulticriteria analysis in telecommunications
Poceedings of the 37th Hawaii Intenational Confeence on System Sciences - 2004 Multiciteia analysis in telecommunications Janusz Ganat and Andze P. Wiezbicki National Institute of Telecommunications Szachowa
More information2 r2 θ = r2 t. (3.59) The equal area law is the statement that the term in parentheses,
3.4. KEPLER S LAWS 145 3.4 Keple s laws You ae familia with the idea that one can solve some mechanics poblems using only consevation of enegy and (linea) momentum. Thus, some of what we see as objects
More informationAn Analysis of Manufacturer Benefits under Vendor Managed Systems
An Analysis of Manufactue Benefits unde Vendo Managed Systems Seçil Savaşaneil Depatment of Industial Engineeing, Middle East Technical Univesity, 06531, Ankaa, TURKEY secil@ie.metu.edu.t Nesim Ekip 1
More informationGravitational Mechanics of the Mars-Phobos System: Comparing Methods of Orbital Dynamics Modeling for Exploratory Mission Planning
Gavitational Mechanics of the Mas-Phobos System: Compaing Methods of Obital Dynamics Modeling fo Exploatoy Mission Planning Alfedo C. Itualde The Pennsylvania State Univesity, Univesity Pak, PA, 6802 This
More informationEffect of Contention Window on the Performance of IEEE 802.11 WLANs
Effect of Contention Window on the Pefomance of IEEE 82.11 WLANs Yunli Chen and Dhama P. Agawal Cente fo Distibuted and Mobile Computing, Depatment of ECECS Univesity of Cincinnati, OH 45221-3 {ychen,
More informationMultiband Microstrip Patch Antenna for Microwave Applications
IOSR Jounal of Electonics and Communication Engineeing (IOSR-JECE) ISSN: 2278-2834, ISBN: 2278-8735. Volume 3, Issue 5 (Sep. - Oct. 2012), PP 43-48 Multiband Micostip Patch Antenna fo Micowave Applications
More informationChapter 2 Valiant Load-Balancing: Building Networks That Can Support All Traffic Matrices
Chapte 2 Valiant Load-Balancing: Building etwoks That Can Suppot All Taffic Matices Rui Zhang-Shen Abstact This pape is a bief suvey on how Valiant load-balancing (VLB) can be used to build netwoks that
More informationOptimizing Content Retrieval Delay for LT-based Distributed Cloud Storage Systems
Optimizing Content Retieval Delay fo LT-based Distibuted Cloud Stoage Systems Haifeng Lu, Chuan Heng Foh, Yonggang Wen, and Jianfei Cai School of Compute Engineeing, Nanyang Technological Univesity, Singapoe
More informationUNIT CIRCLE TRIGONOMETRY
UNIT CIRCLE TRIGONOMETRY The Unit Cicle is the cicle centeed at the oigin with adius unit (hence, the unit cicle. The equation of this cicle is + =. A diagam of the unit cicle is shown below: + = - - -
More informationScheduling Hadoop Jobs to Meet Deadlines
Scheduling Hadoop Jobs to Meet Deadlines Kamal Kc, Kemafo Anyanwu Depatment of Compute Science Noth Caolina State Univesity {kkc,kogan}@ncsu.edu Abstact Use constaints such as deadlines ae impotant equiements
More informationEfficient Redundancy Techniques for Latency Reduction in Cloud Systems
Efficient Redundancy Techniques fo Latency Reduction in Cloud Systems 1 Gaui Joshi, Emina Soljanin, and Gegoy Wonell Abstact In cloud computing systems, assigning a task to multiple seves and waiting fo
More informationTowards Realizing a Low Cost and Highly Available Datacenter Power Infrastructure
Towads Realizing a Low Cost and Highly Available Datacente Powe Infastuctue Siam Govindan, Di Wang, Lydia Chen, Anand Sivasubamaniam, and Bhuvan Ugaonka The Pennsylvania State Univesity. IBM Reseach Zuich
More informationMethods for the specification and verification of business processes MPB (6 cfu, 295AA)
Methods fo the specification and veification of business pocesses MPB (6 cfu, 295AA) Robeto Buni http://wwwdiunipiit/~buni 22 - Business pocess execution language 1 Object We oveview the key featues of
More informationReal Estate Equity Derivatives
Real Estate Equity Deivatives Geltne Mille 2 nd Edition Chapte 26 Section 26.3 Real Estate Deivatives (Index Retun Swaps) Real Estate Equity Deivatives A deivative is an asset whose value depends completely
More informationDatabase Management Systems
Contents Database Management Systems (COP 5725) D. Makus Schneide Depatment of Compute & Infomation Science & Engineeing (CISE) Database Systems Reseach & Development Cente Couse Syllabus 1 Sping 2012
More informationA Capacitated Commodity Trading Model with Market Power
A Capacitated Commodity Tading Model with Maket Powe Victo Matínez-de-Albéniz Josep Maia Vendell Simón IESE Business School, Univesity of Navaa, Av. Peason 1, 08034 Bacelona, Spain VAlbeniz@iese.edu JMVendell@iese.edu
More informationThe force between electric charges. Comparing gravity and the interaction between charges. Coulomb s Law. Forces between two charges
The foce between electic chages Coulomb s Law Two chaged objects, of chage q and Q, sepaated by a distance, exet a foce on one anothe. The magnitude of this foce is given by: kqq Coulomb s Law: F whee
More informationTransmittal 198 Date: DECEMBER 9, 2005. SUBJECT: Termination of the Existing Eligibility-File Based Crossover Process at All Medicare Contractors
anual ystem Depatment of ealth & uman evices (D) entes fo edicae & Pub 100-20 One-Time Notification edicaid evices () Tansmittal 198 Date: DEEBE 9, 2005 hange equest 4231 UBJET: Temination of the Existing
More informationSemipartial (Part) and Partial Correlation
Semipatial (Pat) and Patial Coelation his discussion boows heavily fom Applied Multiple egession/coelation Analysis fo the Behavioal Sciences, by Jacob and Paticia Cohen (975 edition; thee is also an updated
More informationLoyalty Rewards and Gift Card Programs: Basic Actuarial Estimation Techniques
Loyalty Rewads and Gift Cad Pogams: Basic Actuaial Estimation Techniques Tim A. Gault, ACAS, MAAA, Len Llaguno, FCAS, MAAA and Matin Ménad, FCAS, MAAA Abstact In this pape we establish an actuaial famewok
More informationFaithful Comptroller s Handbook
Faithful Comptolle s Handbook Faithful Comptolle s Handbook Selection of Faithful Comptolle The Laws govening the Fouth Degee povide that the faithful comptolle be elected, along with the othe offices
More informationAdvanced Control of Active Filters. in a Battery Charger Application. Martin Bojrup
Advanced Contol of Active Filtes in a Battey Chage Application Matin Bojup Lund 999 ii Cove pictue Measuement on the dynamic esponse of the MRI hamonic filte contolle: load cuent (top), esulting line cuent
More informationFinancial Derivatives for Computer Network Capacity Markets with Quality-of-Service Guarantees
Financial Deivatives fo Compute Netwok Capacity Makets with Quality-of-Sevice Guaantees Pette Pettesson pp@kth.se Febuay 2003 SICS Technical Repot T2003:03 Keywods Netwoking and Intenet Achitectue. Abstact
More informationA Study on the Conducted Interference of Capacitor Charging Power Supply
Enegy and Powe Engineeing, 13, 5, 1134-1138 doi:1.436/epe.13.54b16 Published Online July 13 (http://www.scip.og/jounal/epe) A Study on the Conducted Inteeence o Capacito Chaging Powe Supply Xiao Han 1,
More informationHow to recover your Exchange 2003/2007 mailboxes and emails if all you have available are your PRIV1.EDB and PRIV1.STM Information Store database
AnswesThatWok TM Recoveing Emails and Mailboxes fom a PRIV1.EDB Exchange 2003 IS database How to ecove you Exchange 2003/2007 mailboxes and emails if all you have available ae you PRIV1.EDB and PRIV1.STM
More informationAn Introduction to Omega
An Intoduction to Omega Con Keating and William F. Shadwick These distibutions have the same mean and vaiance. Ae you indiffeent to thei isk-ewad chaacteistics? The Finance Development Cente 2002 1 Fom
More informationReferral service and customer incentive in online retail supply Chain
Refeal sevice and custome incentive in online etail supply Chain Y. G. Chen 1, W. Y. Zhang, S. Q. Yang 3, Z. J. Wang 4 and S. F. Chen 5 1,,3,4 School of Infomation Zhejiang Univesity of Finance and Economics
More informationPromised Lead-Time Contracts Under Asymmetric Information
OPERATIONS RESEARCH Vol. 56, No. 4, July August 28, pp. 898 915 issn 3-364X eissn 1526-5463 8 564 898 infoms doi 1.1287/ope.18.514 28 INFORMS Pomised Lead-Time Contacts Unde Asymmetic Infomation Holly
More informationValuation of Floating Rate Bonds 1
Valuation of Floating Rate onds 1 Joge uz Lopez us 316: Deivative Secuities his note explains how to value plain vanilla floating ate bonds. he pupose of this note is to link the concepts that you leaned
More informationHow To Find The Optimal Stategy For Buying Life Insuance
Life Insuance Puchasing to Reach a Bequest Ehan Bayakta Depatment of Mathematics, Univesity of Michigan Ann Abo, Michigan, USA, 48109 S. David Pomislow Depatment of Mathematics, Yok Univesity Toonto, Ontaio,
More informationA formalism of ontology to support a software maintenance knowledge-based system
A fomalism of ontology to suppot a softwae maintenance knowledge-based system Alain Apil 1, Jean-Mac Deshanais 1, and Reine Dumke 2 1 École de Technologie Supéieue, 1100 Note-Dame West, Monteal, Canada
More informationThe Supply of Loanable Funds: A Comment on the Misconception and Its Implications
JOURNL OF ECONOMICS ND FINNCE EDUCTION Volume 7 Numbe 2 Winte 2008 39 The Supply of Loanable Funds: Comment on the Misconception and Its Implications. Wahhab Khandke and mena Khandke* STRCT Recently Fields-Hat
More informationCANCER, HEART ATTACK OR STROKE CLAIM FORM
CANCER, HEART ATTACK OR STROKE CLAIM FORM Please ead the impotant infomation below: We suggest you make photocopies of any infomation sent fo you own ecods. Please be sue you policy numbe(s) is/ae witten
More informationMETHODOLOGICAL APPROACH TO STRATEGIC PERFORMANCE OPTIMIZATION
ETHODOOGICA APPOACH TO STATEGIC PEFOANCE OPTIIZATION ao Hell * Stjepan Vidačić ** Željo Gaača *** eceived: 4. 07. 2009 Peliminay communication Accepted: 5. 0. 2009 UDC 65.02.4 This pape pesents a matix
More informationConfirmation of Booking
The Pesentes Rebecca Mogan Rebecca is a Taxation Consultant with the NTAA and has ove 15 yeas tax expeience. Rebecca holds a Bachelo of Ats and Law and a Mastes of Taxation. Rebecca has pesented a numbe
More informationReview Graph based Online Store Review Spammer Detection
Review Gaph based Online Stoe Review Spamme Detection Guan Wang, Sihong Xie, Bing Liu, Philip S. Yu Univesity of Illinois at Chicago Chicago, USA gwang26@uic.edu sxie6@uic.edu liub@uic.edu psyu@uic.edu
More informationTracking/Fusion and Deghosting with Doppler Frequency from Two Passive Acoustic Sensors
Tacking/Fusion and Deghosting with Dopple Fequency fom Two Passive Acoustic Sensos Rong Yang, Gee Wah Ng DSO National Laboatoies 2 Science Pak Dive Singapoe 11823 Emails: yong@dso.og.sg, ngeewah@dso.og.sg
More informationTHE DISTRIBUTED LOCATION RESOLUTION PROBLEM AND ITS EFFICIENT SOLUTION
IADIS Intenational Confeence Applied Computing 2006 THE DISTRIBUTED LOCATION RESOLUTION PROBLEM AND ITS EFFICIENT SOLUTION Jög Roth Univesity of Hagen 58084 Hagen, Gemany Joeg.Roth@Fenuni-hagen.de ABSTRACT
More informationApproximation Algorithms for Data Management in Networks
Appoximation Algoithms fo Data Management in Netwoks Chistof Kick Heinz Nixdof Institute and Depatment of Mathematics & Compute Science adebon Univesity Gemany kueke@upb.de Haald Räcke Heinz Nixdof Institute
More informationHow Much Should a Firm Borrow. Effect of tax shields. Capital Structure Theory. Capital Structure & Corporate Taxes
How Much Should a Fim Boow Chapte 19 Capital Stuctue & Copoate Taxes Financial Risk - Risk to shaeholdes esulting fom the use of debt. Financial Leveage - Incease in the vaiability of shaeholde etuns that
More informationDistributed Computing and Big Data: Hadoop and MapReduce
Distibuted Computing and Big Data: Hadoop and Map Bill Keenan, Diecto Tey Heinze, Achitect Thomson Reutes Reseach & Development Agenda R&D Oveview Hadoop and Map Oveview Use Case: Clusteing Legal Documents
More informationQuestions & Answers Chapter 10 Software Reliability Prediction, Allocation and Demonstration Testing
M13914 Questions & Answes Chapte 10 Softwae Reliability Pediction, Allocation and Demonstation Testing 1. Homewok: How to deive the fomula of failue ate estimate. λ = χ α,+ t When the failue times follow
More informationarxiv:1110.2612v1 [q-fin.st] 12 Oct 2011
Maket inefficiency identified by both single and multiple cuency tends T.Toká 1, and D. Hováth 1, 1 Sos Reseach a.s., Stojáenská 3, 040 01 Košice, Slovak Republic Abstact axiv:1110.2612v1 [q-fin.st] 12
More informationINITIAL MARGIN CALCULATION ON DERIVATIVE MARKETS OPTION VALUATION FORMULAS
INITIAL MARGIN CALCULATION ON DERIVATIVE MARKETS OPTION VALUATION FORMULAS Vesion:.0 Date: June 0 Disclaime This document is solely intended as infomation fo cleaing membes and othes who ae inteested in
More informationCOMPLYING WITH THE DRUG-FREE SCHOOLS AND CAMPUSES REGULATIONS
Highe Education Cente fo Alcohol and Othe Dug Abuse and Violence Pevention Education Development Cente, Inc. 55 Chapel Steet Newton, MA 02458-1060 COMPLYING WITH THE DRUG-FREE SCHOOLS AND CAMPUSES REGULATIONS
More informationOptimal Capital Structure with Endogenous Bankruptcy:
Univesity of Pisa Ph.D. Pogam in Mathematics fo Economic Decisions Leonado Fibonacci School cotutelle with Institut de Mathématique de Toulouse Ph.D. Dissetation Optimal Capital Stuctue with Endogenous
More informationDual channel closed-loop supply chain coordination with a reward-driven remanufacturing policy
Intenational Jounal of Poduction Reseach ISSN: -753 Pint 1366-588X Online Jounal homepage: http://www.tandfonline.com/loi/tps Dual channel closed-loop supply chain coodination with a ewad-diven emanufactuing
More informationHow To Use A Network On A Network With A Powerline (Lan) On A Pcode (Lan On Alan) (Lan For Acedo) (Moe) (Omo) On An Ipo) Or Ipo (
Hubs, Bidges, and Switches Used fo extending LANs in tems of geogaphical coveage, numbe of nodes, administation capabilities, etc. Diffe in egads to: m collision domain isolation m laye at which they opeate
More informationAPPLICATION AND AGREEMENT FORM FOR TELECOMMUNICATION SERVICES BUSINESS APPLICATION
Application Fom SECTION 1 COMPANY DETAILS New Company Yes No Company Name Tading As Pevious Company Name Email Addess Contact Numbe Tel Cell Fax Registeed Numbe Natue of Business Yea of Incopoation Yea
More informationIBM Research Smarter Transportation Analytics
IBM Reseach Smate Tanspotation Analytics Laua Wynte PhD, Senio Reseach Scientist, IBM Watson Reseach Cente lwynte@us.ibm.com INSTRUMENTED We now have the ability to measue, sense and see the exact condition
More informationResearch and the Approval Process
Reseach and the Appoval Pocess Emeic Heny y Maco Ottaviani z Febuay 2014 Abstact An agent sequentially collects infomation to obtain a pincipal s appoval, such as a phamaceutical company seeking FDA appoval
More informationMemory-Aware Sizing for In-Memory Databases
Memoy-Awae Sizing fo In-Memoy Databases Kasten Molka, Giuliano Casale, Thomas Molka, Laua Mooe Depatment of Computing, Impeial College London, United Kingdom {k.molka3, g.casale}@impeial.ac.uk SAP HANA
More informationIntegrating Net2 with an intruder alarm system
Net AN035 Integating Net with an intude alam system Oveview Net can monito whethe the intude alam is set o uet If the alam is set, Net will limit access to valid uses who ae also authoised to uet the alam
More informationHigh Availability Replication Strategy for Deduplication Storage System
Zhengda Zhou, Jingli Zhou College of Compute Science and Technology, Huazhong Univesity of Science and Technology, *, zhouzd@smail.hust.edu.cn jlzhou@mail.hust.edu.cn Abstact As the amount of digital data
More informationFinancial Planning and Risk-return profiles
Financial Planning and Risk-etun pofiles Stefan Gaf, Alexande Kling und Jochen Russ Pepint Seies: 2010-16 Fakultät fü Mathematik und Witschaftswissenschaften UNIERSITÄT ULM Financial Planning and Risk-etun
More information