Jae-yoon Jung, Wonchang Hur, Hoontae Kim, and Suk-Ho Kang

Size: px
Start display at page:

Download "Jae-yoon Jung, Wonchang Hur, Hoontae Kim, and Suk-Ho Kang"

Transcription

1 Business Process Choreogrphy for B2B Collortion Je-yoon Jung, Wonchng Hur, Hoonte Kim, nd Suk-Ho Kng Deprtment of Industril Engineering, Seoul Ntionl University, Seoul, , Repulic of Kore Astrcts We propose methodology for usiness process choreogrphy. Our methodology provides specifictions of two types of usiness processes (Contrct Process nd Executle Process), nd n interfce protocol to represent interoperility ptterns etween the processes. Through our pproch, existing processes usully mnged y compnies own internl WFMS cn e put together to cooperte nd controlled following consistent procedure. We lso implemented prototype usiness process mngement system to support our usiness process choreogrphy methodology. The system is uilt on top of existing WFMS s. It fcilittes cretion nd instntition of Contrct Processes, nd mnges n utomtic execution of the Interfce Protocol. Keywords: Business process choreogrphy, Process interoperility ptterns, B2B collortion 1. INTRODUCTION Tody s e-usiness environment urges mny compnies to cooperte with ech other. For costeffective nd rpid provision of good services, compny needs to interchnge documents nd relted informtion with mny usiness prtners which include suppliers, customers, nd vrious service providers. In such n environment, usiness processes inevitly get more entngled nd entils collortion etween distriuted nd heterogeneous pltforms which re not esy to mnge. Therefore, systemtic nd utomted mngement of usiness process execution hs drwn gret concern mong compnies nd orgniztions tht necessitte collortive usiness process. BPM (Business Process Mngement) cn e defined s set of services nd tools tht provide explicit process mngement (e.g., process nlysis, definition, execution, monitoring nd dministrtion), including support for humn nd ppliction-level integrtion. 1 It is ssocited with numer of technologies, such s workflow, Enterprise Appliction Integrtion (EAI), B2Bi, nd lso with concepts such s Business Process Reengineering (BPR), Business Process Automtion (BPA) nd Business Process Integrtion (BPI). 2 In n effort to relize the concept of BPM, vrious usiness process specifictions re recently proposed, nd they mke it possile to define structure of usiness process, exchngele messges nd opertions. They lso mke it possile to incorporte externl we services for modeling collortion with externl service providers. 3 However, they do not provide solutions to comine existing workflow or internl processes semlessly in the collortion design. In more intimte e-usiness environments such s supply chin mngement, more ctive collortion is needed t the process level nd t the service nd ppliction level.

2 In this pper, we propose usiness process choreogrphy methodology. Our methodology provides two specifictions tht cn e used to represent two types of usiness processes (Contrct Process nd Executle Process) nd protocol specifiction (Interfce Protocol) used to represent interction etween the processes. Through our pproch, existing processes which re usully mnged y compnies own internl WFMS cn e put together nd controlled following consistent procedure. We lso implemented prototype usiness process mngement system to support our usiness process choreogrphy methodology. The system is uilt on top of existing WFMS s which mnge Executle Processes, nd fcilittes cretion nd instntition of Contrct Processes, nd mngement of utomtic execution procedure of the Interfce Protocol. 2. COLLABORATIVE BUSINESS PROCESSES In this chpter, we first provide clssifiction of usiness processes in we-sed B2B environment, nd then descrie how to orgnize them into collortion. The essence of our usiness process choreogrphy is forml methodology to represent interoperility ptterns etween two usiness processes nd to provide wy to systemticlly utomte the ptterns. In our pproch, we chrcterize collortive usiness process s prticulr contrct mong usiness prtners. The contrct my involve severl internl processes of the prtners, nd clerly descrie how to ssocite the involved processes. Becuse the contrct itself hs logicl procedure, it lso cn e represented s form of usiness process. We cll the logicl procedure of the contrct Contrct Process (CP), nd the prtners own internl processes Executle Process (EP). A prticulr communiction protocol, clled Interfce Protocol (IP), is defined to specify interctions etween CP nd EP. These concepts cn e defined more specificlly s follows. [Definition of Contrct Process (CP)] CP defines procedurl usiness trnsctions tht ech usiness prtner prticiptes in nd crries out for the purpose of collortion. It is descried s sequence of usiness logics tht contin elements of dt formts, logicl endpoints, security levels, etc. CP cn e expressed y using recently proposed specifictions such s BPML, BPEL4WS nd exml BPSS. [Definition of Executle Process (EP)] EP represents n internl, routine process performed y individul usiness prtners involved in CP. Usully, EPs re controlled y the prtners own WFMS, so it cn e specified using XPDL, which is stndrd workflow definition lnguge. EP itself my not hve ny reltion with specific CP, ut it cn e relted to the CP through IP. [Definition of Interfce Protocol (IP)] IP is used to descrie interoperility reltionships tht one or more EP in usiness prtner intercts with one CP. The reltionships re expressed y mens of interoperility ptterns which will e discussed in the next chpter. Figure 1 shows the reltionship mong CP, EP nd IP in we-sed B2B environment. The figure illustrtes three possile scenrios of n orgniztion intercting with other prtners through our usiness process choreogrphy concept. In the first scenrio, the orgniztion communictes only with externl ppliction services (e.g., we services) of the Prtner 1 through CP. In the second, the orgniztion s CP intercts with EP of the Prtner 2 s well s externl ppliction services of the Prtner 1. The lst one shows n independent collortion scenrio, in which the orgniztion s CP intercts with CP of ll the prtners, s well s EP nd we service.

3 Orgniztion Prtner 1 Users Applictions EP IP CP ppliction service Prtner 2 EP IP CP IP EP EP EP Prtner 3 EP IP CP CP IP EP EP Figure 1. Collortion scenrios This pproch hs severl dvntges s follows over other pproches. - Reusility Our choreogrphy methodology does not require ny modifiction or dpttion of EPs, therefore EPs re totlly reusle. We do not need to use different workflow processes definitions for ech prtner, ut use common definitions if they re identicl. Reuse of EP helps gile nd flexile response to new usiness requirements. - Independence IP gurntees design independence of EP nd CP. In other words, design of IP hs no effect on tht of EP or CP, which implies EP nd CP cn e designed without considering how it will e incorported in IP. Moreover, if it is necessry to modify some usiness logics of EP or CP, we cn modify the CP or EP independently, if the modified prts re not relted to IP. - Flexiility An orgniztion only hs to modify IP, not CP or EP, if he wnts to mke usiness trnsction with new prtner. The process logics of the orgniztion need not to e modified or ltered. Becuse CP supports three collortion scenrios, the orgniztion cn flexily collorte with new usiness prtners in vrious types of collortion environments, shown s Figure PROCESS INTEROPERABILITY In B2B collortion environment, there cn e vrious ptterns of interction mong usiness processes. To support n effective control of the interction, it is required to identify interoperility ptterns nd formlly represent the ptterns. In this chpter, we provide systemtic methodology to fcilitte the forml representtion of the interoperility ptterns. 3.1 Interoperility Ptterns We nlyzed vrious types of interopertion etween usiness processes, nd identified 6 primitive interoperility ptterns which cn e used s uilding locks to express complex interctions. These primitives re extended from WfMC s interoperility models: chined model, nested model, nd synchronized model. 4 First of ll, in chined model, process triggers the cretion nd enctment of nother process, nd then tkes no further interest in the newly creted process. This model is sudivided into the following two types. - Chined Sustitutive (CS) process termintes right fter inititing new process. The newly creted process replces the originl process. - Chined Additive (CA) process just goes on its own execution fter inititing new

