Verification of Workflow Nets
|
|
- Cody Walsh
- 8 years ago
- Views:
Transcription
1 Verfcatn f Wrkflw Nets W.M.P. van der Aalst Endhven Unversty f Technlgy, P.O. Bx 513, NL-5600 MB, Endhven, The Netherlands. wsnwa@wn.tue.nl Abstract. Wrkflw management systems wll change the archtecture f future nfrmatn systems dramatcally. The explct representatn f busness prcedures s ne f the man ssues when ntrducng a wrkflw management system. In ths paper we fcus n a class f Petr nets sutable fr the representatn, valdatn and verfcatn f these prcedures. We wll shw that the crrectness f a prcedure represented by such a Petr net can be verfed by usng standard Petr-net-based technques. Based n ths result we prvde a cmprehensve set f transfrmatn rules whch can be used t cnstruct and mdfy crrect prcedures. 1 Intrductn At the mment mre than 250 Wrkflw Management Systems (WFMSs) are avalable. Ths number sgnfes the mprtance f the wrkflw paradgm ([3,4,6,13,18,23]). Unfrtunately, tday s WFMSs suffer frm a number f serus drawbacks. A theretcal bass fr wrkflw management tls s mssng. As a result there are, even at a cnceptual level, mprtant dfferences between the tls. Despte the effrts f the Wrkflw Management Caltn [26] there are n real standards. Mrever, the absence f tls t supprt the analyss f wrkflws s a serus drawback fr the success f tday s WFMSs. In ths paper we present a Petr-net-based apprach t vercme sme f these prblems. In partcular we wll address the prblem f analyzng the crrectness f wrkflw prcedures. Busness prcesses supprted by a WFMS are centered arund prcedures. A prcedure s the methd f peratn used by a busness prcess t prcess cases. Examples f cases are rders, clams, travel expenses, tax declaratns, etc. The prcedure specfes the set f tasks requred t prcess these cases successfully. Mrever, the prcedure specfes the (partal) rder n whch these tasks have t be executed. The gal f a prcedure s t handle cases effcently and prperly. T acheve ths gal, the prcedure shuld be tuned t the ever changng envrnment f the busness prcess. A WFMS supprts the defntn and mdfcatn f prcedures. Unfrtunately, mst f the WFMSs allw fr the specfcatn f ncrrect prcedures. We have evaluated many WFMSs. Nne f these WFMSs allw fr the verfcatn f essental prpertes such as the absence f deadlck and lvelck. In ths paper we fcus n the use f Petr nets ([20 22]) as a tl fr the representatn, valdatn and verfcatn f wrkflw prcedures. It s nt dffcult t map a prcedure nt a Petr net. As t turns ut, we can even restrct urselves t a subclass f Petr nets. Representatves f ths class are called WrkFlw nets (WF-nets). A WF-net s a Petr net wth tw specal places: and. These places are used t mark the begn and the
2 end f a prcedure, see Fgure 1. The tasks are mdeled by transtns and the partal rderng f tasks s mdeled by places cnnectng these transtns. WF-net Fg. 1. A prcedure mdeled by a WF-net. The prcessng f a case starts the mment we put a tken n place and termnates the mment a tken appears n place. One f the man prpertes a prper prcedure shuld satsfy s the fllwng: Fr any case, the prcedure wll termnate eventually, and at the mment the prcedure termnates there s a tken n place and all the ther places are empty. Ths prperty s called the sundness prperty. In ths paper we present a technque t verfy ths prperty usng standard Petr-net tls. If we restrct urselves t freechce Petr nets (cf. Best [8], Desel and Esparza [12]), ths prperty can be verfed n plynmal tme. WF-nets have sme nterestng prpertes. Fr example, t turns ut that a WF-net s sund f and nly f a slghtly mdfed versn f ths net s lve and bunded! We wll use ths prperty t shw that there s a cmprehensve set f transfrmatn rules whch preserve sundness. These transfrmatn rules shw hw a sund prcedure can be transfrmed nt anther sund prcedure. The remander f ths paper s rganzed as fllws. In Sectn 2 we ntrduce sme f the basc ntatns fr Petr nets. Sectn 3 deals wth WF-nets. In ths sectn we als defne the sundness prperty. In Sectn 4 we present a technque t verfy the sundness prperty. A set f transfrmatn rules that preserve sundness s presented n Sectn 5. 2 Petr nets Hstrcally speakng, Petr nets rgnate frm the early wrk f Carl Adam Petr ([22]). Snce then the use and study f Petr nets has ncreased cnsderably. Fr a revew f the hstry f Petr nets and an extensve bblgraphy the reader s referred t Murata [20]. The classcal Petr net s a drected bpartte graph wth tw nde types called places and transtns. The ndes are cnnected va drected arcs. Cnnectns between tw
3 ndes f the same type are nt allwed. Places are represented by crcles and transtns by rectangles. Defntn 1 (Petr net). A Petr net s a trple (P, T, F): - P s a fnte set f places, - T s a fnte set f transtns (P T = ), - F (P T ) (T P) s a set f arcs (flw relatn) A place p s called an nput place f a transtn t ff there exsts a drected arc frm p t t. Place p s called an utput place f transtn t ff there exsts a drected arc frm t t p. We use t t dente the set f nput places fr a transtn t. The ntatns t, p and p have smlar meanngs, e.g. p s the set f transtns sharng p as an nput place. Nte that we restrct urselves t arcs wth weght 1. In the cntext f wrkflw prcedures t makes n sense t have ther weghts, because places crrespnd t cndtns. At any tme a place cntans zer r mre tkens, drawn as black dts. The state, ften referred t as markng, s the dstrbutn f tkens ver places,.e., M P IN. We wll represent a state as fllws: 1p 1 + 2p 2 + 1p 3 + 0p 4 s the state wth ne tken n place p 1, tw tkens n p 2, ne tken n p 3 and n tkens n p 4. We can als represent ths state as fllws: p 1 + 2p 2 + p 3. Fr any tw states M 1 and M 2, M 1 M 2 ff fr each p P: M 1 (p) M 2 (p). M 1 > M 2 ff M 1 M 2 and M 1 = M 2. The number f tkens may change durng the executn f the net. Transtns are the actve cmpnents n a Petr net: they change the state f the net accrdng t the fllwng frng rule: (1) A transtn t s sad t be enabled ff each nput place p f t cntans at least ne tken. (2) An enabled transtn may fre. If transtn t fres, then t cnsumes ne tken frm each nput place p f t and prduces ne tken fr each utput place p f t. Gven a Petr net (P, T, F) and an ntal state M 1, we have the fllwng ntatns: t - M 1 M 2 : transtn t s enabled n state M 1 and frng t n M 1 results n state M 2 t - M 1 M 2 : there s a transtn t such that M 1 M 2 σ - M 1 Mn : the frng sequence σ = t 1 t 2 t 3... t n 1 leads frm state M 1 t state M n,.e. M 1 t 1 M 2 t 2... t n 1 M n A state M n s called reachable frm M 1 (ntatn M 1 Mn ) ff there s a frng t 1 t 2 sequence σ = t 1 t 2... t n 1 such that M 1 M 2... t n 1 M n. We use (PN, M) t dente a Petr net PN wth an ntal state M. Let us defne sme prpertes fr Petr nets. Defntn 2 (Lve). A Petr net (PN, M) s lve ff, fr every reachable state M and every transtn t there s a state M reachable frm M whch enables t.
4 Defntn 3 (Bunded). A Petr net (PN, M) s bunded ff, fr every reachable state and every place p the number f tkens n p s bunded. Defntn 4 (Strngly cnnected). A Petr net s strngly cnnected ff, fr every par f ndes (.e. places and transtns) x and y, there s a drected path leadng frm x t y. In ths paper we use a restrcted class f Petr nets fr mdelng and analyzng wrkflw prcedures. As we wll see n Sectn 4.3, t ften suffces t cnsder Petr nets satsfyng the s-called free-chce prperty. Defntn 5 (Free-chce). A Petr net s a free-chce Petr net ff, fr every tw places p 1 and p 2 ether (p 1 p 2 ) = r p 1 = p 2. Free-chce Petr nets have been studed extensvely (cf. Best [8], Desel and Esparza [12,11,14], Hack [17]) because they seem t be a gd cmprmse between expressve pwer and analyzablty. It s a class f Petr nets fr whch strng theretcal results and effcent analyss technques exst. 3 WF-nets 3.1 What s a WFMS? A WFMS s a system that defnes, creates and manages the executn f wrkflws thrugh the use f sftware, runnng n ne r mre wrkflw engnes, whch s able t nterpret the prcess defntn, nteract wth wrkflw partcpants and, where requred, nvke the use f IT tls and applcatns (WFMC [26]). A WFMS can be seen as the peratng system f admnstratve rgansatns. The WFMS takes care f the ffce lgstcs. At the mment mre than 250 WFMSs are avalable. Examples are: COSA (Sftware-Ley), Staffware (Staffware), Flwmark (IBM), InCncert (XSft), Open Wrkflw (Wang), TeamWARE (TeamWARE), Vsual WrkFl (Flenet) and Wrkparty (Semens). These systems fcus n busness prcesses and are centered arund the defntn f a busness prcess, ften referred t as wrkflw. The bjectve f a wrkflw prcess s the prcessng f cases (e.g. clams, rders, travel expenses). T supprt the prcessng f these cases usng a WFMS we need t specfy tw aspects f the wrkflw ([5]): () Prcedure Fr each wrkflw prcess we have t specfy the prcedure that s used t handle a case. In essence the prcedure defnes a partally rdered set f tasks. Cases are ruted thrugh the prcedure usng AND-splts, OR-splts, AND-jns and ORjns. As a result t s pssble t specfy sequental, selectve and parallel rutng and teratn. In the prcedure there are n explct references t the resurces (persns) that wll execute the tasks. () Resurce classfcatn Besdes the prcedure we need t specfy wh s gng t d the wrk. Therefre, resurces (persns, departments, machnes, etc.) are classfed nt resurces
5 classes. A resurces class represents a rle (a grup f peple wth a specfc set f attrbutes, qualfcatns and/r sklls) r an rgansatnal unt (department, cmpany r team). Tasks are asscated wth resurce classes. Ths way t s pssble t lnk the resurce classfcatn t the prcedure. The wrkflw engne (.e. the wrkflw enactment servce) allcates resurces t tasks gven the cnstrants specfed n the prcedure and resurce classfcatn. resurces persns rles resurce classes rganzatnal unts resurce classfcatn wrkflw prcess specfcatn prcedure teratn parallel rutng task OR-splt selectn AND-jn sequental rutng AND-splt OR-jn Fg. 2. The tw dmensns f a wrkflw prcess specfcatn. Fgure 2 llustrates the fact that the specfcatn f a wrkflw prcess s cmpsed frm tw elements: a prcedure and a resurce classfcatn. Many WFMSs prvde tw wrkflw defntn tls: ne fr the specfcatn f prcedures and ne fr the specfcatn f resurce classes. In ths paper we abstract frm resurce classes and fcus n technques t supprt the cnstructn and analyss f prcedures. We als abstract frm case data. In a WFMS t s pssble t use case attrbutes when rutng a case. We abstract frm ths nfrmatn by ntrducng nn-determnstc chces. Snce case attrbutes are set and mdfed by applcatns and may nvlve human decsns, we have n ther chce but t abstract frm case data. 3.2 What s a wrkflw prcedure? The prcedure specfes the set f tasks requred t prcess cases successfully. (Synnyms fr task are prcess actvty, step and nde.) Mrever, the prcedure specfes the rder n whch these tasks have t be executed. (Tasks may be ptnal r mandatry and are executed n parallel r sequental rder.) The allcatn f resurces t tasks s requred t decde wh s gng t execute a specfc task fr a specfc case. Each resurce (e.g. a secretary) s able t perfrm certan functns (e.g. typng a letter) and each task requres certan functns. A resurce may be allcated t a task, f the resurce prvdes the requred functns. Recall that we cncentrate n mdelng
6 wrkflw prcedures,.e. we abstract frm the resurces requred t execute these prcedures. T llustrate the term (wrkflw) prcedure we wll use the fllwng example. Cnsder an autmble nsurance cmpany. The wrkflw prcess prcess clam takes care f the prcessng f clams related t car damage. Each clam crrespnds t a case t be handled by prcess clam. The wrkflw prcedure that s used t handle these cases can be descrbed as fllws. There are fur tasks: check nsurance, cntact garage, pay damage and send letter. The tasks check nsurance and cntact garage may be executed n any rder t determne whether the clam s justfed. If the clam s justfed, the damage s pad (task pay damage). Otherwse a letter f rejectn s sent t the clamant (task send letter). 3.3 Mdelng a prcedure We use Petr nets fr mdelng and analyzng wrkflw prcedures. Bascally, a prcedure s a partally rdered set f tasks. Therefre, t s qute easy t map a prcedure nt a Petr net. Tasks are mdeled by transtns and precedence relatns are mdeled by places. Cnsder fr example the wrkflw prcedure prcess clam, see Fgure 3. The tasks check nsurance, cntact garage, pay damage and send letter are mdeled by transtns. Snce the tw tasks check nsurance and cntact garage may be executed n parallel, there are tw addtnal transtns: frk and jn. The places p1, p2, p3, p4 and p5 are used t rute a case thrugh the prcedure n a prper manner. p1 frk p2 check_nsurance cntact_garage jn p3 p5 p4 pay_damage send_letter Fg. 3. The wrkflw prcedure prcess clam. Cases are prcessed ndependently,.e. a task executed fr sme case cannt nfluence a task executed fr anther case. Nevertheless, the thrughput tme f a case may ncrease
7 f there are many ther cases cmpetng fr the same resurces. In ths paper we abstract frm resurces; cases d nt affect each ther n any way. Therefre, t suffces t cnsder ne case at a tme. The tken n place n Fgure 3 crrespnds t ne case. Durng the prcessng f a case there may be several tkens referrng t the same case. (If transtn frk fres, then there are tw tkens, ne n p1 and ne n p2, referrng t the same clam.) The prcessng f the case s cmpleted f there s a tken n place and there are n ther tkens als referrng t the same case. Petr nets whch mdel wrkflw prcedures have sme typcal prpertes. Frst f all, they always have tw specal places and, whch crrespnd t the begnnng and termnatn f the prcessng f a case respectvely. Place s a surce place and s a snk place. Secndly, fr each transtn t (place p) there shuld be drected path frm place t va t (p). A Petr net whch satsfes these tw requrements s called a Wrkflw net (WF-net), see Fgure 1. Defntn 6 (WF-net). A Petr net PN = (P, T, F) s a WF-net (Wrkflw net) f and nly f: () PN has tw specal places: and. Place s a surce place: =. Place s a snk place: =. () If we add a transtn t t PN whch cnnects place wth (.e. t = {} and t = {}), then the resultng Petr net s strngly cnnected. A WF-net has ne nput place () and ne utput place () because any case handled by the prcedure represented by the WF-net s created f t enters the WFMS and s deleted nce t s cmpletely handled by the WFMS,.e., the WF-net specfes the lfecycle f a case. The secnd requrement n Defntn 6 (the Petr net extended wth t shuld be strngly cnnected), states that fr each transtn t (place p) there shuld be drected path frm place t va t (p). Ths requrement has been added t avd danglng tasks and/r cndtns,.e. tasks and cndtns whch d nt cntrbute t the prcessng f cases. It s easy t verfy that the Petr net shwn n Fgure 3 s a WF-net. 3.4 Sund prcedures The tw requrements stated n Defntn 6 can be verfed statcally,.e. they nly relate t the structure f the Petr net. There s hwever a thrd requrement whch shuld be satsfed: Fr any case, the prcedure wll termnate eventually, and at the mment the prcedure termnates there s a tken n place and all the ther places are empty. Mrever, there shuld be n dead tasks,.e., t shuld be pssble t execute an arbtrary task by fllwng the apprprate rute thugh the WF-net. These tw addtnal cnstrants crrespnd t the s-called sundness prperty.
8 Defntn 7 (Sund). A prcedure mdeled by a WF-net PN = (P, T, F) s sund f and nly f: () Fr every state M reachable frm state, there exsts a frng sequence leadng frm state M t state. Frmally: M ( M) (M ) () State s the nly state reachable frm state wth at least ne tken n place. Frmally: M ( M M ) (M = ) () There are n dead transtns n (PN, ). Frmally: t T M,M M t M Nte that there s an verladng f ntatn: the symbl s used t dente bth the place and the state wth nly ne tken n place (see Sectn 2). The sundness prperty relates t the dynamcs f a WF-net. The frst requrement n Defntn 7 states that startng frm the ntal state (state ), t s always pssble t reach the state wth ne tken n place (state ). If we assume farness (.e. a transtn that s enabled nfntely ften wll fre eventually), then the frst requrement mples that eventually state s reached. The farness assumptn s reasnable n the cntext f wrkflw management; all chces are made (mplctly r explctly) by applcatns, humans r external actrs. Clearly, they shuld nt ntrduce an nfnte lp. The secnd requrement states that the mment a tken s put n place, all the ther places shuld be empty. Smetmes the term prper termnatn s used t descrbe the frst tw requrements [15]. The last requrement states that there are n dead transtns (tasks) n the ntal state. Fr the WF-net shwn n Fgure 3 t s easy t see that t s sund. Hwever, fr cmplex wrkflw prcedures t s far frm trval t check the sundness prperty. 4 Analyss f WF-nets 4.1 Intrductn In ths sectn, we fcus n analyss technques that can be used t verfy the sundness prperty. The sundness prperty s a prperty whch relates t the dynamcs f a WF-net. Therefre, the cverablty graph (Petersn [21], Murata [20]) seems t be an bvus technque t check whether the WF-net s sund. Fgure 4 shws the cverablty graph whch crrespnds t the Petr net shwn n Fgure 3 (the ntal state s ). There are nly 7 reachable states, therefre t s easy t verfy the three requrements stated n Defntn 7. In general the cverablty graph can be used t decde whether a WF-net s sund. (In Sectn 4.2 we shw that a sund WF-net s bunded. If the cverablty graph has an unbunded state (an ω-state ), then the WF-net s nt sund. Otherwse, we can use a smple algrthm t check the three requrements stated n Defntn 7.) Hwever,
9 p1 + p2 p1 + p4 p3 + p2 p3 + p4 p5 Fg. 4. The cverablty graph f the Petr net shwn n Fgure 3. fr cmplex prcedures, the cnstructn f the cverablty graph may be very tme cnsumng. The cmplexty f the algrthm t cnstruct the cverablty graph can be wrse than prmtve recursve space. Even fr free-chce Petr nets the reachablty prblem s knwn t be EXPSPACE-hard (cf. Cheng, Esparza and Palsberg [9]). Therefre, any brute-frce apprach t check sundness s bund t be ntractable. Frtunately, the prblem f decdng whether a gven WF-net s sund crrespnds t standard Petr-net prpertes. In the remander f ths sectn, we present a technque t decde sundness. Alng the way, we encunter sme nterestng prpertes f sund WF-nets. Mrever, we wll shw that fr mst WF-net encuntered n practce, the sundness prperty can be verfed n plynmal tme. 4.2 A necessary and suffcent cndtn fr sundness Gven WF-net PN = (P, T, F), we want t decde whether PN s sund. Fr ths purpse we defne an extended net PN = (P, T, F). PN s the Petr net that we btan by addng an extra transtn t whch cnnects and. The extended Petr net PN = (P, T, F) s defned as fllws: P = P T = T {t } F = F {, t, t, } Fgure 5 llustrates the relatn between PN and PN. Fr an arbtrary WF-net PN and the crrespndng extended Petr net PN we wll prve the fllwng result: PN s sund f and nly f (PN, ) s lve and bunded. Frst, we prve the f drectn. Lemma 8. If (PN, ) s lve and bunded, then PN s a sund WF-net.
10 t * PN Fg. 5. PN = (P, T {t }, F {, t, t, }). Prf. (PN, ) s lve,.e., fr every reachable state M there s a frng sequence whch leads t a state n whch t s enabled. Snce s the nput place f t, we fnd that fr any state M reachable frm state t s pssble t reach a state wth at least ne tken n place. Cnsder an arbtrary reachable state M +,.e. a state wth at least ne tken n place. In ths state t s enabled. If t fres, then the state M + s reached. Snce (PN, ) s als bunded, M shuld be equal t the empty state. Hence requrements () and () hld and prper termnatn s guaranteed. Requrement () fllws drectly frm the fact that (PN, ) s lve. Hence, PN s a sund WF-net. T prve the nly f drectn, we frst shw that the extended net s bunded. Lemma 9. If PN s sund, then (PN, ) s bunded. Prf. Assume that PN s sund and (PN, ) nt bunded. Snce PN s nt bunded there are tw states M and M j such that M, M M j and M j > M. (See fr example the prf that the cverablty tree s fnte n Petersn [21] (Therem 4.1).) σ Hwever, snce PN s sund we knw that there s a frng sequence σ such that M σ. Therefre, there s a state M such that M j M and M >. Hence, t s nt pssble that PN s bth sund and nt bunded. S f PN s sund, then (PN, ) s bunded. Frm the fact that PN s sund and (PN, ) s bunded, we can deduce that (PN, ) s bunded. If transtn t n PN fres, the net returns t the ntal state. Nw we can prve that (PN, ) s lve. Lemma 10. If PN s sund, then (PN, ) s lve. Prf. Assume PN s sund. By Lemma 9 we knw that (PN, ) s bunded. Because PN s sund we knw that state s a s-called hme-markng f PN,.e., fr every state M reachable frm (PN, ) t s pssble t return t state. In the rgnal net (PN, ), t s pssble t fre an arbtrary transtn t (requrement ()). Ths s als the case n the mdfed net. Therefre, (PN, ) s lve because fr every state M reachable frm (PN, ) t s pssble t reach a state whch enables an arbtrary transtn t. Therem 11. A WF-net PN s sund f and nly f (PN, ) s lve and bunded. Prf. It fllws drectly frm Lemma 8, 9 and 10.
11 Therem 11 s an extensn f the results presented n [2,24]. In [2] we restrct urselves t free-chce WF-nets. Independently, Straub and Hurtad [24] fund necessary and suffcent cndtns fr sundness f COPA nets. (COPA nets crrespnd t a subclass f free-chce Petr nets.) Perhaps surprsngly, the verfcatn f the sundness prperty bls dwn t checkng whether the extended Petr net s lve and bunded! Ths means that we can use standard Petr-net-based analyss tls t decde sundness. In Sectn 5 we wll use Therem 11 t prve that there s a cmprehensve set f transfrmatn rules whch preserve sundness. Hwever, frst we cnsder an mprtant subclass f WF-nets. 4.3 Free-chce WF-nets Mst f the WFMSs avalable at the mment, abstract frm states between tasks,.e., states are nt represented explctly. These WFMSs use buldng blcks such as the AND-splt, AND-jn, OR-splt and OR-jn t specfy wrkflw prcedures. The ANDsplt and the AND-jn are used fr parallel rutng. The OR-splt and the OR-jn are used fr cndtnal rutng. Because these systems abstract frm states, every chce s made nsde an OR-splt buldng blck. If we mdel an OR-splt n terms f a Petr net, the OR-splt crrespnds t a number f transtns sharng the same set f nput places. Ths means that fr these WFMSs, a wrkflw prcedure crrespnds t a free-chce Petr net (see Defntn 5). We have evaluated many WFMSs (e.g. the nes mentned n Sectn 3.1) and just ne f these systems (COSA) allws fr a cnstructn whch s cmparable t a nn-free chce WF-net. Therefre, t makes sense t cnsder freechce Petr nets. Parallelsm, sequental rutng, cndtnal rutng and teratn can be mdeled wthut vlatng the free-chce prperty (cf. Sectn 5). Anther reasn fr restrctng WF-nets t free-chce Petr nets s the fllwng. If we allw nn-freechce Petr nets, then the chce between cnflctng tasks may be nfluenced by the rder n whch the precedng tasks are executed. The rutng f a case shuld be ndependent f the rder n whch tasks are executed. A stuatn where the free-chce prperty s vlated s ften a mxture f parallelsm and chce. In ur pnn parallelsm tself shuld be separated frm the chce between a parallel and a nn-parallel executn f tasks. Free-chce Petr nets have been studed extensvely and are marked by strng theretcal results and effcent analyss technques (cf. Best [8], Desel and Esparza [12,11,14], Hack [17]). As a result sundness can be determned n plynmal tme fr free-chce WF-nets. Therem 12. Fr a free-chce WF-net t s pssble t decde sundness n plynmal tme. Prf. As a drect result f the Rank therem ([12]), t s pssble t decde lveness and bundedness n plynmal tme. Therefre, the prblem f checkng whether a WF-net s sund can be slved n plynmal tme usng standard technques. Clearly, the crrectness f a free-chce WF-nets Mrever, t s pssble t smplfy Defntn 7. can be analyzed very effcently.
12 Prpstn 13. Fr free-chce WF-nets, the frst tw requrements n Defntn 7 mply the thrd requrement. Prf. Let PN be a free-chce WF-net satsfyng the frst tw requrements n Defntn 7 (() and ()). These requrements state that the WF-net s prper termnatng. It s easy t prve that the extended net (PN, ) s bunded wthut usng the thrd requrement (see Lemma 9). Mrever, t s als easy t shw that s a s-called hmemarkng f PN. Therefre (PN, ) s deadlck-free. Snce (PN, ) s a deadlck-free, bunded, strngly cnnected, free-chce Petr net, we deduce that (PN, ) s lve (see Therem 4.31 n Desel and Esparza [12]). Snce (PN, ) s lve and bunded, PN s sund (Therem 11) and the thrd requrement () hlds. Mst f the wrkflw prcedures we have seen n practce bey the free-chce prperty. Ths s a drect result f the fact that mst f the wrkflw systems abstract frm the explct mdelng f states. Hwever, a Petr-net-based WFMS such as COSA (Sftware-Ley, Pullhem, Germany) allws fr the cnstructn f nn-free-chce WFnets. Frtunately, fr nn-free-chce WF-nets we can check a suffcent cndtn fr sundness n plynmal tme. In the fllwng therem we assume that the reader s famlar wth sme advanced ntns: rank, sphn and cluster. A cluster s a mnmal set C f ndes satsfyng the fllwng cndtns. If the set cntans a place s, then s C. If the set cntans a place t, then t C. Fr mre nfrmatn n these advanced tpcs, we refer t [12] and [20]. Therem 14. A WF-net PN s sund f the rank f PN s equal t the number f clusters mnus 1 and every prper sphn cntans at least ne tken. Prf. PN s strngly cnnected. Therefre we can apply Therem n [12]. Ths therem states that a weakly cnnected Petr net wth at least ne place and ne transtn, a rank equal t the number f clusters mnus 1 (.e. Rank(PN) = C N 1) and a tken n every prper sphn, s lve and bunded. By applyng Therem 11 we deduce that PN s sund. The cndtns stated n Therem 14 are suffcent fr sundness and can be checked n plynmal tme. Fgure 6 shws a WF-net whch s nt free-chce. The tw transtns pay damage and send letter are n cnflct wth the new transtn nfrm custmer but the sets f nput places dffer. The rank f the extended WF-net s 5, the number f clusters s 6 and every prper sphn cntans at least ne tken. Therefre, we can use Therem 14 t prve that the WF-net s sund (n plynmal tme). Unfrtunately, there are sund WF-nets whch d nt satsfy the cndtns stated n Therem 14. Hwever, we can extend the class f free-chce WF-nets such that these cndtns are necessary and suffcent fr sundness. A Petr net that belngs t ths class s called an almst free-chce WF-net. Defntn 15 (Almst free-chce). A Petr net s an almst free-chce Petr net ff, fr every tw transtns t 1 and t 2 ether
13 p1 frk check_nsurance cntact_garage p2 jn nfrm_custmer p3 p5 p4 p6 pay_damage send_letter Fg. 6. The mdfed prcedure prcess clam. - ( t 1 t 2 ) =, r - t 1 = t 2, r - t 1 = t 1 and t 1 t 2, r - t 2 = t 2 and t 2 t 1. An almst free-chce Petr net s a free-chce Petr net extended wth zer r mre transtns whch can nt change the state f the net and preserve (nn)lveness f the net. The addtnal transtns crrespnd t nqury tasks,.e. tasks whch d nt cntrbute t the prcessng f a case. These tasks are executed f smene requres nfrmatn abut a partcular case. The WF-net n Fgure 6 s almst free-chce; nfrm custmer crrespnds t a s-called nqury task. Therem 16. Fr an almst free-chce WF-net t s pssble t decde sundness n plynmal tme. Prf. An almst free-chce WF-net can be transfrmed nt a free-chce WF-net wthut changng lveness and bundedness prpertes. Ths can be dne by smply remvng the nqury transtns. An nqury transtn s a transtn t 1 such that (1) t 1 = t 1 and (2) there s anther transtn t 2 such that t 1 t 2. Remvng t 1 des nt change bundedness, because t 1 cannt change the state. Lveness s als nt affected because t 1 cannt change the state and t 1 s lve f t 2 s lve. By remvng all nqury transtns we btan a free-chce WF-net. Then we can apply the Rank therem t decde sundness. These results shw that fr a farly large class f WF-nets we can decde sundness very effcently. We have been nvlved n a number f wrkflw prjects (Dutch Custms
14 department, Dutch Justce department and a number f banks and nsurance cmpanes). In these prjects we hardly ever experenced the need fr WF-nets whch are nt almst free-chce. 5 Transfrmatn rules One f the majr benefts f a WFMS s the ablty t change busness prcesses very easly,.e., wthut a cmplete redesgn f the nfrmatn system. Mrever, wrkflw mangement sftware s an essental enabler fr management phlsphes such as Busness Prcess Reengneerng (BPR) and Cntnuus Prcess Imprvement (CPI). BPR and CPI are als a stmulus fr the mdfcatn f busness prcesses. As a result, the prcedures supprted by the WFMS are subject t frequent changes. These changes may ntrduce errrs. In ths paper we have shwn that t s pssble t check the sundness f a prcedure very effcently. Hwever, we can use an alternatve apprach t make sure that the prcedure remans sund. Ths apprach s based n sundness preservng transfrmatn rules. In ur pnn there are eght basc transfrmatn rules (T1a, T1b, T2a, T2b, T3a, T3b, T4a and T4b) whch can be used t mdfy a sund wrkflw prcedure. These transfrmatn rules are shwn n Fgures 7, 8, 9 and 10 and elucdated n the sequel. The transfrmatn rules crrespnd t the basc rutng cnstructs dentfed by the Wrkflw Management Caltn ([26]). These rules shuld nt be cnfused wth the reductn rules presented n Petr-net lterature (cf. Berthelt [7], Desel [10], Desel and Esparza [12] and Kvalyv [19]). The transfrmatn rules presented n ths sectn are nt used fr analyss purpses; they are used fr the mdfcatn f WF-nets. T1a Task t1 s replaced by tw cnsecutve tasks t2 and t3. Ths transfrmatn rule crrespnds t the dvsn f a task: a cmplex task s dvded nt tw tasks whch are less cmplcated. (See Fgure 7.) Rule T1a t2 t1 p Rule T1b t3 Fg. 7. Transfrmatn rules: T1a and T1b.
15 T1b Tw cnsecutve tasks t2 and t3 are replaced by ne task t1. Ths transfrmatn rule s the ppste f T1a and crrespnds t the aggregatn f tasks. Tw tasks are cmbned nt ne task. (See Fgure 7.) T2a Task t1 s replaced by tw cndtnal tasks t2 and t3. Ths transfrmatn rule crrespnds t the specalzatn f a task (e.g. handle rder) nt tw mre specalzed tasks (e.g. handle small rder and handle large rder). (See Fgure 8.) Rule T2a t1 t2 t3 Rule T2b Fg. 8. Transfrmatn rules: T2a and T2b. T2b Tw cndtnal tasks t2 and t3 are replaced by ne task t1. Ths transfrmatn rule s the ppste f T2a and crrespnds t the generalzatn f tasks. Tw rather specfc tasks are replaced by ne mre generc task. (See Fgure 8.) T3a Task t1 s replaced by tw parallel tasks t2 and t3. (See Fgure 9.) The effect f the executn f t2 and t3 s dentcal t the effect f the executn f t1. The transtns c1 and c2 represent cntrl actvtes t frk and jn tw parallel threads. T3b The ppste f transfrmatn rule T3a: tw parallel tasks t2 and t3 are replaced by ne task t1. (See Fgure 9.) T4a Task t1 s replaced by an teratn f task t2. (See Fgure 10.) The executn f task t1 (e.g. type letter) crrespnds t zer r mre executns f task t2 (e.g. type sentence). The transtns c1 and c2 represent cntrl actvtes that mark the begn and end f a sequence f t2-tasks. Typcal examples f stuatns where teratn s requred are qualty cntrl and cmmuncatn. T4b The ppste f transfrmatn rule T4a: the teratn f t2 s replaced by task t1. (See Fgure 10.) Frmalzatn f these transfrmatn rules s straghtfrward. T llustrate ths we defne T1a. (See Fgure 7.) Defntn 17 (T1a). Let PN = (P, T, F) be WF-net. Ths net can be transfrmed by rule T1a nt a net PN = (P, T, F ) ff there exst t1 T, t2, t3 T and p P such that P = P {p}, p P, T = (T \ {t1}) {t2, t3}, {t2, t3} T = and
16 Rule T3a p1 p3 c1 t1 t2 t3 Rule T3b p2 c2 p4 Fg. 9. Transfrmatn rules: T3a and T3b. Rule T4a c1 t1 t2 p1 Rule T4b c2 Fg. 10. Transfrmatn rules: T4a and T4b.
17 F = { x, y F (x = t1) (y = t1)} { x, t2 P T x, t1 F} { t3, y T P t1, y F} { t2, p, p, t3 }. It s easy t see that f we take a sund WF-net and we apply ne f these transfrmatn rules, then the resultng Petr net s stll a WF-net. Mrever, the resultng WF-net s als sund. Therem 18. The transfrmatn rules T1a, T1b, T2a, T2b, T3a, T3b, T4a and T4b preserve sundness,.e. f a WF-net s sund, then the WF-net transfrmed by ne f these rules s als sund. Prf. Let PN be a sund WF-net. Let PN be a net whch s btaned by applyng ne f the transfrmatn rules n PN. We have t prve that PN s a sund WF-net. It s easy t see that PN s a WF-net. There s stll ne nput and ne utput place and the PN s strngly cnnected. (PN s the Petr net PN wth an extra transtn t whch cnnects place and place.) By Therem 11 we knw that, t prve sundness, t suffces t shw (PN, ) s lve and bunded. (PN, ) s lve and bunded. Therefre, we have t prve that each f the rules preserves lveness and bundedness. Because t s bvus that the rules preserve lveness and bundedness, we d nt gve a detaled prf. It s fr example pssble t prve ths by usng the 6 lveness and bundedness preservng peratns descrbed n Murata [20]. The eght transfrmatn rules shwn n fgures 7, 8, 9 and 10 preserve sundness. We can use these basc transfrmatn rules t cnstruct mre cmplex transfrmatn rules. Fgure 11 shws tw f these rules: T5a and T5b. T5a Tw cnsecutve tasks are replaced by tw parallel tasks. T5b Tw parallel tasks are replaced by tw cnsecutve tasks. t2 Rule T5a p1 c1 p3 p t2 t3 t3 Rule T5b p2 c2 p4 Fg. 11. Transfrmatn rules: T5a and T5b. The applcatn f transfrmatn rule T5a crrespnds t the applcatn f T1b fllwed by the applcatn f T3a. Transfrmatn rule T5b s a cmbnatn f T3b and
18 T1a. Therefre, sundness s als preserved by the transfrmatn rules T5a and T5b. We use the term sund transfrmatn rule t refer t a transfrmatn rules whch preserves sundness. The WF-net whch cmprses nly ne task t s sund. We can use ths net as a startng pnt fr a sequence f sund transfrmatns. By Therem 18 we knw that the resultng WF-net s sund. Crllary 19. If the Petr net PN = ({, }, {t}, {, t, t, }) s transfrmed nt a Petr net PN by applyng a sequence f sund transfrmatn rules (e.g. T1a, T1b, T2a, T2b, T3a, T3b, T4a, T4b, T5a and T5b), then PN s sund. Cnsder fr example the WF-net shwn n Fgure 3. We can cnstruct ths net by applyng the transfrmatn rules T1a, T2a and T3a, see Fgure 12. p1 frk p2 check_nsurance cntact_garage Rule T1a Rule T2a Rule T3a jn p3 p5 p4 pay_damage send_letter Fg. 12. Cnstructn f the WF-net shwn n Fgure 3. Nte that the cnverse f Crllary 19 s nt true. There are sund WF-nets whch cannt be cnstructed by the transfrmatn rules defned n ths sectn. Cnsder fr example the WF-net shwn n Fgure 6; ths net s sund but cannt be cnstructed by usng the transfrmatn rules. Nevertheless, the rules crrespnd t the basc rutng prmtves present n mst WFMSs. 6 Related wrk Many researchers have nversgated prpertes smlar t the sundness prperty. Straub and Hurtad [24] have analyzed a smlar prperty fr COPA nets. The sundness prperty s als clsely related t Valette s cncept f a well-frmed blck [25] and Gstellw s cncept f prper termnatn [15]. There s als a relatn between reversblty (the pssblty t return t the ntal state,.e., the ntal state s a hme-markng)
19 and sundness. The results presented n ths paper are marked by the fact that they are vald fr any WF-net. Mrever, we have shwed that fr an mprtant subclass (almst free-chce) the sundness prperty can be verfed n plynmal tme. The use f Petr nets n the wrkflw dman s ncreasng. At the mment several Petr-net-based wrkflw tls are avalable. COSA (Sftware-Ley) s a Petr-net-based wrkflw management system. COSA s ne f the leadng wrkflw prducts n Eurpe. LEU (LION/Vebacm) s a WFMS based n FUNSOFT nets ([16]). INCOME (Prmats) and StructWare/BusnessSpecs (IvyTeam) are bth Petr-net-based BPR tls whch can be used t cnfgure a WFMS. INCOME nterfaces wth Desgner/2000 (Oracle), Plexus (BacTec) and CSE/Wrkflw (CSE systems). StructWare/BusnessSpecs nterfaces wth Staffware (Staffware), ne f the wrlds leadng WFMSs. These tls shw that wrkflw managemant s becmng an mprtant applcatn dman fr Petr nets. Hwever, these Petr-net-based wrkflw tls d nt supprt advanced analyss technques. Therefre, we have develped WOFLAN (WOrkFLw ANalyser). WOFLAN s a Petr-net-based analyss tl fr the verfcatn f wrkflws. Amngst thers t supprts the analyss technques descrbed n ths paper. 7 Cnclusn In ths paper we have presented a class f Petr nets, the s-called WF-nets, sutable fr the representatn, valdatn and verfcatn f wrkflw prcedures. One f the merts f ths class s that we can verfy the sundness prperty usng standard technques. Mrever, we have dentfed an mprtant class f WF-nets that can be verfed n plynmal tme. Even thugh sund WF-nets have sme nce prpertes frm a theretcal pnt f vew, they are pwerful enugh t mdel any wrkflw prcedure. Mrever, we have shwn that the plausble transfrmatn rules encuntered n practce preserve sundness. In ths paper we fcused n the wrkflw prcedures supprted by a WFMS. T cmpletely specfy a wrkflw prcess we als have t specfy the management f resurces: gven a task that needs t be executed fr a specfc case we have t specfy the resurce (persn r machne) that s gng t prcess the task (cf. Van der Aalst and Van Hee [5]). A drectn fr further research s t ncrprate ths dmensn. We hpe t fnd a necessary and suffcent cndtn fr sundness gven a WF-net extended wth sme mechansm t allcate resurces t tasks. References 1. W.M.P. van der Aalst. Puttng Petr nets t wrk n ndustry. Cmputers n Industry, 25(1):45 54, W.M.P. van der Aalst. A class f Petr net fr mdelng and analyzng busness prcesses. Cmputng Scence Reprts 95/26, Endhven Unversty f Technlgy, Endhven, W.M.P. van der Aalst. Petr-net-based Wrkflw Management Sftware. In A. Sheth, edtr, Prceedngs f the NFS Wrkshp n Wrkflw and Prcess Autmatn n Infrmatn Systems, pages , Athens, Gerga, May 1996.
20 4. W.M.P. van der Aalst. Three Gd reasns fr Usng a Petr-net-based Wrkflw Management System. In S. Navathe and T. Wakayama, edtrs, Prceedngs f the Internatnal Wrkng Cnference n Infrmatn and Prcess Integratn n Enterprses (IPIC 96), pages , Camebrdge, Massachusetts, Nv W.M.P. van der Aalst and K.M. van Hee. Busness Prcess Redesgn: A Petr-net-based apprach. Cmputers n Industry, 29(1-2):15 26, W.M.P. van der Aalst and K.M. van Hee. Wrkflw Management: Mdellen, Methden en Systemen (n Dutch). Academc Servce, Schnhven, G. Berthelt. Transfrmatns and decmpstns f nets. In W. Brauer, W. Resg, and G. Rzenberg, edtrs, Advances n Petr Nets 1986 Part I: Petr Nets, central mdels and ther prpertes, vlume 254 f Lecture Ntes n Cmputer Scence, pages Sprnger-Verlag, Berln, E. Best. Structure thery f Petr nets: the free chce hatus. In W. Brauer, W. Resg, and G. Rzenberg, edtrs, Advances n Petr Nets 1986 Part I: Petr Nets, central mdels and ther prpertes, vlume 254 f Lecture Ntes n Cmputer Scence, pages Sprnger-Verlag, Berln, A. Cheng, J. Esparza, and J. Palsberg. Cmplexty results fr 1-safe nets. In R.K. Shyamasundar, edtr, Fundatns f sftware technlgy and theretcal cmputer scence, vlume 761 f Lecture Ntes n Cmputer Scence, pages Sprnger-Verlag, Berln, J. Desel. Reductn and desgn f well-behaved cncurrent systems. In J.C.M. Baeten and J.W. Klp, edtrs, Prceedngs f CONCUR 1990, vlume 458 f Lecture Ntes n Cmputer Scence, pages Sprnger-Verlag, Berln, J. Desel. A prf f the Rank therem fr extended free-chce nets. In K. Jensen, edtr, Applcatn and Thery f Petr Nets 1992, vlume 616 f Lecture Ntes n Cmputer Scence, pages Sprnger-Verlag, Berln, J. Desel and J. Esparza. Free chce Petr nets, vlume 40 f Cambrdge tracts n theretcal cmputer scence. Cambrdge Unversty Press, Cambrdge, C.A. Ells and G.J. Nutt. Mdellng and Enactment f Wrkflw Systems. In M. Ajmne Marsan, edtr, Applcatn and Thery f Petr Nets 1993, vlume 691 f Lecture Ntes n Cmputer Scence, pages Sprnger-Verlag, Berln, J. Esparza. Synthess rules fr Petr nets, and hw they can lead t new results. In J.C.M. Baeten and J.W. Klp, edtrs, Prceedngs f CONCUR 1990, vlume 458 f Lecture Ntes n Cmputer Scence, pages Sprnger-Verlag, Berln, K. Gstellw, V. Cerf, G. Estrn, and S. Vlansky. Prper Termnatn f Flw-f-cntrl n Prgrams Invlvng Cncurrent Prcesses. ACM Sgplan, 7(11):15 27, V. Gruhn. Valdatn and Verfcatn f Sftware Prcess Mdels. In A. Endres and H. Weber, edtrs, Sftware Develpment Envrnments and CASE Technlgy, vlume 509 f Lecture Ntes n Cmputer Scence, pages Sprnger-Verlag, Berln, M.H.T. Hack. Analyss prductn schemata by Petr nets. Master s thess, Massachusetts Insttute f Technlgy, Cambrdge, Mass., T.M. Kulpuls. The Wrkflw Imperatve. Van Nstrand Renhld, New Yrk, A.V. Kvalyv. On cmplete reducablty f sme classes f Petr nets. In Prceedngs f the 11th Internatnal Cnference n Applcatns and Thery f Petr Nets, pages , Pars, June T. Murata. Petr Nets: Prpertes, Analyss and Applcatns. Prceedngs f the IEEE, 77(4): , Aprl J.L. Petersn. Petr net thery and the mdelng f systems. Prentce-Hall, Englewd Clffs, C.A. Petr. Kmmunkatn mt Autmaten. PhD thess, Insttut für nstrumentelle Mathematk, Bnn, 1962.
21 23. T. Schäl. Wrkflw Management fr Prcess Organsatns, vlume 1096 f Lecture Ntes n Cmputer Scence. Sprnger-Verlag, Berln, P.A. Straub and C. Hurtad. The Smple Cntrl Prperty f Busness Prcess Mdels. In XV Internatnal Cnference f the Chlean Cmputer Scence Scety, R. Valette. Analyss f Petr Nets by Stepwse Refnements. Jurnal f Cmputer and System Scences, 18:35 46, WFMC. Wrkflw Management Caltn Termnlgy and Glssary (WFMC-TC-1011). Techncal reprt, Wrkflw Management Caltn, Brussels, 1996.
A class of Petri nets for modeling and analyzing business processes
A class f Petr nets fr mdelng and analyzng busness prcesses W.M.P. van der Aalst Department f Mathematcs and Cmputng Scence, Endhven Unversty f Technlgy, P.O. Bx 513, NL-5600 MB, Endhven, The Netherlands,
More informationFramework for Business Process Redesign
Framewrk fr Busness Prcess Redesgn W.M.P. van der Aalst K.M. van Hee Department f Mathematcs and Cmputng Scence, Endhven Unversty f Technlgy, P.O. Bx 513, 5600 MB, Endhven, The Netherlands, telephne: -31
More informationA Petri Net-based Model for Web Service Composition
A Petr Net-based Mdel fr Web Servce Cmpstn Rachd Hamad Bualem Benatallah Schl f Cmputer Scence and Engneerng The Unversty f New Suth Wales Sydney NSW 2052, Australa {rhamad,bualem}@cse.unsw.edu.au Abstract
More informationA Web Application Framework for Reservation Systems and its Reusability Evaluation
A Web Applcatn wrk fr Reservatn Systems and ts Reusablty Evaluatn Feng Zhu and Takesh Chush Abstract Web applcatn s d n varus busness felds n the Internet and ntranets. It s an effcent way t develp Web
More informationYOU ARE RECEIVING THIS NOTICE AS REQUIRED BY THE NEW NATIONAL HEALTH REFORM LAW (ALSO KNOWN AS THE AFFORDABLE CARE ACT OR ACA)
YOU ARE RECEIVING THIS NOTICE AS REQUIRED BY THE NEW NATIONAL HEALTH REFORM LAW (ALSO KNOWN AS THE AFFORDABLE CARE ACT OR ACA) On January 1, 2014, the Affrdable Care Act (ACA) wll be mplemented n Massachusetts
More informationHough-Domain Image Registration By Metaheuristics
Hugh-Dman mage Regstratn By etaheurstcs Shubn Zha Jangsu Autmatn Research nsttute Lanyungang, Jangsu, P. R. Chna 6 Emal: zha_shubn@63.cm Abstract mage regstratn s the prcess f regsterng tw r mre mages,
More informations s f h s s SPH3UW Unit 7.7 Concave Lens Page 1 of 7 Notes Properties of a Converging Lens
SPH3UW Unt 7.7 Cncave Lens Page 1 f 7 Ntes Physcs Tl bx Thn Lens s an ptcal system wth tw refractng surfaces. The mst smplest thn lens cntan tw sphercal surfaces that are clse enugh tgether that we can
More informationSUMMARY This is what Business Analysts do in the real world when embarking on a new project: they analyse
S yu want t be a Business Analyst? Analyst analyse thyself. SUMMARY This is what Business Analysts d in the real wrld when embarking n a new prject: they analyse Why? Why are we ding this prject - what
More informationClock-driven distributed real-time implementation of endochronous synchronous programs
Clck-drven dstrbuted real-tme mplementatn f endchrnus synchrnus prgrams D. Ptp-Butucaru INRIA Rcquencurt, France dumtru.ptp@nra.fr R. de Smne INRIA Spha Antpls, France rs@spha.nra.fr J.-P. Talpn INRIA
More informationWHITE PAPER. Vendor Managed Inventory (VMI) is Not Just for A Items
WHITE PAPER Vendr Managed Inventry (VMI) is Nt Just fr A Items Why it s Critical fr Plumbing Manufacturers t als Manage Whlesalers B & C Items Executive Summary Prven Results fr VMI-managed SKUs*: Stck-uts
More informationPART 6. Chapter 12. How to collect and use feedback from readers. Should you do audio or video recording of your sessions?
TOOLKIT fr Making Written Material Clear and Effective SECTION 3: Methds fr testing written material with readers PART 6 Hw t cllect and use feedback frm readers Chapter 12 Shuld yu d audi r vide recrding
More informationHow much life insurance do I need? Wrong question!
Hw much life insurance d I need? Wrng questin! We are ften asked this questin r sme variatin f it. We believe it is NOT the right questin t ask. What yu REALLY need is mney, cash. S the questin shuld be
More informationData Abstraction Best Practices with Cisco Data Virtualization
White Paper Data Abstractin Best Practices with Cisc Data Virtualizatin Executive Summary Enterprises are seeking ways t imprve their verall prfitability, cut csts, and reduce risk by prviding better access
More informationCHECKING ACCOUNTS AND ATM TRANSACTIONS
1 Grades 6-8 Lessn 1 CHECKING ACCOUNTS AND ATM TRANSACTIONS Tpic t Teach: This lessn is intended fr middle schl students in sixth thrugh eighth grades during a frty minute time perid. The lessn teaches
More informationDesign for securability Applying engineering principles to the design of security architectures
Design fr securability Applying engineering principles t the design f security architectures Amund Hunstad Phne number: + 46 13 37 81 18 Fax: + 46 13 37 85 50 Email: amund@fi.se Jnas Hallberg Phne number:
More informationIn addition to assisting with the disaster planning process, it is hoped this document will also::
First Step f a Disaster Recver Analysis: Knwing What Yu Have and Hw t Get t it Ntes abut using this dcument: This free tl is ffered as a guide and starting pint. It is des nt cver all pssible business
More informationFINRA Regulation Filing Application Batch Submissions
FINRA Regulatin Filing Applicatin Batch Submissins Cntents Descriptin... 2 Steps fr firms new t batch submissin... 2 Acquiring necessary FINRA accunts... 2 FTP Access t FINRA... 2 FTP Accunt n FINRA s
More informationAim The aim of a communication plan states the overall goal of the communication effort.
Develping a Cmmunicatin Plan- Aim Aim The aim f a cmmunicatin plan states the verall gal f the cmmunicatin effrt. Determining the Aim Ask yurself r yur team what the verall gal f the cmmunicatin plan is.
More informationArmy DCIPS Employee Self-Report of Accomplishments Overview Revised July 2012
Army DCIPS Emplyee Self-Reprt f Accmplishments Overview Revised July 2012 Table f Cntents Self-Reprt f Accmplishments Overview... 3 Understanding the Emplyee Self-Reprt f Accmplishments... 3 Thinking Abut
More informationThis report provides Members with an update on of the financial performance of the Corporation s managed IS service contract with Agilisys Ltd.
Cmmittee: Date(s): Infrmatin Systems Sub Cmmittee 11 th March 2015 Subject: Agilisys Managed Service Financial Reprt Reprt f: Chamberlain Summary Public Fr Infrmatin This reprt prvides Members with an
More informationCSE 231 Fall 2015 Computer Project #4
CSE 231 Fall 2015 Cmputer Prject #4 Assignment Overview This assignment fcuses n the design, implementatin and testing f a Pythn prgram that uses character strings fr data decmpressin. It is wrth 45 pints
More informationLuby s Alg. for Maximal Independent Sets using Pairwise Independence
Lecture Notes for Randomzed Algorthms Luby s Alg. for Maxmal Independent Sets usng Parwse Independence Last Updated by Erc Vgoda on February, 006 8. Maxmal Independent Sets For a graph G = (V, E), an ndependent
More informationHow to deploy IVE Active-Active and Active-Passive clusters
Hw t deply IVE Active-Active and Active-Passive clusters Overview Juniper Netscreen SA and SM series appliances supprt Active/Passive r Active/Active cnfiguratins acrss a LAN r a WAN t prvide high availability,
More informationIntegrate Marketing Automation, Lead Management and CRM
Clsing the Lp: Integrate Marketing Autmatin, Lead Management and CRM Circular thinking fr marketers 1 (866) 372-9431 www.clickpintsftware.cm Clsing the Lp: Integrate Marketing Autmatin, Lead Management
More informationGrant Application Writing Tips and Tricks
Grant Applicatin Writing Tips and Tricks Grants are prvided by gvernment (lcal, state and natinal), charitable trusts, and by cmmunity rganisatins (eg Ltteries, Rtary, etc). Each grant has a specific purpse,
More informationMeeting Minutes for January 17, 2013
There are tw purpses t these bi-mnthly calls: Meeting Minutes fr January 17, 2013 1. Prvide updates that may affect wrkflw user studies 2. Prvide a frum fr MIP Studies Users t ask questins and raise cncerns
More informationTraining Efficiency: Optimizing Learning Technology
Ideas & Insights frm 2008 Training Efficiency Masters Series Survey Results Training Efficiency: Optimizing Learning Technlgy trainingefficiency.cm Survey Results: Training Efficiency: Optimizing Learning
More informationTRAINING GUIDE. Crystal Reports for Work
TRAINING GUIDE Crystal Reprts fr Wrk Crystal Reprts fr Wrk Orders This guide ges ver particular steps and challenges in created reprts fr wrk rders. Mst f the fllwing items can be issues fund in creating
More informationHOW TO MEASURE YOUR MARKETING
HOW TO MEASURE YOUR MARKETING Metrics, Analytics and ROI INTRODUCTION D yu knw hw a change in yur marketing budget can impact yur marketing results? Accrding t the 2010 B2B Lead Generatin Marketing ROI
More informationGroup 3 Flip Chart Notes
MDH-DLI Sympsium -- Meeting Mandates, Making the Cnnectin: Wrkers Cmpensatin Electrnic Health Care Transactins -- Nvember 5, 2014 Grup 3 Flip Chart Ntes Meeting Mandates, Making the Cnnectin: Wrkers Cmpensatin
More informationWhy Can t Johnny Encrypt? A Usability Evaluation of PGP 5.0 Alma Whitten and J.D. Tygar
Class Ntes: February 2, 2006 Tpic: User Testing II Lecturer: Jeremy Hyland Scribe: Rachel Shipman Why Can t Jhnny Encrypt? A Usability Evaluatin f PGP 5.0 Alma Whitten and J.D. Tygar This article has three
More informationConversations of Performance Management
Cnversatins f Perfrmance Management Perfrmance Management at Ohi State The Secnd Cnversatin ~ Develpment 2011 The Ohi State University Office f Human Resurces Cntents Intrductin Welcme t Develping Emplyees...
More informationQBT - Making business travel simple
QBT - Making business travel simple In business travel, cmplexity csts. S, we ffer less f it. We adpt the latest technlgy and make it simple, transparent and highly persnal. S yu get mre f what yu need
More informationConnecting to Email: Live@edu
Cnnecting t Email: Live@edu Minimum Requirements fr Yur Cmputer We strngly recmmend yu upgrade t Office 2010 (Service Pack 1) befre the upgrade. This versin is knwn t prvide a better service and t eliminate
More informationA Walk on the Human Performance Side Part I
A Walk n the Human Perfrmance Side Part I Perfrmance Architects have a license t snp. We are in the business f supprting ur client rganizatins in their quest fr results that meet r exceed gals. We accmplish
More informationUnderstand Business Continuity
Understand Business Cntinuity Lessn Overview In this lessn, yu will learn abut: Business cntinuity Data redundancy Data availability Disaster recvery Anticipatry Set What methds can be emplyed by a system
More informationHow To Migrate To A Networks Dmain Name Service On A Pc Or Macbook (For Pc) On A Linux Computer (For Macbook) On An Ipad Or Ipad (For Ipad) On Pc Or Ipa (For
Reprt: April 12, 2011 By Erick Engelke I have rganized my tasks arund tw majr prblems: 1. Define the new active directry a. Dmain Name Service fr the dmain - cmplete b. Dmain layut, structuring f Organizatinal
More informationefusion Table of Contents
efusin Cst Centers, Partner Funding, VAT/GST and ERP Link Table f Cntents Cst Centers... 2 Admin Setup... 2 Cst Center Step in Create Prgram... 2 Allcatin Types... 3 Assciate Payments with Cst Centers...
More informationThe Cost Benefits of the Cloud are More About Real Estate Than IT
y The Cst Benefits f the Clud are Mre Abut Real Estate Than IT #$#%&'()*( An Osterman Research Executive Brief Published December 2010 "#$#%&'()*( Osterman Research, Inc. P.O. Bx 1058 Black Diamnd, Washingtn
More information990 e-postcard FAQ. Is there a charge to file form 990-N (e-postcard)? No, the e-postcard system is completely free.
990 e-pstcard FAQ Fr frequently asked questins abut filing the e-pstcard that are nt listed belw, brwse the FAQ at http://epstcard.frm990.rg/frmtsfaq.asp# (cpy and paste this link t yur brwser). General
More informationChange Management Process
Change Management Prcess B1.10 Change Management Prcess 1. Intrductin This plicy utlines [Yur Cmpany] s apprach t managing change within the rganisatin. All changes in strategy, activities and prcesses
More informationSuccession Planning & Leadership Development: Your Utility s Bridge to the Future
Successin Planning & Leadership Develpment: Yur Utility s Bridge t the Future Richard L. Gerstberger, P.E. TAP Resurce Develpment Grup, Inc. 4625 West 32 nd Ave Denver, CO 80212 ABSTRACT A few years ag,
More informationWhat is Software Risk Management? (And why should I care?)
What is Sftware Risk Management? (And why shuld I care?) Peter Kulik, KLCI, Inc. 1 st Editin, Octber 1996 Risks are schedule delays and cst verruns waiting t happen. As industry practices have imprved,
More informationTeam Hpe Walk fr HD Where we have been. Where we are ging. 1 Welcme T Team Hpe Walk fr HD 2009! Jana Wilcx, Natinal Manager 2 Tday s Gals Gal #1: Share with yu The Visin f the Walk Initiative Prvide a
More informationHow to Reduce Project Lead Times Through Improved Scheduling
Hw t Reduce Prject Lead Times Thrugh Imprved Scheduling PROBABILISTIC SCHEDULING & BUFFER MANAGEMENT Cnventinal Prject Scheduling ften results in plans that cannt be executed and t many surprises. In many
More informationCOUNTRY REPORT: Sweden
COUNTRY REPORT: Sweden Prepared by: SP Technical Research Institute f Sweden Versin 2.0 Date: April 19, 2011 Address: Bx 857, SE-501 15 Brås, Sweden Tel. : +46 10 516 56 62 Fax : +46 33 13 19 79 E-mail:
More informationbenefit is 2, paid if the policyholder dies within the year, and probability of death within the year is ).
REVIEW OF RISK MANAGEMENT CONCEPTS LOSS DISTRIBUTIONS AND INSURANCE Loss and nsurance: When someone s subject to the rsk of ncurrng a fnancal loss, the loss s generally modeled usng a random varable or
More informationGetting Started Guide
AnswerDash Resurces http://answerdash.cm Cntextual help fr sales and supprt Getting Started Guide AnswerDash is cmmitted t helping yu achieve yur larger business gals. The utlined pre-launch cnsideratins
More informationDurango Merchant Services QuickBooks SyncPay
Durang Merchant Services QuickBks SyncPay Gateway Plug-In Dcumentatin April 2011 Durang-Direct.cm 866-415-2636-1 - QuickBks Gateway Plug-In Dcumentatin... - 3 - Installatin... - 3 - Initial Setup... -
More informationHow to Address Key Selection Criteria
Hw t Address Key Selectin Criteria Yu've seen an jb pprtunity that yu're interested in, n a jbs bard r in the press and want t apply, but where d yu start? A key requirement fr jbs in Gvernment is t respnd
More informationCOGNITIVE REHABILITATION Information for Patients and Families
www.strkengine.ca COGNITIVE REHABILITATION Infrmatin fr Patients and Families What is cgnitive rehabilitatin? Cgnitive rehabilitatin is a gal-riented prgram that aims t imprve cgnitive functins (memry,
More informationNanoscale Heat Transfer using Phonon Boltzmann Transport Equation
Presented at the COMSOL Cnference 9 Bstn Nanscale Heat Transfer usng Phnn Bltzmann Transprt Equatn Sangwk Shn Ar Frce Research Labratry, Materals and Manufacturng Drectrate, AFRL/RX, Wrght-Pattersn AFB,
More informationThe Importance Advanced Data Collection System Maintenance. Berry Drijsen Global Service Business Manager. knowledge to shape your future
The Imprtance Advanced Data Cllectin System Maintenance Berry Drijsen Glbal Service Business Manager WHITE PAPER knwledge t shape yur future The Imprtance Advanced Data Cllectin System Maintenance Cntents
More informationMobile Workforce. Improving Productivity, Improving Profitability
Mbile Wrkfrce Imprving Prductivity, Imprving Prfitability White Paper The Business Challenge Between increasing peratinal cst, staff turnver, budget cnstraints and pressure t deliver prducts and services
More informationImplementing ifolder Server in the DMZ with ifolder Data inside the Firewall
Implementing iflder Server in the DMZ with iflder Data inside the Firewall Nvell Cl Slutins AppNte www.nvell.cm/clslutins JULY 2004 OBJECTIVES The bjectives f this dcumentatin are as fllws: T cnfigure
More informationlearndirect Test Information Guide The National Test in Adult Numeracy
learndirect Test Infrmatin Guide The Natinal Test in Adult Numeracy 1 Cntents The Natinal Test in Adult Numeracy: Backgrund Infrmatin... 3 What is the Natinal Test in Adult Numeracy?... 3 Why take the
More informationRetirement Planning Options Annuities
Retirement Planning Optins Annuities Everyne wants a glden retirement. But saving fr retirement is n easy task. The baby bmer generatin is graying. Mre and mre peple are appraching retirement age. With
More informationService Desk Self Service Overview
Tday s Date: 08/28/2008 Effective Date: 09/01/2008 Systems Invlved: Audience: Tpics in this Jb Aid: Backgrund: Service Desk Service Desk Self Service Overview All Service Desk Self Service Overview Service
More informationOR 2) Implement and customize an off the shelf product that would suit the requirements
CRM Custmer Relatinship Management Request fr Prpsal (RFP) Created by : Gayathri Jaganathan Rle : Prject Manager Prpsal Date: 10/02/06 Organizatin: AIM Alliance Inspectin Management Cmpany Lcatin : 28235
More informationBest Practice - Pentaho BA for High Availability
Best Practice - Pentah BA fr High Availability This page intentinally left blank. Cntents Overview... 1 Pentah Server High Availability Intrductin... 2 Prerequisites... 3 Pint Each Server t Same Database
More information1)What hardware is available for installing/configuring MOSS 2010?
1)What hardware is available fr installing/cnfiguring MOSS 2010? 2 Web Frnt End Servers HP Prliant DL 380 G7 2 quad cre Intel Xen Prcessr E5620, 2.4 Ghz, Memry 12 GB, 2 HP 146 GB drives RAID 5 2 Applicatin
More informationCreate a Non-Catalog Requisition
Create a Nn-Catalg Requisitin Jb Aid This jb aid describes hw t create a standard nn-catalg (i.e., nn-ibuynu) purchase request. REFER TO ADDITIONAL TRAINING GUIDES If yu need t create a special requisitin
More informationFundingEdge. Guide to Business Cash Advance & Bank Statement Loan Programs
Guide t Business Cash Advance & Bank Statement Lan Prgrams Cash Advances: $2,500 - $1,000,000 Business Bank Statement Lans: $5,000 - $500,000 Canada Cash Advances: $5,000 - $500,000 (must have 9 mnths
More informationBRILL s Editorial Manager (EM) Manual for Authors Table of Contents
BRILL s Editrial Manager (EM) Manual fr Authrs Table f Cntents Intrductin... 2 1. Getting Started: Creating an Accunt... 2 2. Lgging int EM... 3 3. Changing Yur Access Cdes and Cntact Infrmatin... 3 3.1
More informationready. aiim. learn. 2-day BPM Specialist Training Class - Learn global best practices for improving business processes
2-day BPM Specialist Training Class - Learn glbal best practices fr imprving business prcesses Intrductin The Business Prcess Management (BPM) Certificate Prgram is designed frm glbal best practices amng
More informationA Model for Automatic Preventive Maintenance Scheduling and Application Database Software
Prceedings f the 2010 Internatinal Cnference n Industrial Engineering and Operatins Management Dhaka, Bangladesh, January 9 10, 2010 A Mdel fr Autmatic Preventive Maintenance Scheduling and Applicatin
More informationMITEL OPEN INTEGRATION GATEWAY (OIG): END- CUSTOMER DEVELOPMENT & LICENSING
MITEL OPEN INTEGRATION GATEWAY (OIG): END- CUSTOMER DEVELOPMENT & LICENSING JULY, 2014 The infrmatin cnveyed in this dcument is cnfidential and prprietary t Mitel and is intended slely fr Mitel emplyees
More informationACTIVITY MONITOR. Live view of remote desktops. You may easily have a look at any user s desktop.
Web Develpment Offshre Develpment Outsurcing SEO ACTIVITY MONITOR This pwerful tl allws yu t track any LAN, giving yu the mst detailed infrmatin n what, hw and when yur netwrk users perfrmed. Whether it
More information(in)rl Webcast - Hardware & Technology Checklist
(in)rl Webcast - Hardware & Technlgy Checklist Checklist fr Meetup Hsts 1. Passwrd t lgin t the webcast- we ll email this t yu the week f the event 2. The link fr viewing the webcast - we ll email this
More informationPOLISH STANDARDS ON HEALTH AND SAFETY AS A TOOL FOR IMPLEMENTING REQUIREMENTS OF THE EUROPEAN DIRECTIVES INTO THE PRACTICE OF ENTERPRISES
POLISH STANDARDS ON HEALTH AND SAFETY AS A TOOL FOR IMPLEMENTING REQUIREMENTS OF THE EUROPEAN DIRECTIVES INTO THE PRACTICE OF ENTERPRISES M. PĘCIŁŁO Central Institute fr Labur Prtectin ul. Czerniakwska
More informationHow To Install Fcus Service Management Software On A Pc Or Macbook
FOCUS Service Management Sftware Versin 8.4 fr Passprt Business Slutins Installatin Instructins Thank yu fr purchasing Fcus Service Management Sftware frm RTM Cmputer Slutins. This bklet f installatin
More informationSecretary of Energy Steven Chu, U.S. Department of Energy. Acting Under Secretary David Sandalow, U.S. Department of Energy
T: Cc: Secretary f Energy Steven Chu, U.S. Department f Energy Acting Under Secretary David Sandalw, U.S. Department f Energy Frm: Steven Ashby, Deputy Directr fr Science & Technlgy, Pacific Nrthwest Natinal
More informationSAP Data Migration Using Business Objects Information Management Software. A White Paper by Bloor Research
SAP Data Migratin Using Business Objects Infrmatin Management Sftware A White Paper by Blr Research Authr: Philip Hward Review Date: 17 July 2008 Executive summary This paper is abut using infrmatin management
More informationFOCUS Service Management Software Version 8.5 for CounterPoint Installation Instructions
FOCUS Service Management Sftware Versin 8.5 fr CunterPint Installatin Instructins Thank yu fr purchasing Fcus Service Management Sftware frm RTM Cmputer Slutins. This bklet f installatin instructins will
More informationAccess to the Ashworth College Online Library service is free and provided upon enrollment. To access ProQuest:
PrQuest Accessing PrQuest Access t the Ashwrth Cllege Online Library service is free and prvided upn enrllment. T access PrQuest: 1. G t http://www.ashwrthcllege.edu/student/resurces/enterlibrary.html
More informationWHITEPAPER Reference Architectures for Portal-based Rich Internet Applications
Authr: Sven Rieger Created n: 2015-04-10 Versin: 1.0 Rich Internet (RIAs) are HTML5-based applicatins with a desktp-like lk&feel which run inside a web brwser. The Micrsft Office applicatins Wrd, Excel,
More informationDiagnosis and Troubleshooting
Diagnsis and Trubleshting DataDirect Cnnect Series ODBC Drivers Intrductin This paper discusses the diagnstic tls that are available t cnfigure and trublesht yur ODBC envirnment and prvides a trubleshting
More informationSpecific Course Objectives (includes SCANS): After studying all materials and resources presented in the course, the student will be able to:
Curse Syllabus ITSC 1425 Persnal Cmputer Hardware Revisin Date: January 12, 2014 Catalg Descriptin: This curse is a study f current persnal cmputer hardware including persnal cmputer assembly and upgrading,
More informationHow Checking Accounts Work
Hw Checking Accunts Wrk LESSON PREPARATION AND TEACHER INFORMATION Lessn Summary: This lessn is intended fr high schl students during a frty minute time perid. The lessn teaches students the purpse f a
More informationTalking Bout. a Revolution 100% 110% 120% 90% 80% 70% 130% 140%
Talking But a Revlutin 90% 80% 70% 60 0% 100% 110% 120% 130% 140% In-Memry analysis n 64-bit platfrms ushering in a new class f pwerful, affrdable and easy-t-use Business Intelligence slutins fr the masses
More informationLicensing Windows Server 2012 R2 for use with virtualization technologies
Vlume Licensing brief Licensing Windws Server 2012 R2 fr use with virtualizatin technlgies (VMware ESX/ESXi, Micrsft System Center 2012 R2 Virtual Machine Manager, and Parallels Virtuzz) Table f Cntents
More informationHow do I evaluate the quality of my wireless connection?
Hw d I evaluate the quality f my wireless cnnectin? Enterprise Cmputing & Service Management A number f factrs can affect the quality f wireless cnnectins at UCB. These include signal strength, pssible
More informationINTERMEDIATE CAD FILE MANAGEMENT
INTERMEDIATE CAD FILE MANAGEMENT Intrductin File mismanagement is the dwnfall f many brilliant individuals. If yu are wise, yu wn't be ne f the peple wh meet disaster due t pr file management. Cmputers
More informationWatson Communications 489 Shoemaker Road Suite 111 King of Prussia Pa 19446 610 631 5454 www.choosewatson.com for service custserv@watsonconnects.
Telewrker Supprt Dcument Descriptin The Mitel Telewrker applicatin allws a Mitel IP telephne set t be used ff premise where ever a high speed internet cnnectin is available. All f the features f the Mitel
More informationViPNet VPN in Cisco Environment. Supplement to ViPNet Documentation
ViPNet VPN in Cisc Envirnment Supplement t ViPNet Dcumentatin 1991 2015 Inftecs Americas. All rights reserved. Versin: 00121-04 90 02 ENU This dcument is included in the sftware distributin kit and is
More information2008 BA Insurance Systems Pty Ltd
2008 BA Insurance Systems Pty Ltd BAIS have been delivering insurance systems since 1993. Over the last 15 years, technlgy has mved at breakneck speed. BAIS has flurished in this here tday, gne tmrrw sftware
More informationAdvantage EAP Employee Assistance Program
Advantage EAP Emplyee Assistance Prgram July 2015 Finding Balance Creating Balance? 1,2 Finding balance in life ften feels ut f reach. It feels like everywhere we turn we are being asked t d mre and mre.
More informationGetting Your Fingers In On the Action
Rry Garfrth Getting Yur Fingers In On the Actin Once yu are able t strum with yur fingers, yu can begin fingerpicking! The first task is t learn yur hand psitin and t learn which fingers are used n which
More informationATL: Atlas Transformation Language. ATL Installation Guide
ATL: Atlas Transfrmatin Language ATL Installatin Guide - versin 0.1 - Nvember 2005 by ATLAS grup LINA & INRIA Nantes Cntent 1 Intrductin... 3 2 Installing ADT frm binaries... 3 2.1 Installing Eclipse and
More informationScheduling and Controls of Project Manufacturing
Scheduling and Cntrls f Prject Manufacturing Mhamed El-Mehalawi, Ph.D., PMP Prject Management Cnsultant Abstract Prductin cntrls are usually based n either mass prductin r jb-shp manufacturing. These techniques
More informationLicensing Windows Server 2012 for use with virtualization technologies
Vlume Licensing brief Licensing Windws Server 2012 fr use with virtualizatin technlgies (VMware ESX/ESXi, Micrsft System Center 2012 Virtual Machine Manager, and Parallels Virtuzz) Table f Cntents This
More informationTips to Prepare for Quarter-End and Year-End
Tips t Prepare fr Quarter-End and Year-End Melissa Wd Cnsultant What We ll Cver 1. Tying ut A/P 2. Tying ut A/R 3. Tying ut I/N 4. Wrk In Prgress 5. Managing Jbs and PMs 6. Quarterly Payrll 7. Clsing a
More informationThe Importance of Market Research
The Imprtance f Market Research 1. What is market research? Successful businesses have extensive knwledge f their custmers and their cmpetitrs. Market research is the prcess f gathering infrmatin which
More informationPhi Kappa Sigma International Fraternity Insurance Billing Methodology
Phi Kappa Sigma Internatinal Fraternity Insurance Billing Methdlgy The Phi Kappa Sigma Internatinal Fraternity Executive Bard implres each chapter t thrughly review the attached methdlgy and plan nw t
More informationSuccess in Mathematics
Success in Mathematics Tips n hw t study mathematics, hw t apprach prblem-slving, hw t study fr and take tests, and when and hw t get help. Math Study Skills Be actively invlved in managing the learning
More informationDefining Sales Campaign Automation How e-mail, the Killer App, is best applied to marketing
Defining Sales Campaign Autmatin Hw e-mail, the Killer App, is best applied t marketing Summary: Cmpanies tday are steadily adpting strategies and technlgies t reach prspects, custmers, and partners thrugh
More informationIntel Hybrid Cloud Management Portal Update FAQ. Audience: Public
Intel Hybrid Clud Management Prtal Update FAQ Audience: Public Purpse: Prepare fr the launch f the Intel Hybrid Clud Platfrm multi-user/multi-tier update Versin: Final FAQs What s new in the Intel Hybrid
More informationOrganizational Applications and Solutions SCM and ERP
Dr Sherif Kamel Department f Management Schl f Business, Ecnmics and Cmmunicatin Organizatinal Applicatins and Slutins SCM and ERP Outline Supply chain and value chain definitins Cmpnents, benefits and
More informationTimes Table Activities: Multiplication
Tny Attwd, 2012 Times Table Activities: Multiplicatin Times tables can be taught t many children simply as a cncept that is there with n explanatin as t hw r why it is there. And mst children will find
More information