4 process. Two processes do not interct gin with ech other. Secondly, in nested model, fter process invokes nother process, the invoking process tkes execution results from the invoked process t prticulr ctivity. We sudivide this model into three ptterns. - Nested Synchronous (NS) return point where process tkes ck the execution results is the sme s the invoking point of the process. The invoked process plys role of su-process sustituting n ctivity in the invoking process. - Nested Deferred (ND) return point is deferred to certin ctivity tht comes fter the invoking point. The intervening ctivities etween the two points re overridden y the new process. - Nested Prllel (NP) NP is the sme s NR except tht the invoking process cn e ctivted fter ll the intervening ctivities re completed. Finlly, the synchronized model is descried s follows. - Prllel Synchronized (PS) two processes re synchronized t specific point. Only fter oth of them rech the point, they cn continue their execution. Figure 1 shows the primitive interoperility ptterns which cn hppen etween two processes. c c c c c e d d CS () chined CA NS ND NP () nested PS (c) synchronized Figure 2. Primitive interoperility ptterns etween two processes One thing tht you need to consider here is the concept of process encpsultion. 5 Encpsulting usiness process is to concel detiled specifiction of the process from externl entities. In other words, if process is not encpsulted, we cn get informtion out how to invoke ctivities in the process, nd directly ctivte them. To interoperte with n encpsulted process, we hve to send messges or rise events to trget enctment system tht controls the process. 3.2 Expression of Interoperility Ptterns To formlly specify the interoperility ptterns, we define 5 interoperility opertions. The opertions represent tomic functions tht re required for process to initite or ctivte services of nother process. The opertions fcilitte messges exchnge or event notifiction etween usiness processes. First of ll, it is required tht process instnce mkes connection with certin process instnce. Instntite opertion requests the other prty s enctment system to crete n instnce

5 of trget process nd return the key of the instnce. Initite opertion requests the system to find one of existing instnces which wit for connection fter previous ctivities hve een done. Next, n invoking process instnce needs opertions to interct with the process instnce which hs een decided y Instntite or Initite opertion. Resume opertion notifies the invoking instnce, which re witing or suspended immeditely fter its invoction, to continue its next ctivities. But, Trnsit opertion sends the notifiction of continution to the invoking instnce which hs done or een doing ppointed ctivities fter its invoction. Finlly, Synchronize opertion expresses Synchronized pttern, tht is, the opertion mkes two process instnces continue their next ctivities fter oth of their ppointed ctivities re done. The chrcteristics of interoperility opertions re compred in Tle 1. First two columns shows Trnsit, Resume nd Synchronized opertions should follow Instntite nd Initite opertions. And in the next two columns, Instntite nd Resume opertions hve the enctment system tret the request immeditely. But Initite, Trnsit, Synchronize opertions hve the enctment system check trnsitions of the trget ctivity ecuse the system should exmine whether or not the previous ctivities of the instnce hve een done. opertions connector follower Tle 1. Process interoperility opertions immedite execution check trnsition stte ttriute Wf-XML Instntite O O O CreteProcessInstnce Initite O O O Notify Trnsit O O O Notify ChngeProcessInstnc Resume O O O estte Synchronize O O Notify Additionlly, ll the opertions, except Synchronize, hve stte ttriutes which descrie sttes of invoking processes fter the execution of opertions. The stte ttriute cn hve one of the following vlues: wited, suspended, terminted, disconnected, nd continued. And, Synchronize opertion implicitly hs continued vlue s its stte ttriute. The stte of Initite nd Invoke opertions decides interoperility ptterns of two processes. To support the effective implementtion of the opertions, Wf-XML messges, shown in the tle, my e exploited. The Wf-XML stndrd provides XML specifictions tht fcilitte XML-sed communiction etween heterogeneous workflow systems. 6 For instnce, the Initite opertion cn request nother process engine to crete trget process instnce y sending the CreteProcessInstnce messge in the Wf-XML specifiction. By composing theses opertions, we cn express the primitive interoperility ptterns descried in the previous section. The expressions of the ptterns re shown in Tle 2. For exmple, the pttern NS cn e expressed y using two opertions of Instntite(stte= wited ) nd Resumed, which implement su-process overriding n ctivity. Tle 2. Expression of primitive interoperility ptterns y interoperility opertions Pttern Expression CS Instntite/Initite(stte= terminted ) Chined CA Instntite/Initite(stte= disconnected ) Nested NS Instntite/Initite(stte= wited ) Resume

6 ND Instntite/Initite(stte= suspended ) Resume NP Instntite/Initite(stte= continued ) Trnsit/Synchronize Synchronized SP Synchronize Noticely, the primitive interoperility ptterns cn e extended to hyrid ptterns y comining ech other. Figure 5 illustrtes the hyrid ptterns comining two ritrry primitive ptterns except chined ptterns. They cnnot e lended with the other ptterns ecuse their connection is lost fter new process strts. The hyrid ptterns lso cn e expressed y the interoperility opertions. For exmple, in the figure, NS ND cn e represented y using three opertions of Initite(stte= wited ), Resume(stte= suspended ) nd Resume(stte= continued ). The other hyrid ptterns cn e expressed in the sme wy. NS ND NS NP ND NP NS PS ND PS NP PS Figure 3. The hyrid interoperility ptterns etween two processes 4. BUSINESS PROCESS CHOREOGRAPHY An overll procedure for usiness process choreogrphy consists of four steps. Firstly, ll prticipnts mke interoperility contrcts nd extrct usiness logics together, nd they design common CP for collortive usiness process. Secondly, ech prticipnt checks out his own internl processes, nd prepres EPs which re necessry for B2B collortion. Finlly, ech prticipnt nlyzes reltionships etween the common CP nd his EPs, nd defines his own IP which formlly specifies interctions etween the CP nd his EPs. Figure 3 illustrtes CP for purchsing process etween customer nd supplier. The CP defines usiness logics nd messge exchnge for the prticipnts to perform the purchsing process. And four EPs in the figure show workflow processes of customer nd supplier. RequestOrder EP R nd CheckInvoice EP C re the customer s own internl process for Purchsing CP P. The supplier lso prticiptes in the CP with CheckOrder EP O nd CreteInvoice EP I.

7 Customer Customer or Supplier Supplier START sendpo purchseorder receiverequest nlyzepo cretepo purchseorder sendrequest modifypo END () RequestOrder EP R cceptnce rejection receiveresponse sendacceptnce cceptnce rejection sendacceptnce sendrejection (d) CheckOrder EP O sendrejection receiveinvoice invoice creteinvoice invoice creteinvoice checkinvoice checkinvoice sendinvoice sendconfirmtion invoiceid sendconfirmtion invoiceid receiveconfirmtion () CheckInvoice EP C (c) Purchse CP R (e) CreteInvoice EP I Figure 4. An exmple of purchsing process To put the interctions into opertion, in the figure, the IP for the customer is defined y ssociting RequestOrder EP R nd CheckInvoice EP C with Purchse CP P. The IP for the supplier is lso defined in the sme wy. We ssume tht EP C is encpsulted nd EP R is not. Now, every interction in IP is trnslted into the interoperility ptterns, nd then specified y using the interoperility opertions. For instnces, s the interoperility pttern etween EP R nd CP P corresponds to the primitive pttern NP s descried in the previous chpter, the first interction etween EP R nd CP P is expressed y Instntite(stte= continued ) opertion nd he second y Trnsit(stte= continued ) or Trnsit(stte= terminted ) opertion. In the cse of EP C, we cn not ssocite CP P directly with ctivities of EP C ecuse of its encpsultion. Insted, the EP C is used only for instntition nd notifiction of its termintion to the invoking process CP P. We cn esily find tht nd the interoperility pttern etween them corresponds to NS, nd EP C cn e expressed y Instntite(stte= wited ) nd Trnsit(stte= terminted ) opertions Figure 4 shows how usiness processes for purchsing re intercted etween common CP nd EPs of the customer. IP contins informtion of the interoperility ptterns nd messge trnsformtion. And ll opertions in the ptterns re mtched to corresponding Wf-XML messges with input/output prmeters. For exmple, if ctivity sendpo in EP R sends CreteProcessInstnce.request messge with OserverKey, ContextDt, nd etc., IP trnsltes purchseorder to PO schem, nd requests CP R of its instntition. At lst, when the key of new CP P instnce is returned to EP R y mens of CreteProcessInstnce.response with ProcessInstnceKey, the first interction is completed.

8 cretepo START sendpo receivejudgment modifypo END () RequestOrder EP R receiveinvoice checkinvoice sendconfirmtion CretProcessInstnce OserverKey, ContextDt ProcessInstnceKey CretProcessInstnce OserverKey, ContextDt ProcessInstnceKey ChngeProcessInstnceStte Stte:Completed, ResultDt Encptultion="No" Pttern= NP" EP R.sendPO CP P.receiveRequest Instntite(stte= continued ) EP C EP C purchseorder PO EP R.receiveJudgment CP P.sendAcceptnce Notify Trnsit(stte= continued ) Notify Event ContextDt judgment cceptnce EP R.receiveJudgment CP P.sendRejection Notify Trnsit(stte= terminted ) Notify Stte:Completed, ResultDt judgment rejection Encptulted workflow process Encptultion="Ye s" Pttern= NS CP P. checkinvoice Instntite(stte= wited ) purchseinvoice invoice CP P. checkinvoice Resume(stte= terminted ) invoiceid invoiceid receiverequest sendrequest receiveresponse sendacceptnce sendrejection creteinvoice checkinvoice sendconfirmtion () CheckInvoice EP C (c) Purchse IP P (d) Purchse CP P Figure 5. IP design for purchsing process The Purchse IP P in Figure 4 is descried in XML specifiction s follows. The IP specifiction is sed on XML Schem which we defined for the prototype system. It hs two Coupling elements to couple EP R nd EP C with CP P. The first Coupling element expresses interoperility pttern NP, nd the second does pttern NS. <InterfceProcess Id= IP_P Nme= Purchse IP xmlns=...> <ContrctProcess Id= CP_P Nme= Purchse CP Encpsulted= No Key= /> <ExecutleProcess Id= EP_R Nme= RequestOrder Encpsulted= No Key= /> <ExecutleProcess Id= EP_C Nme= CheckInvoice Encpsulted= Yes Key= /> <Coupling Id= 1 > <Instntite From= EP_R To= CP_P Stte= continued > <Source Activity= epr:sendpo InputDt= epr:purchseorder /> <Destintion Activity= cpp:receiverequest OutputDt= cpp:po /> </Instntite> <Trnsit From= CP_P To= EP_R Stte= continued > <Source Activity= cpp:sendacceptnce InputDt= cpp:cceptnce /> <Destintion Activity= epr:receivejudgment OutputDt= epr:judgment /> </Trnsit> <Trnsit From= CP_P To= EP_R Stte= terminted > <Source Activity= cpp:sendrejection InputDt= cpp:rejection /> <Destintion Activity= epr:receivejudgment OutputDt= epr:judgment /> </Trnsit> </Coupling> <Coupling Id= 2 > </Coupling> </InterfceProcess>

9 Interoperility opertions Humn Interfce B2B Interfce Business Process Choreogrphy for B2B Collortion 5. SYSTEM DESIGN We implemented prototype system to support usiness process choreogrphy. The overll rchitecture of the system is presented in Figure 5. The system consists of two su-systems of WFMS nd BPMS. WFMS hs its own storge, client tools nd engine(wf_engine), nd tkes the chrge of EP control using them. BPMS hs storge nd n engine for mnging CP(BP_Engine). It lso hs storge nd n interpreter for processing IP(IP interpreter). XPDL XPDL import export` EP Storge IP Storge import CP Storge export` BPML XPDL WFMS BPMS Administrtor Users Admin tool Monitor tool Anlysis tool Worklist Mnger WF_Engine Process control Audits nlysis Tsk schedule Tsk disptch Wf-XML interpreter App. dpter IP Interpreter Pttern control Opertion hndler Schem trnsltor Wf-XML interpreter BP_Engine Process control Audits nlysis Service interfce App. Adpter we services WFMS BPMS Appliction services Interoperility opertions ERP SCM CRM Legcy Appliction Interfce Figure 6. Overll rchitecture of our usiness process choreogrphy system The system uses XML-sed process definitions, which re stored in XML dtse. In detil, workflow process definitions hve een stored in EP storge, sed on XPDL specifictions, defined y WfMC. 7 And collortion process definitions hve een stored in CP storge, sed on BPML specifiction, defined y BPMI. 8 Finlly, IP Storge hs stored IP specifictions, which follows XML schem we defined. WF_Engine nd BP_Engine re enctment engines of WFMS nd BPMS, respectively. Two engines mnipulte the process definitions y two techniques, XPth nd JAXB(Jv Architecture for XML Binging). And, the engines communicte with ech other through the IP interpreter. IP interpreter helps CP nd EP to interct, sed on informtion of interopertion ptterns, opertions nd schem trnsformtion in IP specifiction. Both of two systems hve Wf-XML interpreter nd Appliction dpter. Wf-XML interpreter plys role in trnsltor etween messges nd interoperility opertions. Appliction dpter supports utomted tsks in workflow or usiness collortions. Figure 6 illustrtes n opertion sequence of our system following the execution scenrio of purchsing order process.

10 Internl WF_Engine IP Interpreter BP_Engine IP Interpreter Externl WF_Engine 1) Send Wf-XML messge with purchse order. CretProcessInstnce.Request CretProcessInstnce.Response 2) Execute corresponding opertion to BP_Engine. Initite(stte= continued ) receiverequest 3) Enct contrct process s its specifiction. Initite(stte= continued ) sendrequest 4) Trnslte opertion to Wf-XML messge nd send it to externl Engine. CretProcessInstnce.Request 5) Initite workflow process instnce nd return its key. 7) Receive cceptnce nd terminte the instnce. Notify Trnsit(stte= continued ) sendacceptnce Terminted receiveresponse CretProcessInstnce.Response ProcessInstnceStteChnged 6) Send cceptnce messge for purchse order nd terminte the instnce. Figure 7. Overll rchitecture of our usiness process choreogrphy system 1) Internl WF_Engine sends Wf-XML messge with purchse order to IP interpreter in order to strt new contrct process. 2) IP interpreter execute corresponding opertion to BP_Engine in order to initites the contrct process sed on IP specifictions. 3) BP_Engine cretes nd enct the contrct process instnce. And if it wnts to interct with workflow, it requests for IP interpreter to perform opertions in corresponding IP specifiction. 4) IP interpreter trnsltes opertions to Wf-XML messges nd send them to pre-defined Wf_Engines, which cn e externl WF_Engines. 5) Externl WF_Engine prses the Wf-XML messge. It cretes the workflow process instnce nd returns its key. 6) The Wf_Engine encts the workflow instnce. If the instnce trnsits or chnges its stte, the engine sends Wf-XML messges to its corresponding IP interpreter. 7) Internl WF_Engine receives the Wf-XML messges nd trnsits the corresponding workflow process instnce. 6. CONCLUSION In this pper we proposed methodology of choreogrphing usiness processes to chieve n utomted control of collortive interctions etween usiness prtners. The dvntge of our pproch is tht we cn estlish flexile nd extensile interctions etween prtners involved in B2B collortion without modifying structure of usiness processes of them. This is ecuse we seprted procedurl usiness logics required to complete the interctions from the individul processes involved, nd dopted coupling technique sed on interoperility ptterns etween usiness processes. References 1. Grtner group, Impct of BPM on Appliction Development, Grtner Symposium 2001, Orlndo, Fl., 2001.

11 2. J. Pyke, Wht s hppened to workflow? Informtion Mngement & Technology, vol. 35, no. 6, 2002, pp C. Peltz, We services orchestrtion- review of emerging technologies, tools, nd stndrds, Hewlett Pckrd, Co., WFMC-TC-1012, Workflow Stndrd Interoperility Astrct Specifiction, Workflow Mngement Colition, Winchester, UK, Y. Kim et l., WW-Flow: We-Bsed Workflow Mngement with Runtime Encpsultion, IEEE Internet Computing, vol. 4, no. 3, My/June 2000, pp WFMC-TC-1023, Workflow Stndrd Interoperility Wf-XML Binding, Workflow Mngement Colition, Lighthouse Point, Fl., WFMC-TC-1025, Workflow Process Definition Interfce XML Process Definition Lnguge, Workflow Mngement Colition, Lighthouse Point, Fl., A. Arkin, BPMI Proposed Recommendtion, Business Process Modeling Lnguge, Business Process Mngement Inititive, 2003.

Fig.25: the Role of LEX

Fig.25: the Role of LEX The Lnguge for Specifying Lexicl Anlyzer We shll now study how to uild lexicl nlyzer from specifiction of tokens in the form of list of regulr expressions The discussion centers round the design of n existing

More information

vcloud Director Service Provider Admin Portal Guide vcloud Director 9.1

vcloud Director Service Provider Admin Portal Guide vcloud Director 9.1 vcloud Director Service Provider Admin Portl Guide vcloud Director 9. vcloud Director Service Provider Admin Portl Guide You cn find the most up-to-dte technicl documenttion on the VMwre website t: https://docs.vmwre.com/

More information

In the last lecture, we discussed how valid tokens may be specified by regular expressions.

In the last lecture, we discussed how valid tokens may be specified by regular expressions. LECTURE 5 Scnning SYNTAX ANALYSIS We know from our previous lectures tht the process of verifying the syntx of the progrm is performed in two stges: Scnning: Identifying nd verifying tokens in progrm.

More information

Registering as a HPE Reseller. Quick Reference Guide for new Partners in Asia Pacific

Registering as a HPE Reseller. Quick Reference Guide for new Partners in Asia Pacific Registering s HPE Reseller Quick Reference Guide for new Prtners in Asi Pcific Registering s new Reseller prtner There re five min steps to e new Reseller prtner. Crete your Appliction Copyright 2017 Hewlett

More information

CS321 Languages and Compiler Design I. Winter 2012 Lecture 5

CS321 Languages and Compiler Design I. Winter 2012 Lecture 5 CS321 Lnguges nd Compiler Design I Winter 2012 Lecture 5 1 FINITE AUTOMATA A non-deterministic finite utomton (NFA) consists of: An input lphet Σ, e.g. Σ =,. A set of sttes S, e.g. S = {1, 3, 5, 7, 11,

More information

Tool Vendor Perspectives SysML Thus Far

Tool Vendor Perspectives SysML Thus Far Frontiers 2008 Pnel Georgi Tec, 05-13-08 Tool Vendor Perspectives SysML Thus Fr Hns-Peter Hoffmnn, Ph.D Chief Systems Methodologist Telelogic, Systems & Softwre Modeling Business Unit Peter.Hoffmnn@telelogic.com

More information

Registering as an HPE Reseller

Registering as an HPE Reseller Registering s n HPE Reseller Quick Reference Guide for new Prtners Mrch 2019 Registering s new Reseller prtner There re four min steps to register on the Prtner Redy Portl s new Reseller prtner: Appliction

More information

File Manager Quick Reference Guide. June Prepared for the Mayo Clinic Enterprise Kahua Deployment

File Manager Quick Reference Guide. June Prepared for the Mayo Clinic Enterprise Kahua Deployment File Mnger Quick Reference Guide June 2018 Prepred for the Myo Clinic Enterprise Khu Deployment NVIGTION IN FILE MNGER To nvigte in File Mnger, users will mke use of the left pne to nvigte nd further pnes

More information

UT1553B BCRT True Dual-port Memory Interface

UT1553B BCRT True Dual-port Memory Interface UTMC APPICATION NOTE UT553B BCRT True Dul-port Memory Interfce INTRODUCTION The UTMC UT553B BCRT is monolithic CMOS integrted circuit tht provides comprehensive MI-STD- 553B Bus Controller nd Remote Terminl

More information

2 Computing all Intersections of a Set of Segments Line Segment Intersection

2 Computing all Intersections of a Set of Segments Line Segment Intersection 15-451/651: Design & Anlysis of Algorithms Novemer 14, 2016 Lecture #21 Sweep-Line nd Segment Intersection lst chnged: Novemer 8, 2017 1 Preliminries The sweep-line prdigm is very powerful lgorithmic design

More information

Scenarios for IT Automating IT. 21 AUG 2018 VMware Validated Design 4.3 VMware Validated Design for IT Automating IT 4.3

Scenarios for IT Automating IT. 21 AUG 2018 VMware Validated Design 4.3 VMware Validated Design for IT Automating IT 4.3 Scenrios for IT Automting IT 21 AUG 2018 VMwre Vlidted Design 4.3 VMwre Vlidted Design for IT Automting IT 4.3 Scenrios for IT Automting IT You cn find the most up-to-dte technicl documenttion on the VMwre

More information

CS143 Handout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexical Analysis

CS143 Handout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexical Analysis CS143 Hndout 07 Summer 2011 June 24 th, 2011 Written Set 1: Lexicl Anlysis In this first written ssignment, you'll get the chnce to ply round with the vrious constructions tht come up when doing lexicl

More information

CSCI 3130: Formal Languages and Automata Theory Lecture 12 The Chinese University of Hong Kong, Fall 2011

CSCI 3130: Formal Languages and Automata Theory Lecture 12 The Chinese University of Hong Kong, Fall 2011 CSCI 3130: Forml Lnguges nd utomt Theory Lecture 12 The Chinese University of Hong Kong, Fll 2011 ndrej Bogdnov In progrmming lnguges, uilding prse trees is significnt tsk ecuse prse trees tell us the

More information

Siebel Business Analytics Applications Upgrade Guide. Version May 2006

Siebel Business Analytics Applications Upgrade Guide. Version May 2006 Sieel Business Anlytics Applictions Upgrde Guide Version 7.8.4 My 2006 Copyright 2005, 2006, Orcle. All rights reserved. The Progrms (which include oth the softwre nd documenttion) contin proprietry informtion;

More information

Simrad ES80. Software Release Note Introduction

Simrad ES80. Software Release Note Introduction Simrd ES80 Softwre Relese 1.3.0 Introduction This document descries the chnges introduced with the new softwre version. Product: ES80 Softwre version: 1.3.0 This softwre controls ll functionlity in the

More information

COMP 423 lecture 11 Jan. 28, 2008

COMP 423 lecture 11 Jan. 28, 2008 COMP 423 lecture 11 Jn. 28, 2008 Up to now, we hve looked t how some symols in n lphet occur more frequently thn others nd how we cn sve its y using code such tht the codewords for more frequently occuring

More information

Integration of a Scenario Service in a Multimedia Messaging System

Integration of a Scenario Service in a Multimedia Messaging System Integrtion of Scenrio Service in Multimedi Messging System Brigitte KERVELLA, Vlérie GAY nd Eric HORLAIT Université Pierre et Mrie CURIE, Institut Blise PASCAL, Lortoire MASI 4, plce Jussieu, 75252 PARIS

More information

Automatically deriving choreography-conforming systems of services

Automatically deriving choreography-conforming systems of services Automticlly deriving choreogrphy-conforming systems of services Gregorio Díz Dept. de Sistems Informáticos Universidd de Cstill-L Mnch 02071. Alcete, Spin gregorio.diz@uclm.es Ismel Rodríguez Dept. Sist.

More information

c360 Add-On Solutions

c360 Add-On Solutions c360 Add-On Solutions Functionlity Dynmics CRM 2011 c360 Record Editor Reltionship Explorer Multi-Field Serch Alerts Console c360 Core Productivity Pck "Does your tem resist using CRM becuse updting dt

More information

Synchronizability of Conversations Among Web Services

Synchronizability of Conversations Among Web Services 1 Synchronizbility of Converstions Among Web Services Xing Fu, Tevfik Bultn, Jinwen Su Abstrct We present frmework for nlyzing interctions mong web services tht communicte with synchronous messges. We

More information

Control-Flow Analysis and Loop Detection

Control-Flow Analysis and Loop Detection ! Control-Flow Anlysis nd Loop Detection!Lst time! PRE!Tody! Control-flow nlysis! Loops! Identifying loops using domintors! Reducibility! Using loop identifiction to identify induction vribles CS553 Lecture

More information

Small Business Networking

Small Business Networking Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology

More information

Small Business Networking

Small Business Networking Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology

More information

Zenoss Service Impact Installation and Upgrade Guide for Resource Manager 5.x and 6.x

Zenoss Service Impact Installation and Upgrade Guide for Resource Manager 5.x and 6.x Zenoss Service Impct Instlltion nd Upgrde Guide for Resource Mnger 5.x nd 6.x Relese 5.3.1 Zenoss, Inc. www.zenoss.com Zenoss Service Impct Instlltion nd Upgrde Guide for Resource Mnger 5.x nd 6.x Copyright

More information

EasyMP Multi PC Projection Operation Guide

EasyMP Multi PC Projection Operation Guide EsyMP Multi PC Projection Opertion Guide Contents 2 Introduction to EsyMP Multi PC Projection 5 EsyMP Multi PC Projection Fetures... 6 Connection to Vrious Devices... 6 Four-Pnel Disply... 6 Chnge Presenters

More information

CSCE 531, Spring 2017, Midterm Exam Answer Key

CSCE 531, Spring 2017, Midterm Exam Answer Key CCE 531, pring 2017, Midterm Exm Answer Key 1. (15 points) Using the method descried in the ook or in clss, convert the following regulr expression into n equivlent (nondeterministic) finite utomton: (

More information

Scenarios. VMware Validated Design for IT Automating IT 4.0 EN

Scenarios. VMware Validated Design for IT Automating IT 4.0 EN Scenrios VMwre Vlidted Design for IT Automting IT 4.0 This document supports the version of ech product listed nd supports ll susequent versions until the document is replced y new edition. To check for

More information

Epson iprojection Operation Guide (Windows/Mac)

Epson iprojection Operation Guide (Windows/Mac) Epson iprojection Opertion Guide (Windows/Mc) Contents 2 Introduction to Epson iprojection 5 Epson iprojection Fetures... 6 Connection to Vrious Devices... 6 Four-Pnel Disply... 6 Chnge Presenters nd Projection

More information

Coordinating Activities in Collaborative Environments: A High Level Petri Nets Based Approach

Coordinating Activities in Collaborative Environments: A High Level Petri Nets Based Approach Coordinting Activities in Collortive Environments: A High Level Petri Nets Bsed Approch Alerto B. Rposo, Léo P. Mglhães nd Ivn L. M. Ricrte Stte University of Cmpins (UNICAMP) School of Electricl nd Computer

More information

Distributed Systems Principles and Paradigms

Distributed Systems Principles and Paradigms Distriuted Systems Principles nd Prdigms Chpter 11 (version April 7, 2008) Mrten vn Steen Vrije Universiteit Amsterdm, Fculty of Science Dept. Mthemtics nd Computer Science Room R4.20. Tel: (020) 598 7784

More information

Small Business Networking

Small Business Networking Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology

More information

this grammar generates the following language: Because this symbol will also be used in a later step, it receives the

this grammar generates the following language: Because this symbol will also be used in a later step, it receives the LR() nlysis Drwcks of LR(). Look-hed symols s eplined efore, concerning LR(), it is possile to consult the net set to determine, in the reduction sttes, for which symols it would e possile to perform reductions.

More information

From Dependencies to Evaluation Strategies

From Dependencies to Evaluation Strategies From Dependencies to Evlution Strtegies Possile strtegies: 1 let the user define the evlution order 2 utomtic strtegy sed on the dependencies: use locl dependencies to determine which ttriutes to compute

More information

Small Business Networking

Small Business Networking Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology

More information

Dr. D.M. Akbar Hussain

Dr. D.M. Akbar Hussain Dr. D.M. Akr Hussin Lexicl Anlysis. Bsic Ide: Red the source code nd generte tokens, it is similr wht humns will do to red in; just tking on the input nd reking it down in pieces. Ech token is sequence

More information

Agilent Mass Hunter Software

Agilent Mass Hunter Software Agilent Mss Hunter Softwre Quick Strt Guide Use this guide to get strted with the Mss Hunter softwre. Wht is Mss Hunter Softwre? Mss Hunter is n integrl prt of Agilent TOF softwre (version A.02.00). Mss

More information

Small Business Networking

Small Business Networking Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology

More information

2PC AGENT METHOD: ACHIEVING SERIALIZABILITY IN PRESENCE OF FAILURES IN A HETEROGENEOUS MULTIDATABASE

2PC AGENT METHOD: ACHIEVING SERIALIZABILITY IN PRESENCE OF FAILURES IN A HETEROGENEOUS MULTIDATABASE 2PC AGENT METHOD: ACHIEVING SERIALIZABILITY IN PRESENCE OF FAILURES IN A HETEROGENEOUS MULTIDATABASE Antoni Wolski nd Jri Veijlinen Technicl Reserch Centre of Finlnd Lortory for Informtion Processing Lehtisrentie

More information

Enginner To Engineer Note

Enginner To Engineer Note Technicl Notes on using Anlog Devices DSP components nd development tools from the DSP Division Phone: (800) ANALOG-D, FAX: (781) 461-3010, EMAIL: dsp_pplictions@nlog.com, FTP: ftp.nlog.com Using n ADSP-2181

More information

Small Business Networking

Small Business Networking Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology

More information

Small Business Networking

Small Business Networking Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd business. Introducing technology

More information

COMPUTER EDUCATION TECHNIQUES, INC. (MS_W2K3_SERVER ) SA:

COMPUTER EDUCATION TECHNIQUES, INC. (MS_W2K3_SERVER ) SA: In order to lern which questions hve een nswered correctly: 1. Print these pges. 2. Answer the questions. 3. Send this ssessment with the nswers vi:. FAX to (212) 967-3498. Or. Mil the nswers to the following

More information

Creating Flexible Interfaces. Friday, 24 April 2015

Creating Flexible Interfaces. Friday, 24 April 2015 Creting Flexible Interfces 1 Requests, not Objects Domin objects re esy to find but they re not t the design center of your ppliction. Insted, they re trp for the unwry. Sequence digrms re vehicle for

More information

Lecture 10 Evolutionary Computation: Evolution strategies and genetic programming

Lecture 10 Evolutionary Computation: Evolution strategies and genetic programming Lecture 10 Evolutionry Computtion: Evolution strtegies nd genetic progrmming Evolution strtegies Genetic progrmming Summry Negnevitsky, Person Eduction, 2011 1 Evolution Strtegies Another pproch to simulting

More information

Scenarios. VMware Validated Design 4.0 VMware Validated Design for IT Automating IT 4.0

Scenarios. VMware Validated Design 4.0 VMware Validated Design for IT Automating IT 4.0 Scenrios VMwre Vlidted Design 4.0 VMwre Vlidted Design for IT Automting IT 4.0 Scenrios You cn find the most up-to-dte technicl documenttion on the VMwre wesite t: https://docs.vmwre.com/ If you hve comments

More information

Preserving Constraints for Aggregation Relationship Type Update in XML Document

Preserving Constraints for Aggregation Relationship Type Update in XML Document Preserving Constrints for Aggregtion Reltionship Type Updte in XML Document Eric Prdede 1, J. Wenny Rhyu 1, nd Dvid Tnir 2 1 Deprtment of Computer Science nd Computer Engineering, L Trobe University, Bundoor

More information

TECHNICAL NOTE MANAGING JUNIPER SRX PCAP DATA. Displaying the PCAP Data Column

TECHNICAL NOTE MANAGING JUNIPER SRX PCAP DATA. Displaying the PCAP Data Column TECHNICAL NOTE MANAGING JUNIPER SRX PCAP DATA APRIL 2011 If your STRM Console is configured to integrte with the Juniper JunOS Pltform DSM, STRM cn receive, process, nd store Pcket Cpture (PCAP) dt from

More information

If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs.

If you are at the university, either physically or via the VPN, you can download the chapters of this book as PDFs. Lecture 5 Wlks, Trils, Pths nd Connectedness Reding: Some of the mteril in this lecture comes from Section 1.2 of Dieter Jungnickel (2008), Grphs, Networks nd Algorithms, 3rd edition, which is ville online

More information

Lexical Analysis: Constructing a Scanner from Regular Expressions

Lexical Analysis: Constructing a Scanner from Regular Expressions Lexicl Anlysis: Constructing Scnner from Regulr Expressions Gol Show how to construct FA to recognize ny RE This Lecture Convert RE to n nondeterministic finite utomton (NFA) Use Thompson s construction

More information

Compiler Construction D7011E

Compiler Construction D7011E Compiler Construction D7011E Lecture 3: Lexer genertors Viktor Leijon Slides lrgely y John Nordlnder with mteril generously provided y Mrk P. Jones. 1 Recp: Hndwritten Lexers: Don t require sophisticted

More information

Systems I. Logic Design I. Topics Digital logic Logic gates Simple combinational logic circuits

Systems I. Logic Design I. Topics Digital logic Logic gates Simple combinational logic circuits Systems I Logic Design I Topics Digitl logic Logic gtes Simple comintionl logic circuits Simple C sttement.. C = + ; Wht pieces of hrdwre do you think you might need? Storge - for vlues,, C Computtion

More information

Discussion 1 Recap. COP4600 Discussion 2 OS concepts, System call, and Assignment 1. Questions. Questions. Outline. Outline 10/24/2010

Discussion 1 Recap. COP4600 Discussion 2 OS concepts, System call, and Assignment 1. Questions. Questions. Outline. Outline 10/24/2010 COP4600 Discussion 2 OS concepts, System cll, nd Assignment 1 TA: Hufeng Jin hj0@cise.ufl.edu Discussion 1 Recp Introduction to C C Bsic Types (chr, int, long, flot, doule, ) C Preprocessors (#include,

More information

ARCHITECTURES FOR TESTING DISTRIBUTED SYSTEMS

ARCHITECTURES FOR TESTING DISTRIBUTED SYSTEMS 1 ARCHITECTURES FOR TESTING DISTRIBUTED SYSTEMS Andres Ulrich, Hrtmut König Siemens AG, Corporte Technology, ZT SE 1, 81739 München, Germny E-mil: ndres.ulrich@mchp.siemens.de BTU Cottus, Deprtment of

More information

Tixeo compared to other videoconferencing solutions

Tixeo compared to other videoconferencing solutions compred to other videoconferencing solutions for V171026EN , unique solution on the video conferencing field Adobe Connect Web RTC Vydio for High security level, privcy Zero impct on network security policies

More information

McAfee Network Security Platform

McAfee Network Security Platform 10/100/1000 Copper Active Fil-Open Bypss Kit Guide Revision E McAfee Network Security Pltform This document descries the contents nd how to instll the McAfee 10/100/1000 Copper Active Fil-Open Bypss Kit

More information

Epson Projector Content Manager Operation Guide

Epson Projector Content Manager Operation Guide Epson Projector Content Mnger Opertion Guide Contents 2 Introduction to the Epson Projector Content Mnger Softwre 3 Epson Projector Content Mnger Fetures... 4 Setting Up the Softwre for the First Time

More information

M-Historian and M-Trend

M-Historian and M-Trend Product Bulletin Issue Dte June 18, 2004 M-Historin nd The M-Historin mnges the collection nd rchiving of trend dt, nd enles the presenttion of rchived trend dt in the ssocited softwre component. M-Historin

More information

Small Business Networking

Small Business Networking Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology

More information

Improper Integrals. October 4, 2017

Improper Integrals. October 4, 2017 Improper Integrls October 4, 7 Introduction We hve seen how to clculte definite integrl when the it is rel number. However, there re times when we re interested to compute the integrl sy for emple 3. Here

More information

Spectral Analysis of MCDF Operations in Image Processing

Spectral Analysis of MCDF Operations in Image Processing Spectrl Anlysis of MCDF Opertions in Imge Processing ZHIQIANG MA 1,2 WANWU GUO 3 1 School of Computer Science, Northest Norml University Chngchun, Jilin, Chin 2 Deprtment of Computer Science, JilinUniversity

More information

A Scalable and Reliable Mobile Agent Computation Model

A Scalable and Reliable Mobile Agent Computation Model A Sclble nd Relible Mobile Agent Computtion Model Yong Liu, Congfu Xu, Zhohui Wu, nd Yunhe Pn College of Computer Science, Zhejing University Hngzhou 310027, Chin cckffe@yhoo.com.cn Abstrct. This pper

More information

A Formalism for Functionality Preserving System Level Transformations

A Formalism for Functionality Preserving System Level Transformations A Formlism for Functionlity Preserving System Level Trnsformtions Smr Abdi Dniel Gjski Center for Embedded Computer Systems UC Irvine Center for Embedded Computer Systems UC Irvine Irvine, CA 92697 Irvine,

More information

Operational Verification. 21 AUG 2018 VMware Validated Design 4.3 VMware Validated Design for Software-Defined Data Center 4.3

Operational Verification. 21 AUG 2018 VMware Validated Design 4.3 VMware Validated Design for Software-Defined Data Center 4.3 Opertionl Verifiction 21 AUG 2018 VMwre Vlidted Design 4.3 VMwre Vlidted Design for Softwre-Defined Dt Center 4.3 Opertionl Verifiction You cn find the most up-to-dte technicl documenttion on the VMwre

More information

Small Business Networking

Small Business Networking Why network is n essentil productivity tool for ny smll business Effective technology is essentil for smll businesses looking to increse the productivity of their people nd processes. Introducing technology

More information

Polycom RealPresence Media Editor Quick Start

Polycom RealPresence Media Editor Quick Start Polycom RelPresence Medi Editor Quick Strt Version 5.5 Novemer 2011 3725-75201-001/A Trdemrk Informtion Polycom, the Polycom Tringles logo, nd the nmes nd mrks ssocited with Polycom s products re trdemrks

More information

A Heuristic Approach for Discovering Reference Models by Mining Process Model Variants

A Heuristic Approach for Discovering Reference Models by Mining Process Model Variants A Heuristic Approch for Discovering Reference Models by Mining Process Model Vrints Chen Li 1, Mnfred Reichert 2, nd Andres Wombcher 3 1 Informtion System Group, University of Twente, The Netherlnds lic@cs.utwente.nl

More information

The Greedy Method. The Greedy Method

The Greedy Method. The Greedy Method Lists nd Itertors /8/26 Presenttion for use with the textook, Algorithm Design nd Applictions, y M. T. Goodrich nd R. Tmssi, Wiley, 25 The Greedy Method The Greedy Method The greedy method is generl lgorithm

More information

IZT DAB ContentServer, IZT S1000 Testing DAB Receivers Using ETI

IZT DAB ContentServer, IZT S1000 Testing DAB Receivers Using ETI IZT DAB ContentServer, IZT S1000 Testing DAB Receivers Using ETI Appliction Note Rel-time nd offline modultion from ETI files Generting nd nlyzing ETI files Rel-time interfce using EDI/ETI IZT DAB CONTENTSERVER

More information

Definition of Regular Expression

Definition of Regular Expression Definition of Regulr Expression After the definition of the string nd lnguges, we re redy to descrie regulr expressions, the nottion we shll use to define the clss of lnguges known s regulr sets. Recll

More information

Enhancing Workflow Data Interaction Patterns by a Transaction Model

Enhancing Workflow Data Interaction Patterns by a Transaction Model Enhncing Workflow Dt Interction Ptterns by Trnsction Model Sebstin Schick, Holger Meyer, nd Andres Heuer Dtbse Reserch Group University of Rostock {schick,hme,heuer}@informtik.uni-rostock.de Abstrct. Todys

More information

Lexical Analysis. Amitabha Sanyal. (www.cse.iitb.ac.in/ as) Department of Computer Science and Engineering, Indian Institute of Technology, Bombay

Lexical Analysis. Amitabha Sanyal. (www.cse.iitb.ac.in/ as) Department of Computer Science and Engineering, Indian Institute of Technology, Bombay Lexicl Anlysis Amith Snyl (www.cse.iit.c.in/ s) Deprtment of Computer Science nd Engineering, Indin Institute of Technology, Bomy Septemer 27 College of Engineering, Pune Lexicl Anlysis: 2/6 Recp The input

More information

IaaS Configuration for Virtual Platforms

IaaS Configuration for Virtual Platforms IS Configurtion for Virtul Pltforms vcloud Automtion Center 6.1 This document supports the version of ech product listed nd supports ll susequent versions until the document is replced y new edition. To

More information

Midterm 2 Sample solution

Midterm 2 Sample solution Nme: Instructions Midterm 2 Smple solution CMSC 430 Introduction to Compilers Fll 2012 November 28, 2012 This exm contins 9 pges, including this one. Mke sure you hve ll the pges. Write your nme on the

More information

vcloud Director Service Provider Admin Portal Guide 04 OCT 2018 vcloud Director 9.5

vcloud Director Service Provider Admin Portal Guide 04 OCT 2018 vcloud Director 9.5 vcloud Director Service Provider Admin Portl Guide 04 OCT 208 vcloud Director 9.5 You cn find the most up-to-dte technicl documenttion on the VMwre website t: https://docs.vmwre.com/ If you hve comments

More information

2014 Haskell January Test Regular Expressions and Finite Automata

2014 Haskell January Test Regular Expressions and Finite Automata 0 Hskell Jnury Test Regulr Expressions nd Finite Automt This test comprises four prts nd the mximum mrk is 5. Prts I, II nd III re worth 3 of the 5 mrks vilble. The 0 Hskell Progrmming Prize will be wrded

More information

HP Unified Functional Testing

HP Unified Functional Testing HP Unified Functionl Testing Softwre Version: 11.50 Enter the operting system(s), e.g. Windows Tutoril for GUI Testing Document Relese Dte: Decemer 2012 Softwre Relese Dte: Decemer 2012 Legl Notices Wrrnty

More information

OUTPUT DELIVERY SYSTEM

OUTPUT DELIVERY SYSTEM Differences in ODS formtting for HTML with Proc Print nd Proc Report Lur L. M. Thornton, USDA-ARS, Animl Improvement Progrms Lortory, Beltsville, MD ABSTRACT While Proc Print is terrific tool for dt checking

More information

VoIP for the Small Business

VoIP for the Small Business Reducing your telecommunictions costs Reserch firm IDC 1 hs estimted tht VoIP system cn reduce telephony-relted expenses by 30%. Voice over Internet Protocol (VoIP) hs become vible solution for even the

More information

Unit #9 : Definite Integral Properties, Fundamental Theorem of Calculus

Unit #9 : Definite Integral Properties, Fundamental Theorem of Calculus Unit #9 : Definite Integrl Properties, Fundmentl Theorem of Clculus Gols: Identify properties of definite integrls Define odd nd even functions, nd reltionship to integrl vlues Introduce the Fundmentl

More information

CS 430 Spring Mike Lam, Professor. Parsing

CS 430 Spring Mike Lam, Professor. Parsing CS 430 Spring 2015 Mike Lm, Professor Prsing Syntx Anlysis We cn now formlly descrie lnguge's syntx Using regulr expressions nd BNF grmmrs How does tht help us? Syntx Anlysis We cn now formlly descrie

More information

pdfapilot Server 2 Manual

pdfapilot Server 2 Manual pdfpilot Server 2 Mnul 2011 by clls softwre gmbh Schönhuser Allee 6/7 D 10119 Berlin Germny info@cllssoftwre.com www.cllssoftwre.com Mnul clls pdfpilot Server 2 Pge 2 clls pdfpilot Server 2 Mnul Lst modified:

More information

CSc 453. Compilers and Systems Software. 4 : Lexical Analysis II. Department of Computer Science University of Arizona

CSc 453. Compilers and Systems Software. 4 : Lexical Analysis II. Department of Computer Science University of Arizona CSc 453 Compilers nd Systems Softwre 4 : Lexicl Anlysis II Deprtment of Computer Science University of Arizon collerg@gmil.com Copyright c 2009 Christin Collerg Implementing Automt NFAs nd DFAs cn e hrd-coded

More information

Slides for Data Mining by I. H. Witten and E. Frank

Slides for Data Mining by I. H. Witten and E. Frank Slides for Dt Mining y I. H. Witten nd E. Frnk Simplicity first Simple lgorithms often work very well! There re mny kinds of simple structure, eg: One ttriute does ll the work All ttriutes contriute eqully

More information

What are suffix trees?

What are suffix trees? Suffix Trees 1 Wht re suffix trees? Allow lgorithm designers to store very lrge mount of informtion out strings while still keeping within liner spce Allow users to serch for new strings in the originl

More information

On components with explicit protocols satisfying a notion of correctness by construction

On components with explicit protocols satisfying a notion of correctness by construction On components with explicit protocols stisfying notion of correctness by construction Andrés Frís nd Mrio Südholt Déprtement Informtique École des Mines de Nntes 4, rue Alfred Kstler BP 20722 F-44307 Nntes

More information

Mobile IP route optimization method for a carrier-scale IP network

Mobile IP route optimization method for a carrier-scale IP network Moile IP route optimiztion method for crrier-scle IP network Tkeshi Ihr, Hiroyuki Ohnishi, nd Ysushi Tkgi NTT Network Service Systems Lortories 3-9-11 Midori-cho, Musshino-shi, Tokyo 180-8585, Jpn Phone:

More information

Monitoring and Alerting. 19 SEP 2017 VMware Validated Design 4.1 VMware Validated Design for Software-Defined Data Center 4.1

Monitoring and Alerting. 19 SEP 2017 VMware Validated Design 4.1 VMware Validated Design for Software-Defined Data Center 4.1 Monitoring nd ing 19 SEP 2017 VMwre Vlidted Design 4.1 VMwre Vlidted Design for Softwre-Defined Dt Center 4.1 Monitoring nd ing You cn find the most up-to-dte technicl documenttion on the VMwre wesite

More information

Scanner Termination. Multi Character Lookahead. to its physical end. Most parsers require an end of file token. Lex and Jlex automatically create an

Scanner Termination. Multi Character Lookahead. to its physical end. Most parsers require an end of file token. Lex and Jlex automatically create an Scnner Termintion A scnner reds input chrcters nd prtitions them into tokens. Wht hppens when the end of the input file is reched? It my be useful to crete n Eof pseudo-chrcter when this occurs. In Jv,

More information

VoIP for the Small Business

VoIP for the Small Business Reducing your telecommunictions costs Reserch firm IDC 1 hs estimted tht VoIP system cn reduce telephony-relted expenses by 30%. Voice over Internet Protocol (VoIP) hs become vible solution for even the

More information

vcloud Director Tenant Portal Guide vcloud Director 9.0

vcloud Director Tenant Portal Guide vcloud Director 9.0 vcloud Director Tennt Portl Guide vcloud Director 9.0 vcloud Director Tennt Portl Guide You cn find the most up-to-dte technicl documenttion on the VMwre We site t: https://docs.vmwre.com/ The VMwre We

More information

Data sharing in OpenMP

Data sharing in OpenMP Dt shring in OpenMP Polo Burgio polo.burgio@unimore.it Outline Expressing prllelism Understnding prllel threds Memory Dt mngement Dt cluses Synchroniztion Brriers, locks, criticl sections Work prtitioning

More information

Scenarios. VMware Validated Design for IT Automating IT EN

Scenarios. VMware Validated Design for IT Automating IT EN Scenrios VMwre Vlidted Design for IT Automting IT 3.0.2 This document supports the version of ech product listed nd supports ll susequent versions until the document is replced y new edition. To check

More information

Implementing Automata. CSc 453. Compilers and Systems Software. 4 : Lexical Analysis II. Department of Computer Science University of Arizona

Implementing Automata. CSc 453. Compilers and Systems Software. 4 : Lexical Analysis II. Department of Computer Science University of Arizona Implementing utomt Sc 5 ompilers nd Systems Softwre : Lexicl nlysis II Deprtment of omputer Science University of rizon collerg@gmil.com opyright c 009 hristin ollerg NFs nd DFs cn e hrd-coded using this

More information

Monitoring and Alerting. 27 MAR 2018 VMware Validated Design 4.2 VMware Validated Design for Software-Defined Data Center 4.2

Monitoring and Alerting. 27 MAR 2018 VMware Validated Design 4.2 VMware Validated Design for Software-Defined Data Center 4.2 Monitoring nd ing 27 MAR 2018 VMwre Vlidted Design 4.2 VMwre Vlidted Design for Softwre-Defined Dt Center 4.2 Monitoring nd ing You cn find the most up-to-dte technicl documenttion on the VMwre wesite

More information

Lecture Overview. Knowledge-based systems in Bioinformatics, 1MB602. Procedural abstraction. The sum procedure. Integration as a procedure

Lecture Overview. Knowledge-based systems in Bioinformatics, 1MB602. Procedural abstraction. The sum procedure. Integration as a procedure Lecture Overview Knowledge-bsed systems in Bioinformtics, MB6 Scheme lecture Procedurl bstrction Higher order procedures Procedures s rguments Procedures s returned vlues Locl vribles Dt bstrction Compound

More information

Languages. L((a (b)(c))*) = { ε,a,bc,aa,abc,bca,... } εw = wε = w. εabba = abbaε = abba. (a (b)(c)) *

Languages. L((a (b)(c))*) = { ε,a,bc,aa,abc,bca,... } εw = wε = w. εabba = abbaε = abba. (a (b)(c)) * Pln for Tody nd Beginning Next week Interpreter nd Compiler Structure, or Softwre Architecture Overview of Progrmming Assignments The MeggyJv compiler we will e uilding. Regulr Expressions Finite Stte

More information

INTRODUCTION TO SIMPLICIAL COMPLEXES

INTRODUCTION TO SIMPLICIAL COMPLEXES INTRODUCTION TO SIMPLICIAL COMPLEXES CASEY KELLEHER AND ALESSANDRA PANTANO 0.1. Introduction. In this ctivity set we re going to introduce notion from Algebric Topology clled simplicil homology. The min

More information

VoIP for the Small Business

VoIP for the Small Business Reducing your telecommunictions costs Reserch firm IDC 1 hs estimted tht VoIP system cn reduce telephony-relted expenses by 30%. Voice over Internet Protocol (VoIP) hs become vible solution for even the

More information

An Expressive Hybrid Model for the Composition of Cardinal Directions

An Expressive Hybrid Model for the Composition of Cardinal Directions An Expressive Hyrid Model for the Composition of Crdinl Directions Ah Lin Kor nd Brndon Bennett School of Computing, University of Leeds, Leeds LS2 9JT, UK e-mil:{lin,brndon}@comp.leeds.c.uk Astrct In

More information

Graphs with at most two trees in a forest building process

Graphs with at most two trees in a forest building process Grphs with t most two trees in forest uilding process rxiv:802.0533v [mth.co] 4 Fe 208 Steve Butler Mis Hmnk Mrie Hrdt Astrct Given grph, we cn form spnning forest y first sorting the edges in some order,

More information