Methods for the specification and verification of business processes MPB (6 cfu, 295AA)
|
|
- Maryann Houston
- 8 years ago
- Views:
Transcription
1 Methods fo the specification and veification of business pocesses MPB (6 cfu, 295AA) Robeto Buni Business pocess execution language 1
2 Object We oveview the key featues of BPEL 2
3 3
4 BPEL 4
5 Business pocess execution language Also known as: Web Sevices Business Pocess Execution Language (WS-BPEL) Business Pocess Execution Language fo Web Sevices (BPEL4WS) it is a standad executable language fo ochestating the use of Web Sevice within business pocesses it deals with impot / expot infomation, emote invocation, coelation, fault handling, compensation 5
6 Web sevices Web sevices fix a standad fo inteopeability between heteogeneous, loosely coupled, emote softwae applications (sepaately developed, unning on diffeent platfoms) ove (not only) the HTTP potocol Infomally: web sevices ae fo softwae what web sites ae fo human 6
7 WS basics Sevices must be made available on the web (need a seve) Sevices must be advetised ove the web (need some epositoies) Sevice epositoies must be queied (need sevice desciption) Sevices must be invoked (need standad communication fomat) 7
8 MLification WSFL, BPEL, Sevice composition UDDI { Sevice discovey Sevice publication WSDL SOAP Sevice desciption ML based messaging HTTP, HTTPS, SMTP Netwok 8
9 WS-* 9
10 Web Sevices Standads Oveview Inteopeability Issues Basic Pofile 11 WS-I Final Specification Basic Pofile The Basic Pofile 11 povides implementation guidelines fo how elated set of nonpopietay Web Sevice specifications should be used togethe fo best inteopeability Basic Pofile 12 WS-I Woking Goup Daft Basic Pofile The Basic Pofile 12 builds on Basic Pofile 11 by incopoating Basic Pofile 11 eata, equiements fom Simple SOAP Binding Pofile 10, and adding suppot fo WS-Addessing and MTOM Basic Pofile 20 WS-I Woking Goup Daft Basic Pofile The Basic Pofile 20 is an update of WS-I BP that includes a pofile of SOAP 12 Basic Secuity Pofile 10 WS-I Boad Appoval Daft Basic Secuity Pofile defines the WS-I Basic Secuity Pofile 10, based on a set of non-popietay Web sevices specifications, along with claifications and amendments to those specifications which pomote inteopeability REL Token Pofile 10 WS-I Woking Goup Daft REL Token Pofile is based on a non-popietay Web sevices specification, along with claifications and amendments to that specification which pomote inteopeability SAML Token Pofile 10 WS-I Woking Goup Daft SAML Token Pofile is based on a non-popietay Web sevices specification, along with claifications and amendments to that specification which pomote inteopeability Confomance Claim Attachment Mechanism (CCAM) 10 WS-I Final Specification Confomance Claim Attachment Mechanism (CCAM) catalogues mechanisms that can be used to attach WS-I Pofile Confomance Claims to Web sevices atefacts (eg, WSDL desciptions, UDDI egisties) Reliable Asynchonous Messaging Pofile (RAMP) 10 WS-I Woking Daft Reliable Asynchonous Messaging Pofile (RAMP) is a pofile, in the fashion of the WS-I pofiles, that enables, among othe things, basic B2B integation scenaios using Web sevices technologies Standads Bodies Attachments Pofile 10 WS-I Final Specification Attachments Pofile The Attachment Pofile 10 complements the Basic Pofile 11 to add suppot fo inteopeable SOAP Messages with attachments-based Web Sevices Simple SOAP Binding Pofile 10 WS-I Final Specification Simple SOAP Binding Pofile The Simple SOAP Binding Pofile consists of those Basic Pofile 10 equiements elated to the seialization of the envelope and its epesentation in the message Business Pocess Specifications Business Pocess Execution Language fo Web Sevices 11 (BPEL4WS) 11 BEA Systems, IBM, Micosoft, SAP, Siebel Systems OASIS-Standad Business Pocess Execution Language fo Web Sevices 11(BPEL4WS) povides a language fo the fomal specification of business pocesses and business inteaction potocols using Web Sevices Business Pocess Execution Language fo Web Sevices 20 (BPEL4WS) 20 OASIS, BEA Systems, IBM, Micosoft, SAP, Siebel Systems Committee Daft Business Pocess Execution Language fo Web Sevices 20 (BPEL4WS) povides a language fo the fomal specification of business pocesses and business inteaction potocols using Web Sevices Metadata Specifications WS-Policy 15 W3C Woking Daft WS-Policy descibes the capabilities and constaints of the policies on intemediaies and endpoints (eg business ules, equied secuity tokens, suppoted encyption algoithms, pivacy ules) WS-PolicyAttachment 12 W3C W3C Membe Submission WS-PolicyAttachment defines two geneal-pupose mechanisms fo associating policies with the subjects to which they apply; the policies may be defined as pat of existing metadata about the subject o the policies may be defined independently and associated though an extenal binding to the subject WS-MetadataExchange 11 BEA Systems, Compute Associates, IBM, Micosoft, SAP, Sun Micosystems and webmethods Public Daft WS-MetadataExchange enables a sevice to povide metadata to othes though a Web sevices inteface Given only a efeence to a Web sevice, a use can access a set of WSDL /SOAP opeations to etieve the metadata that descibes the sevice Web Sevice Desciption Language 20 SOAP Binding 20 W3C Woking Daft Web Sevice Desciption Language SOAP Binding descibes the concete details fo using WSDL 20 in conjunction with SOAP 11 potocol Web Sevice Desciption Language W3C Note Web Sevice Desciption Language 11 is an ML-based language fo descibing Web sevices and how to access them It specifies the location of the sevice and the opeations (o methods) the sevice exposes WS-PolicyAssetions 11 BEA Systems, IBM, Micosoft, SAP Public Daft WS-PolicyAssetions povides an initial set of assetions to addess some common needs of Web Sevices applications WS-Discovey Micosoft, BEA Systems, Canon, Intel and webmethods Daft WS-Discovey defines a multicast discovey potocol fo dynamic discovey of sevices on ad-hoc and managed netwoks Univesal Desciption, Discovey and Integation (UDDI) 302 OASIS OASIS-Standad Univesal Desciption, Discovey and Integation (UDDI) defines a set of sevices suppoting the desciption and discovey of businesses, oganizations, and othe Web sevices povides, the Web sevices they make available, and the technical intefaces which may be used to access those sevices Web Sevice Desciption Language 20 Coe 20 W3C Candidate Recommendation Messaging Specifications WS-Notification 13 OASIS OASIS-Standad WS-Enumeation Systinet, Micosoft, Sonic Softwae, BEA Systems and Compute Associates Public Daft WS-Choeogaphy Model Oveview 10 W3C WS-Notification is a family of elated white papes and specifications that define a standad Web sevices appoach to notification using a topicbased publish/subscibe patten WS-Enumeation descibes a geneal SOAP-based potocol fo enumeating a sequence of ML elements that is suitable fo tavesing logs, message queues, o othe linea infomation models Woking Daft WS-Choeogaphy Model Oveview defines the fomat and stuctue of the (SOAP) messages that ae exchanged, and the sequence and conditions in which the messages ae exchanged Business Pocess Management Language (BPML) 11 BPMIog Final Daft Business Pocess Management Language (BPML) povides a meta-language fo expessing business pocesses and suppoting entities Web Sevice Desciption Language 20 Coe is an MLbased language fo descibing Web sevices and how to access them It specifies the location of the sevice and the opeations (o methods) the sevice exposes WS-BokeedNotification 13 OASIS OASIS-Standad WS-Topics 13 OASIS OASIS-Standad Web Sevice Choeogaphy Inteface (WSCI) 10 W3C Sun Micosystems, SAP, BEA Systems and Intalio Note Web Sevice Choeogaphy Inteface (WSCI) descibes how Web Sevice opeations can be choeogaphed in the context of a message exchange in which the Web Sevice paticipates ML Pocess Definition Language (PDL) 20 Final ML Pocess Definition Language (PDL) povides an ML file fomat that can be used to intechange pocess models between tools Reliability Specifications WS-BokeedNotification defines the inteface fo the NotificationBoke A NotificationBoke is an intemediay, which, among othe things, allows publication of messages fom entities that ae not themselves sevice povides WS-Topics defines thee topic expession dialects that can be used as subsciption expessions in subscibe equest messages and othe pats of the WS-Notification system Web Sevice Choeogaphy Desciption Language (CDL4WS) 10 W3C Web Sevice Choeogaphy Desciption Language (CDL4WS) is to specify a declaative, ML based language that defines fom a global viewpoint the common and complementay obsevable behaviou, whee message exchanges occu, and when the jointly ageed odeing ules ae satisfied WS-ReliableMessaging 11 OASIS Committee Daft Candidate Recommendation WS-ReliableMessaging descibes a potocol that allows Web sevices to communicate eliable in the pesence of softwae component, system, o netwok failues It defines a SOAP binding that is equied fo inteopeability WS-Reliable Messaging Policy Assetion (WS-RM Policy) 11 OASIS Committee Daft Web Sevices ReliableMessaging Policy Assetion (WS-RM Policy) descibes a domain-specific policy assetion fo WS-ReliableMessaging that that can be specified within a policy altenative as defined in WS-Policy Famewok WS-Reliability 11 OASIS OASIS-Standad WS-Reliability is a SOAP-based potocol fo exchanging SOAP messages with guaanteed delivey, no duplicates, and guaanteed message odeing WS-Reliability is defined as SOAP heade extensions and is independent of the undelying potocol This specification contains a binding to HTTP WS-BaseNotification 13 OASIS OASIS-Standad WS-BaseNotification standadizes the teminology, concepts, opeations, WSDL and ML needed to expess the basic oles involved in Web sevices publish and subscibe fo notification message exchange Management Specifications Secuity Specifications WS-Secuity 11 OASIS OASIS-Standad WS-Secuity is a communications potocol poviding a means fo applying secuity to Web Sevices WS-Secuity: SOAP Message Secuity 11 OASIS Public Review Daft WS-Secuity: SOAP Message Secuity descibes enhancements to SOAP messaging to povide message integity and confidentiality Specifically, this specification povides suppot fo multiple secuity token fomats, tust domains, signatue fomats and encyption technologies The token fomats and semantics fo using these ae defined in the associated pofile documents WS-Secuity: Kebeos Binding 10 Micosoft, IBM, OASIS Woking Daft WS-Secuity: SAML Token Pofile 11 OASIS Public Review Daft WS-Secuity: SAML Token Pofile defines the use of Secuity Assetion Makup Language (SAML) v11 assetions in the context of WSS: SOAP Message Secuity including fo the pupose of secuing SOAP messages and SOAP message exchanges WS-Secuity: 509 Cetificate Token Pofile 11 OASIS Public Review Daft Management Using Web Sevices (WSDM-MUWS) 10 OASIS OASIS-Standad Web Sevice Distibuted Management: Management Using Web Sevices (WSDM-MUWS) defines how an IT esouce connected to a netwok povides manageability intefaces such that the IT esouce can be managed locally and fom emote locations using Web sevices technologies Sevice Modeling Language IBM, BEA, BMC, Cisco, Dell, HP, Intel, Micosoft, Sun Daft Specification Sevcie Modeling Language (SML) is used to model complex IT sevices and systems, including thei stuctue, constaints, policies, and best pactices WS-Secuity: Kebeos Binding defines how to encode Kebeos tickets and attach them to SOAP messages As well, it specifies how to add signatues and encyption to the SOAP message, in accodance with WS-Secuity, which uses and efeences the Kebeos tokens WS-Secuity: 509 Cetificate Token Pofile descibes the use of the 509 authentication famewok with the WS-Secuity: SOAP Message Secuity specification WS-Eventing W3C Public Daft WS-Addessing WSDL Binding 10 W3C Candidate Recommendation WS-SecuityPolicy 11 IBM, Micosoft, RSA Secuity, VeiSign Public Daft WS-SecuityPolicy defines how to descibe policies elated to vaious featues defined in the WS-Secuity specification WS-Secuity: Usename Token Pofile 11 OASIS Public Review Daft WS-Secuity: Usename Token Pofile descibes how a Web Sevice consume can supply a Usename Token as a means of identifying the equesto by usename, and optionally using a passwod (o shaed secet, etc) to authenticate that identity to the Web Sevice poduce WS-Fedeation 10 IBM, Micosoft, BEA Systems, RSA Secuity, and VeiSign Initial Daft WS-Fedeation descibes how to manage and boke the tust elationships in a heteogeneous fedeated envionment including suppot fo fedeated identities WS-Tust BEA Systems, Compute Associates, IBM, Laye 7 Technologies, Micosoft, Netegity, Oblix, OpenNetwok, Ping Identity Copoation, Reactivity, RSA Secuity, VeiSign and Westbidge Technology Initial Daft WS-SecueConvesation BEA Systems, Compute Associates, IBM, Laye 7 Technologies, Micosoft, Netegity, Oblix, OpenNetwok, Ping Identity Copoation, Reactivity, RSA Secuity, VeiSign and Westbidge Technology Public Daft WS-SecueConvesation specifies how to manage and authenticate message exchanges between paties including secuity context exchange and establishing and deiving session keys Management Of Web Sevices (WSDM-MOWS) 10 OASIS OASIS-Standad Web Sevice Distibuted Management: Management Of Web Sevices (WSDM-MOWS) addesses management of the components that fom the netwok, the Web sevices endpoints, using Web sevices potocols WS-Tust descibes a famewok fo tust models that enables Web Sevices to secuely inteopeate It uses WS-Secuity base mechanisms and defines additional pimitives and extensions fo secuity token exchange to enable the issuance and dissemination of cedentials within diffeent tust domains WS-Eventing defines a baseline set of opeations that allow Web sevices to povide asynchonous notifications to inteested paties WS-Addessing WSDL Binding defines how the abstact popeties defined in Web Sevices Addessing Coe ae descibed using WSDL WS-Addessing Coe 10 W3C Recommendation WS-Addessing SOAP Binding 10 W3C Recommendation WS-Management AMD, Dell, Intel, Micosoft and Sun Micosystems Published Specification WS-Management descibes a geneal SOAP-based potocol fo managing systems such as PCs, seves, devices, Web sevices and othe applications, and othe manageable entities Tansaction Specifications WS-Coodination 11 OASIS Woking Daft WS-Coodination descibes an extensible famewok fo poviding potocols that coodinate the actions of distibuted applications WS-Business Activity 11 OASIS Woking Daft WS-Business Activity povides the definition of the business activity coodination type that is to be used with the extensible coodination famewok descibed in the WS-Coodination specification WS-Atomic Tansaction 11 OASIS Committee Daft WS-Atomic Tansaction defines potocols that enable existing tansaction pocessing systems to wap thei popietay potocols and inteopeate acoss diffeent hadwae and softwae vendos WS-Composite Application Famewok (WS-CAF) 10 Ajuna Technologies, Fujitsu, IONA, Oacle and Sun Micosystems Committee Specification WS-Composite Application Famewok (WS-CAF) is a collection of thee specifications aimed at solving poblems that aise when multiple Web Sevices ae used in combination It poposes standad, inteopeable mechanisms fo managing shaed context and ensuing business pocesses achieve pedictable esults and ecovey fom failue WS-Context (WS-CT) 10 Ajuna Technologies, Fujitsu, IONA, Oacle and Sun Micosystems Committee Daft WS-Context (WS-CT) is intended as a lightweight mechanism fo allowing multiple Web Sevices to shae a common context WS-Coodination Famewok (WS-CF) 10 Ajuna Technologies, Fujitsu, IONA, Oacle and Sun Micosystems Committee Daft WS-Coodination Famewok (WS-CF) allows the management and coodination in a Web Sevices inteaction of a numbe of activities elated to an oveall application WS-Tansaction Management (WS-TM) 10 Ajuna Technologies, Fujitsu, IONA, Oacle and Sun Micosystems Committee Daft WS-Tansaction Management (WS-TM) defines a coe infastuctue sevice consisting of a Tansaction Sevice fo Web Sevices WS-Addessing Coe povides tanspot-neutal mechanisms to addess Web sevices and messages This specification defines ML elements to identify Web sevice endpoints and to secue end-to-end endpoint identification in messages WS-Addessing SOAP Binding povides tanspotneutal mechanisms to addess Web sevices and messages SOAP SOAP 12 W3C Recommendation SOAP 11 W3C Note Pesentation Specifications Web Sevices fo Remote Potlets (WSRP) 20 OASIS Committee Daft Web Sevices fo Remote Potlets (WSRP) defines a set of intefaces and elated semantics which standadize inteactions with components poviding use-facing makup, including the pocessing of use inteactions with that makup Resouce Specifications SOAP Message Tansmission Optimization Mechanism (MTOM) 10 W3C Recommendation SOAP is a lightweight, ML-based potocol fo exchange of infomation in a decentalized, distibuted envionment Web Sevices Resouce Famewok (WSRF) 12 OASIS OASIS-Standad Web Sevices Resouce Famewok (WSRF) defines a family of specifications fo accessing stateful esouces using Web Sevices WS-BaseFaults (WSRF) 12 OASIS Woking Daft WS-BaseFaults (WSRF) defines a base set of infomation that may appea in fault messages WS-BaseFaults defines an ML schema type fo base faults, along with ules fo how this base fault type is used and extended by Web Sevices WS-SeviceGoup (WSRF) 12 OASIS Woking Daft WS-SeviceGoup (WSRF) defines a means by which Web Sevices and WS-Resouces can be aggegated o gouped togethe fo a domain specific pupose WS-ResoucePopeties 12 OASIS Woking Daft WS-ResoucePopeties specifies the means by which the definition of the popeties of a WS-Resouce may be declaed as pat of the Web Sevice inteface The declaation of the WS-Resouce popeties epesents a pojection of o a view on the WS-Resouce state WS-ResouceLifetime 12 OASIS Woking Daft WS-ResouceLifetime is to standadize the teminology, concepts, message exchanges, WSDL and ML needed to monito the lifetime of, and destoy WS-Resouces Additionally, it defines esouce popeties that may be used to inspect and monito the lifetime of a WS-Resouce WS-Tansfe W3C W3C Membe Submission WS-Tansfe descibes a geneal SOAP-based potocol fo accessing ML epesentations of Web sevice-based esouces Resouce Repesentation SOAP Heade Block (RRSHB) W3C Recommendation Resouce Repesentation SOAP Heade Block (RRSHB) complements MTOM by defining mechanisms fo descibing and conveying non-ml esouce epesentations in a SOAP 12 message SOAP Message Tansmission Optimization Mechanism descibes an abstact featue fo optimizing the tansmission and/o wie fomat of a SOAP message Dependencies Messaging Specifications SOAP 11 SOAP 12 SOAP Message Tansmission Optimization Mechanism WS-Notification WS-BaseNotification WS-Topics WS-BokeedNotification WS-Addessing Coe WS-Addessing WSDL Binding WS-Addessing SOAP Binding WS-Eventing WS-Enumeation Metadata Specifications WS-Policy WS-PolicyAssetions WS-PolicyAttachment WS-Discovey WS-MetadataExchange Univesal Desciption, Discovey and Integation Web Sevice Desciption Language 11 Web Sevice Desciption Language 20 Coe Web Sevice Desciption Language 20 SOAP Binding Secuity Specifications WS-Secuity WS-Secuity: SOAP Message Secuity WS-Secuity: Kebeos Binding WS-Secuity: SAML Token Pofile WS-Secuity: 509 Cetificate Token Pofile WS-Secuity: Usename Token Pofile WS-SecuityPolicy WS-Tust WS-Fedeation WS-SecueConvesation Reliability Specifications WS-ReliableMessaging WS-Reliability WS-Reliable Messaging Policy Assetion Resouce Specifications Web Sevice Resouce Famewok WS-BaseFaults WS-SeviceGoup WS-ResoucePopeties WS-ResouceLifetime WS-Tansfe Resouce Repesentation SOAP Heade Block (RRSHB) Management Specifications WS-Management Management Of Web Sevices Management Using Web Sevices Sevice Modeling Language Business Pocess Specifications Business Pocess Execution Language fo Web Sevices Web Sevice Choeogaphy Desciption Language Web Sevice Choeogaphy Inteface WS-Choeogaphy Model Oveview Business Pocess Management Language Business Pocess Execution Language fo Web Sev 20 ML Pocess Definition Language Tansaction Specifications WS-Business Activity WS-Atomic Tansaction WS-Coodination WS-Composite Application Famewok WS-Tansaction Management WS-Context WS-Coodination Famewok Pesentation Specifications Web Sevices fo Remote Potlets Tansaction Tansaction Basic Pofile Reliability Resouce Secuity Secuity Messaging Secuity Secuity Messaging Metadata Metadata Messaging Metadata Resouce Meta Secuity Messaging Reliability Metadata Secuity Reliability Messaging Messaging Secuity Tansaction Reliab Secu Mess innoq Deutschland GmbH All Rights Reseved The poste may also contain efeences to othe company, oganisation, band and poduct names These company, oganisation, band and poduct names ae used heein fo identification puposes only and may be the tademaks of thei espective ownes This poste is not to be epoduced o tansmitted in any fom o fo any pupose without the expess pemission of innoq Deutschland GmbH Copyight Vesion 30 Febuay 2007 The Oganization fo the Advancement of Stuctued Infomation Standads (OASIS) is a not-fo-pofit, intenational consotium that dives the development, convegence, and adoption of e-business standads The consotium poduces moe Web sevices standads than any othe oganization along with standads fo secuity, e-business, and standadization effots in the public secto and fo application-specific makets Founded in 1993, OASIS has moe than 4,000 paticipants epesenting ove 600 oganizations and individual membes in 100 counties The Wold Wide Web Consotium (W3C) was ceated in Octobe 1994 to lead the Wold Wide Web to its full potential by developing common potocols that pomote its evolution and ensue its inteopeability W3C has ove 350 Membe oganizations fom all ove the wold and has eaned intenational ecognition fo its contibutions to the gowth of the Web W3C is designing the infastuctue, and defining the achitectue and the coe technologies fo Web sevices In Septembe 2000, W3C stated the ML Potocol Activity to addess the need fo an ML-based potocol fo application-to-application messaging In Januay 2002, the Web Sevices Activity was launched, subsuming the ML Potocol Activity and extending its scope The Web Sevices Inteopeability Oganization (WS-I) is an open industy oganization chateed to pomote Web sevices inteopeability acoss platfoms, opeating systems and pogamming languages The oganization s divese community of Web sevices leades helps customes to develop inteopeable Web sevices by poviding guidance, ecommended pactices and suppoting esouces Specifically, WS-I ceates, pomotes and suppots geneic potocols fo the inteopeable exchange of messages between Web sevices The Intenet Engineeing Task Foce (IETF) is a lage open intenational community of netwok designes, opeatos, vendos, and eseaches concened with the evolution of the Intenet achitectue and the smooth opeation of the Intenet ML Specifications ML W3C Recommendation ML Extensible Makup Language is a paed-down vesion of SGML, designed especially fo Web documents It allows one to ceate own customized tags, enabling the definition, tansmission, validation, and intepetation of data between applications and between oganizations ML W3C Recommendation ML Extensible Makup Language is a paed-down vesion of SGML, designed especially fo Web documents It allows one to ceate own customized tags, enabling the definition, tansmission, validation, and intepetation of data between applications and between oganizations Namespaces in ML 11 W3C Recommendation Namespaces in ML povides a simple method fo qualifying element and attibute names used in ML documents by associating them with namespaces identified by IRI efeences ML Infomation Set 10 W3C Recommendation ML Infomation Set is an abstact data set to povide a consistent set of definitions fo use in othe specifications that need to efe to the infomation in a well-fomed ML document ML Schema 11 W3C Woking Daft ML Schema ML Schema Definition Language is an ML language fo descibing and constaining the content of ML documents ML binay Optimized Packaging (OP) 10 W3C Recommendation ML binay Optimized Packaging (OP) is an ML language fo descibing and constaining the content of ML documents Descibing Media Content of Binay Data in ML (DMCBD) W3C Note Descibing Media Content of Binay Data in ML (DMCBD) specifies how to indicate the content-type associated with binay element content in an ML document and to specify, in ML Schema, the expected content-type(s) associated with binay element content innoq Deutschland GmbH innoq Schweiz GmbH Halskestaße 17 Gewebestasse 11 D Ratingen CH-6330 Cham Phone Phone info@innoqcom wwwinnoqcom 10
11 Bith of BPEL IBM was pushing fo a standad called WSFL Micosoft was pushing fo a technology called LANG Intalio was pushing fo BPML IBM and Micosoft meged thei effots and pushed togethe fo BPEL (a hybid WSFL+LANG) and BPEL was soon widely adopted 11
12 Life of BPEL BPEL4WS 10 (2002) by BEA, IBM, Micosoft SAP + Siebel joined the effot BPEL 11 (2003) submitted to OASIS Adobe + HP + NEC + Oacle + Sun + many moe joined WS-BPEL 20 (2005) 12
13 The poblem with BPEL BPEL is not a gaphical language BPEL is an ML dialect Machines like ML Humans being should not like ML 13
14 A typical BPEL tutoial Tun to page 4 of any BPEL tutoial (the fist couple of pages ae just a vebal intoduction) and you find the fist small example of about two pages of fomatted ML code (with all actual namespaces to avoid any misundestanding) 14
15 BPELexamplexml Page 1 of 2 BPELexamplexml Page 2 1!! ! 9! 10! 11! ! ! 24!! ! !! <pocess name="puchaseodepocess" tagetnamespace=" puchase" xmlns=" xmlns:lns=" <documentation xml:lang="en"> A simple example of a WS-BPEL pocess fo handling a puchase ode </documentation> <patnelinks> <patnelink name="puchasing" patnelinktype="lns:puchasinglt" myrole="puchasesevice" /> <patnelink name="invoicing" patnelinktype="lns:invoicinglt" myrole="invoicerequeste" patnerole="invoicesevice" /> <patnelink name="shipping" patnelinktype="lns:shippinglt" myrole="shippingrequeste" patnerole="shippingsevice" /> <patnelink name="scheduling" patnelinktype="lns:schedulinglt" patnerole="schedulingsevice" /> </patnelinks> <vaiables> <vaiable name="po" messagetype="lns:pomessage" /> <vaiable name="invoice" messagetype="lns:invmessage" /> <vaiable name="shippingrequest" messagetype="lns:shippingrequestmessage" /> <vaiable name="shippinginfo" messagetype="lns:shippinginfomessage" /> <vaiable name="shippingschedule" messagetype="lns:schedulemessage" /> </vaiables> <faulthandles> <catch faultname="lns:cannotcompleteode" faultvaiable="pofault" faultmessagetype="lns:odefaulttype"> <eply patnelink="puchasing" pottype="lns:puchaseodept" opeation="sendpuchaseode" vaiable="pofault" faultname="cannotcompleteode" /> </catch> </faulthandles> <sequence> <eceive patnelink="puchasing" pottype="lns:puchaseodept" opeation="sendpuchaseode" vaiable="po" ceateinstance="yes"> <documentation>receive Puchase Ode</documentation> </eceive> <flow> <documentation> A paallel flow to handle shipping, invoicing and scheduling </documentation> <links> <link name="ship-to-invoice" /> <link name="ship-to-scheduling" /> </links> <sequence> <assign> <copy> <fom>$pocustomeinfo</fom> <to>$shippingrequestcustomeinfo</to> </copy> </assign> <invoke patnelink="shipping" pottype="lns:shippingpt" 15 48!! ! ! ! ! ! ! ! opeation="equestshipping" inputvaiable="shippingrequest" outputvaiable="shippinginfo"> <documentation>decide On Shippe</documentation> <souces> <souce linkname="ship-to-invoice" /> </souces> </invoke> <eceive patnelink="shipping" pottype="lns:shippingcallbackpt" opeation="sendschedule" vaiable="shippingschedule"> <documentation>aange Logistics</documentation> <souces> <souce linkname="ship-to-scheduling" /> </souces> </eceive> </sequence> <sequence> <invoke patnelink="invoicing" pottype="lns:computepicept" opeation="initiatepicecalculation" inputvaiable="po"> <documentation> Initial Pice Calculation </documentation> </invoke> <invoke patnelink="invoicing" pottype="lns:computepicept" opeation="sendshippingpice" inputvaiable="shippinginfo"> <documentation> Complete Pice Calculation </documentation> <tagets> <taget linkname="ship-to-invoice" /> </tagets> </invoke> <eceive patnelink="invoicing" pottype="lns:invoicecallbackpt" opeation="sendinvoice" vaiable="invoice" /> </sequence> <sequence> <invoke patnelink="scheduling" pottype="lns:schedulingpt" opeation="equestpoductionscheduling" inputvaiable="po"> <documentation> Initiate Poduction Scheduling </documentation> </invoke> <invoke patnelink="scheduling" pottype="lns:schedulingpt" opeation="sendshippingschedule" inputvaiable="shippingschedule"> <documentation> Complete Poduction Scheduling </documentation> <tagets> <taget linkname="ship-to-scheduling" /> </tagets> </invoke> </sequence> </flow> <eply patnelink="puchasing" pottype="lns:puchaseodept" opeation="sendpuchaseode" vaiable="invoice"> <documentation>invoice Pocessing</documentation> </eply> </sequence> </pocess>
16 A syntax called semantics Leaning BPEL by looking at ML documents is like leaning Peti nets by looking at PNML documents o simila to leaning Java by looking at the bytecode 16
17 1 <?xml vesion="10" encoding="utf-8"?><pnml> 78 <tansition id="t3"> 2 <net type=" id="noid"> 79 <name> 3 <place id="p6"> 80 <text>t3</text> 4 <name> 81 <gaphics> 5 <text>p6</text> 82 <offset x="240" y="320"/> 6 <gaphics> 83 </gaphics> 7 <offset x="430" y="270"/> 84 </name> 8 </gaphics> 85 <gaphics> 9 </name> 86 <position x="240" y="280"/> 10 <gaphics> 87 <dimension x="40" y="40"/> 11 <position x="430" y="230"/> 88 </gaphics> 12 <dimension x="40" y="40"/> 89 <toolspecific tool="woped" vesion="10"> 13 </gaphics> 90 <time>0</time> 14 </place> 91 <timeunit>1</timeunit> 15 <place id="p5"> 92 <oientation>1</oientation> 16 <name> 93 </toolspecific> 17 <text>p5</text> 94 </tansition> 18 <gaphics> 95 <tansition id="t2"> 19 <offset x="300" y="320"/> 96 <name> 20 </gaphics> 97 <text>t2</text> 21 </name> 98 <gaphics> 22 <gaphics> 99 <offset x="240" y="220"/> 23 <position x="300" y="280"/> 100 </gaphics> 24 <dimension x="40" y="40"/> 101 </name> 25 </gaphics> 102 <gaphics> 26 </place> 103 <position x="240" y="180"/> 27 <place id="p4"> 104 <dimension x="40" y="40"/> 28 <name> 105 </gaphics> 29 <text>p4</text> 106 <toolspecific tool="woped" vesion="10"> 30 <gaphics> 107 <time>0</time> 31 <offset x="180" y="320"/> 108 <timeunit>1</timeunit> 32 </gaphics> 109 <oientation>1</oientation> 33 </name> 110 </toolspecific> 34 <gaphics> 111 </tansition> 35 <position x="180" y="280"/> 112 <tansition id="t1"> 36 <dimension x="40" y="40"/> 113 <name> 37 </gaphics> 114 <text>t1</text> 38 </place> 115 <gaphics> 39 <place id="p3"> 116 <offset x="120" y="270"/> 40 <name> 117 </gaphics> 41 <text>p3</text> 118 </name> 42 <gaphics> 119 <gaphics> 43 <offset x="300" y="220"/> 120 <position x="120" y="230"/> 44 </gaphics> 121 <dimension x="40" y="40"/> 45 </name> 122 </gaphics> 46 <gaphics> 123 <toolspecific tool="woped" vesion="10"> 47 <position x="300" y="180"/> 124 <time>0</time> 48 <dimension x="40" y="40"/> 125 <timeunit>1</timeunit> 49 </gaphics> 126 <oientation>1</oientation> 50 </place> 127 </toolspecific> 51 <place id="p2"> 128 </tansition> 52 <name> 129 <tansition id="t4"> 53 <text>p2</text> 130 <name> 54 <gaphics> 131 <text>t4</text> 55 <offset x="180" y="220"/> 132 <gaphics> 56 </gaphics> 133 <offset x="360" y="270"/> 57 </name> 134 </gaphics> 58 <gaphics> 135 </name> 59 <position x="180" y="180"/> 136 <gaphics> 60 <dimension x="40" y="40"/> 137 <position x="360" y="230"/> 61 </gaphics> 138 <dimension x="40" y="40"/> 62 </place> 139 </gaphics> 63 <place id="p1"> 140 <toolspecific tool="woped" vesion="10"> 64 <name> 141 <time>0</time> 65 <text>p1</text> 142 <timeunit>1</timeunit> 66 <gaphics> 143 <oientation>1</oientation> 67 <offset x="40" y="270"/> 144 </toolspecific> 68 </gaphics> 145 </tansition> 69 </name> 146 <tansition id="t5"> 70 <gaphics> 147 <name> 71 <position x="40" y="230"/> 148 <text>t5</text> 72 <dimension x="40" y="40"/> 149 <gaphics> 73 </gaphics> 150 <offset x="240" y="150"/> 74 <initialmaking> 151 </gaphics> 75 <text>1</text> 152 </name> 76 </initialmaking> 153 <gaphics> 77 </place> 154 <position x="240" y="110"/> PNMLnetxml Page 3 of 4 PNMLnetxml 155 <dimension x="40" y="40"/> 232 </insciption> 156 </gaphics> 233 <gaphics/> 157 <toolspecific tool="woped" vesion="10"> 234 <toolspecific tool="woped" vesion="10"> 158 <time>0</time> 235 <pobability>10</pobability> 159 <timeunit>1</timeunit> 236 <displaypobabilityon>false</displaypobabilityon> 160 <oientation>1</oientation> 237 <displaypobabilityposition x="5000" y="00"/> 161 </toolspecific> 238 </toolspecific> 162 </tansition> 239 </ac> 163 <ac id="a9" souce="t1" taget="p4"> 240 <ac id="a1" souce="p1" taget="t1"> 164 <insciption> 241 <insciption> 165 <text>1</text> 242 <text>1</text> 166 </insciption> 243 </insciption> 167 <gaphics/> 244 <gaphics/> 168 <toolspecific tool="woped" vesion="10"> 245 <toolspecific tool="woped" vesion="10"> 169 <pobability>10</pobability> 246 <pobability>10</pobability> 170 <displaypobabilityon>false</displaypobabilityon> 247 <displaypobabilityon>false</displaypobabilityon> 171 <displaypobabilityposition x="5000" y="00"/> 248 <displaypobabilityposition x="5000" y="00"/> 172 </toolspecific> 249 </toolspecific> 173 </ac> 250 </ac> 174 <ac id="a17" souce="p3" taget="t4"> 251 <ac id="a2" souce="t1" taget="p2"> 175 <insciption> 252 <insciption> 176 <text>1</text> 253 <text>1</text> 177 </insciption> 254 </insciption> 178 <gaphics/> 255 <gaphics/> 179 <toolspecific tool="woped" vesion="10"> 256 <toolspecific tool="woped" vesion="10"> 180 <pobability>10</pobability> 257 <pobability>10</pobability> 181 <displaypobabilityon>false</displaypobabilityon> 258 <displaypobabilityon>false</displaypobabilityon> 182 <displaypobabilityposition x="5000" y="00"/> 259 <displaypobabilityposition x="5000" y="00"/> 183 </toolspecific> 260 </toolspecific> 184 </ac> 261 </ac> 185 <ac id="a14" souce="p5" taget="t4"> 262 <ac id="a5" souce="p2" taget="t2"> 186 <insciption> 263 <insciption> 187 <text>1</text> 264 <text>1</text> 188 </insciption> 265 </insciption> 189 <gaphics/> 266 <gaphics/> 190 <toolspecific tool="woped" vesion="10"> 267 <toolspecific tool="woped" vesion="10"> 191 <pobability>10</pobability> 268 <pobability>10</pobability> 192 <displaypobabilityon>false</displaypobabilityon> 269 <displaypobabilityon>false</displaypobabilityon> 193 <displaypobabilityposition x="5000" y="00"/> 270 <displaypobabilityposition x="5000" y="00"/> 194 </toolspecific> 271 </toolspecific> 195 </ac> 272 </ac> 196 <ac id="a21" souce="p3" taget="t5"> 273 <ac id="a6" souce="t2" taget="p3"> 197 <insciption> 274 <insciption> 198 <text>1</text> 275 <text>1</text> 199 </insciption> 276 </insciption> 200 <gaphics/> 277 <gaphics/> 201 <toolspecific tool="woped" vesion="10"> 278 <toolspecific tool="woped" vesion="10"> 202 <pobability>10</pobability> 279 <pobability>10</pobability> 203 <displaypobabilityon>false</displaypobabilityon> 280 <displaypobabilityon>false</displaypobabilityon> 204 <displaypobabilityposition x="5000" y="00"/> 281 <displaypobabilityposition x="5000" y="00"/> 205 </toolspecific> 282 </toolspecific> 206 </ac> 283 </ac> 207 <ac id="a13" souce="t3" taget="p5"> 284 <ac id="a18" souce="t4" taget="p6"> 208 <insciption> 285 <insciption> 209 <text>1</text> 286 <text>1</text> 210 </insciption> 287 </insciption> 211 <gaphics/> 288 <gaphics/> 212 <toolspecific tool="woped" vesion="10"> 289 <toolspecific tool="woped" vesion="10"> 213 <pobability>10</pobability> 290 <pobability>10</pobability> 214 <displaypobabilityon>false</displaypobabilityon> 291 <displaypobabilityon>false</displaypobabilityon> 215 <displaypobabilityposition x="5000" y="00"/> 292 <displaypobabilityposition x="5000" y="00"/> 216 </toolspecific> 293 </toolspecific> 217 </ac> 294 </ac> 218 <ac id="a10" souce="p4" taget="t3"> 295 <toolspecific tool="woped" vesion="10"> 219 <insciption> 296 <bounds> 220 <text>1</text> 297 <position x="11" y="33"/> 221 </insciption> 298 <dimension x="755" y="490"/> 222 <gaphics/> 299 </bounds> 223 <toolspecific tool="woped" vesion="10"> 300 <teewidth>2</teewidth> 224 <pobability>10</pobability> 301 <veticallayout>false</veticallayout> 225 <displaypobabilityon>false</displaypobabilityon> 302 <esouces/> <displaypobabilityposition x="5000" y="00"/> </toolspecific> </ac> <ac id="a24" souce="t5" taget="p2"> <insciption> <simulations/> <patnelinks/> <vaiables/> </toolspecific> </net> 231 <text>1</text> </pnml>
18 A matte of abstaction ML SOAP WSDL UDDI A technology should not become THE model (though it can seve as a souce of inspiation) this way of thinking can have a bad impact sevice in the nea futue (in taining technical pesonnel) inteact equeste publish discove <opeation name = "CheckAvailability"> < input message = "CheckInDate"/> < input message = "CheckOutDate"/> < input message = "NRooms"/> <output message = "Result"/> </opeation> UDDI egisty 18
19 The souce of the poblem BPEL is designed to wok with WSDL documents of the sevices equied by the pocess A pocess can itself be exposed as a sevice which needs its own WSDL document Fo us: we can foget that WSDL documents ae witten in ML we egad them as abstact inteface desciptions 19
20 BPEL guidelines 20
21 Stuctued contol vs fee flow BPEL4WS should povide both hieachical and gaph-like contol egimes, and allow thei usage to be blended as seamlessly as possible 21
22 About data handling BPEL4WS povides limited data manipulation functions that ae sufficient fo the simple manipulation of data that is needed to define pocess elevant data and contol flow 22
23 Coelation BPEL4WS should suppot an identification mechanism fo pocess instances that allows the definition of instance identifies at the application message level Instance identifies should be patne defined and may change ove time 23
24 Abstact vs executable BPEL4WS should define a set of Web sevice ochestation concepts that ae meant to be used in common by both the extenal (abstact) and intenal (executable) views of a business pocess Such a business pocess defines the behavio of a single autonomous entity, typically opeating in inteaction with othe simila pee entities It is ecognized that each usage view will equie a few specialized extensions, but these extensions ae to be kept to a minimum and tested against equiements 24
25 Tansactions BPEL4WS should define a long-unning tansaction model that is based on pactically poven techniques like compensation actions and scoping to suppot failue ecovey fo pats of long-unning business pocesses 25
26 WSDL peliminaies 26
27 Sevice A sevice can be thought of as a containe fo a set of (logically elated) opeations that ae made available via web-based potocols Roughly: a emote object 27
28 PotType / Inteface The <pottype> element, enamed to <inteface> in WSDL 20, defines a web sevice, the opeations that can be pefomed, and the messages that ae used to pefom the opeation Roughly: the type of a emote object ie, a emote (abstact) class 28
29 Opeation Each opeation can be thought of as a method o function call in some pogamming language Fou kinds of opeations (one-way, equest-esponse, notification, solicit-esponse) Thee kinds of paametes/aguments (input, output, fault) (not all combinations allowed) Roughly: a emote (abstact) method 29
30 Pot / Endpoint The <pot> element, enamed to <endpoint> in WSDL 20, declaes the addess of a web sevice It typicaily involves a name, a binding and a URL 30
31 Binding The binding specifies the inteface as well as the SOAP binding style (message fomat) and SOAP tanspot potocol 31
32 WSDL (fom wikipedia) 32
33 PuchaseExamplewsdl Page 1 of 2 PuchaseExamplewsdl Page 2 of 1 2 3! 4! 5! ! 11! ! 15! ! <?xml vesion="10" encoding="utf-8"?> <wsdl:definitions name="puchaseexample" tagetnamespace=" sams/puchaseexamplewsdl" xmlns:tns=" PuchaseExamplewsdl" xmlns:soap=" soap/" xmlns:wsdl=" <wsdl:types> <xsd:schema tagetnamespace=" wwwfluidimaginationcom/sams/poducttypewsdl" xmlns:xsd=" MLSchema"> <xsd:complextype name="scannetype"> <xsd:all> <xsd:element name="upc" type="upctype"/> <xsd:element name="isbn" type="isbntype"/> </xsd:all> </xsd:complextype> <xsd:simpletype name="upctype"> <xsd:estiction base="xsd:sting"> <xsd:patten value="[0-9]{12}"/> </xsd:estiction> </xsd:simpletype> <xsd:simpletype name="isbntype"> <xsd:estiction base="xsd:sting"> <xsd:patten value="([0-9]- ){10}"/> </xsd:estiction> </xsd:simpletype> </xsd:schema> </wsdl:types> <!-- Adding a message that has two addesses --> <wsdl:message name="puchasemessage"> <wsdl:pat name="poductcode" element="tns:scannetype"/> </wsdl:message> <!--ceate a pot type with one opeation --> ! 42 43! ! 52 53! <wsdl:pottype name="puchasetype"> <wsdl:opeation name="puchaseopeation"> <wsdl:input name="tns:puchasemessage"/> </wsdl:opeation> </wsdl:pottype> <!--Bind the message to SOAP using HTTP --> <wsdl:binding name="puchasebinding" type="tns:puchasetype"> <soap:binding style="document" tanspot=" http"/> <wsdl:opeation name="tns:puchaseopeation"> <wsdl:input> <soap:body use="liteal"/> </wsdl:input> </wsdl:opeation> </wsdl:binding> <!--Bind the message to SOAP ove SMTP --> <wsdl:binding name="puchasebindingsmtp" type="tns:puchasetype"> <soap:binding style="document" tanspot=" smtp"/> <wsdl:opeation name="tns:puchaseopeation"> <wsdl:input> <soap:body use="liteal"/> </wsdl:input> </wsdl:opeation> </wsdl:binding> </wsdl:definitions> 33
34 BPEL ingedients (mateial patly stolen fom Antonio Bogi s slides on Softwae Sevices, thanks!) 34
35 BPEL ingedients Data flow (scoped vaiables) Patne links and Message coelation Message flow (one-way, equest-esponse, notify, solicit-esponse) Contol flow (stuctued activities and synchonization links) Handling events, faults, compensations 35
36 Vaiable Vaiables can be defined (within a local scope) The activity <assign> can be used to copy data (messages, pat of messages, sevice efeences) between vaiables <assign> <copy> <fom vaiable="po" pat="customeinfo"/> <to vaiable="shippingrequest" pat="customeinfo"/> </copy> </assign> 36
37 Patne Link A patne is a sevice that the pocess invokes, o a client that invokes the pocess A BPEL pocess inteacts with a patne using a <patnelink> a (typed) connecto that the pocess offes to/equies fom its patne (to be declaed in the BPEL document) <patnelinks> <patnelink name="shipping" patnelinktype="lns:shippinglt" myrole="shippingrequeste" patnerole="shippingsevice"/> </patnelinks> 37
38 Stateless sevices, stateful pocesses When a message fo (WS-BPEL) sevice aives, it must be deliveed eithe to a new o to an existing instance of the pocess Stateful business pocesses ae instantiated to act accoding to inteaction histoy Messages should not only be deliveed to the coect pot, but also to the coect instance of the business pocess that povides that pot 38
39 Message coelation Message coelation is the way to tie togethe messages coming fom diffeent communications A coelation set is a set of popeties such that all messages having the same values of all popeties ae pat of the same inteaction The patne that fist fixes the values of the popeties in the coelation set is the initiato of the exchange, the othe patnes ae called the followes 39
40 Message flow Basic activities ae available to send and eceive messages to patnes Activity <invoke>: asynchonous (one-way) o synchonous (equest-esponse) Activity <eceive>: a equest fom a patne to execute one of the (WSDL) opeations implemented by the pocess Activity <eply>: to etun the esult of a <eceive>d synchonous equest-esponse opeation 40
41 Invoke Needed infomation: the <patnelink>, the WSDL <pottype> of the sevice to be invoked, and the name and paametes of the <opeation> <invoke patnelink="shipping" pottype="lns:shippingpt" opeation="equestshipping" inputvaiable="shippingrequest" outputvaiable="shippinginfo"> <souce linkname="ship-to-invoice"/> </invoke> 41
42 Receive Needed infomation: the <patnelink>, the WSDL <pottype> of the exposed sevice, and a <vaiable> whee to copy the paametes of the <opeation> <eceive patnelink="puchasing" pottype="lns:puchaseodept" opeation="sendpuchaseode" vaiable="po"> </eceive> 42
43 Reply A pocess can <eply> to a message it <eceive>d <eply patnelink="puchasing" pottype="lns:puchaseodept" opeation="sendpuchaseode" vaiable="invoice" /> Asynchonous opeations do not use <eply> If a eply must sent, <invoke> is used to call back a client opeation 43
44 44
45 Stuctued activities <sequence> fo specifying sequential compositions only one banch is selected <switch> fo (local) intenal choices (odeed list of conditional <case> banches, possibly ended by an <othewise> banch) <pick> fo (global) extenal choices (set of event handles of the fom event activity, <onmessage> aival of a message o <onalam> time) <flow> fo paallel composition <while> fo iteations (guads ae Path expessions) 45
46 Link A <link> expesses synchonisation dependencies among activities in a pocess Each <link> has a name, one souce activity, one taget activity, and it may be associated with a tansition condition (a pedicate to be evaluated when the souce activity ends) 46
47 Join condition Any activity that is the taget of one o moe links may have an explicit <joincondition>, (a pedicate on the status values of the incoming links, to be evaluated once all such values have been detemined) othewise the implicit join condition is the OR If the <joincondition> evaluates to: TRUE the activity can be executed, FALSE a <joinfailue> fault may be thown (depending on the <suppessjoinfailue> flag 47
48 Scope A scope povides fault and compensation handling capabilities to the activities nested within it A <scope> activity consists of: a pimay activity, a set of (optional) fault handles, a single (optional) compensation handles, a set of (optional) event handles (executed concuently with the pocess, they enable a scope to eact to messages and alam events) 48
49 Fomal Semantics and Analysis of Contol Flow in WS-BPEL (Revised Vesion) Chun Ouyang 1, Eic Vebeek 2, Wil MP van de Aalst 2,1, Stephen Beutel 1, Malon Dumas 1, and Athu HM te Hofstede 1 1 Faculty of Infomation Technology, Queensland Univesity of Technology, GPO Box 2434, Bisbane QLD 4001, Austalia {couyang,swbeutel,mdumas,atehofstede}@quteduau 2 Depatment of Technology Management, Eindhoven Univesity of Technology, GPO Box 513, NL-5600 MB, The Nethelands {hmwvebeek,wmpvdaalst}@tmtuenl Fomal semantics of Abstact Web sevice composition efes to the ceation of new (Web) sevices by combination of functionality povided by existing ones This paadigm has gained significant attention in the Web sevices community and is seen as a pilla fo building sevice-oiented applications A numbe of domain-specific languages fo sevice composition have been poposed with consensus being fomed aound a pocess-oiented language known as WS-BPEL (o BPEL) The kenel of BPEL consists of simple communication pimitives that may be combined using contol-flow constucts expessing contol flow in BPEL sequence, banching, paallelism, synchonisation, etc As a esult, BPEL pocess definitions lend themselves to static flow-based analysis techniques This epot aims at validating the feasibility of using Peti nets fo static analysis of BPEL pocesses We pesent a compehensive and igoously defined mapping of BPEL constucts into Peti net stuctues This leads to the implementation of a tool which opeates by tanslating BPEL pocesses into Peti nets and exploiting existing Peti net analysis techniques The tool pefoms two useful types of static checks and extacts meta-data to optimise dynamic esouce management Keywods: Business pocess modelling, Web sevices, BPEL, tool-based veification, Peti nets 1 Intoduction Thee is an inceasing acceptance of Sevice-Oiented Achitectues (SOA) as a paadigm fo integating softwae applications within and acoss oganisational boundaies In this paadigm, independently 49 developed and opeated applications ae exposed as (Web) sevices that communicate with each othe matedì 10 dicembe using 13 ML-based standads, most notably SOAP and associated specifications [3] While the technology
50 Motivation BPEL specification: igouous ML syntax English pose semantics (of appaent claity) Consequences: inconsistencies, ambiguities, incompleteness ty to google fo WS BPEL issues list, eg Issue 32 Link Semantics in Event Handles (esolved) Issue 39 Inconsistent syntax fo quey attibute values in spec examples (esolved) Issue 42 Need fo Fomalism (esolved) ES 50
51 Appoaches Pomela (SPIN) Pocess algebas Abstact State Machines Automata Weakest peconditions / stongest postconditions Axiomatic semantics Peti nets 51
52 Goal Unveil ambiguities in BPEL specification (epoted to BPEL standadization committee) Complete fomalization of all contol-flow constucts Checking fo uneachable activities Checking fo potential conflicting message eceipt actions Detemining which messages can be eventually consumed 52
53 ting<flow ambiguities name="fl" suppessjoinfailue="yes"> and contadictions in the woding of the BPEL specification [5] Fo ation effot, some of these issues wee epoted and discussed in the BPEL standad and changes to the specification s woding have been poposed, albeit not yet adopt execution of this pocess, eithe A1 o A2 will be skipped because these two activities ae <links> Flow iffeent <link banches name="x1"/> Example: of a switch and in any execution BPEL of a switch only with one banch is taken Thus, two <link contol name="x2"/> </links> links x1 o x2 will cay a negative token On the othe hand, we assume that Switch ndition <switch attached name="sw"> to activity A3 (denoted by keywod AND ) evaluates to tue if and only if <case> x1 and <invoke x2 cay name="a1"> positive values Hence, this join condition will always evaluate Contol to Link false and 3 is always <souces> skipped (ie it is uneachable) uneachable activity <souce linkname="x1"/> </souces> ilst the contol flow constucts of BPEL have been designed in a way to ensue t ss execution can deadlock 5, some combinations of stuctued activities (in paticula ith contol links can lead to situations whee some activities ae uneachable Consi </invoke> </case> FL ss definition in Fig 1 whee both the ML code and alegend: gaphical epesentation ae p Basic SWActivity <pocess <othewise> name="uneachabletask" tagetnamespace=" suppessjoinfailue="yes" <invoke name="a2"> xmlns:tns=" <souces> <souce linkname="x2"/> </souces> xmlns:sevices=" </invoke> xmlns=" pocess/"> </othewise> </switch> <flow name="fl" suppessjoinfailue="yes"> <invoke <links> name = "A3"> <link name="x1"/> <tagets> <link name="x2"/> </links> <joincondition> <switch bpws:getlinkstatus( x1 ) name="sw"> and bpws:getlinkstatus( x2 ) <case> </joincondition> <taget <invoke linkname="x1"/> name="a1"> <souces> <souce linkname="x1"/> </souces> <taget </invoke> linkname="x2"/> </tagets> </case> </invoke> <othewise> </flow> <invoke name="a2"> tagetnamespace=" <souces> <souce linkname="x2"/> </souces> suppessjoinfailue="yes" </invoke> xmlns:tns=" </othewise> </switch> xmlns:sevices=" <invoke name = "A3"> <tagets> <flow <joincondition> name="fl" suppessjoinfailue="yes"> <links> bpws:getlinkstatus( x1 ) and bpws:getlinkstatus( x2 ) <link </joincondition> name="x1"/> <link <taget name="x2"/> linkname="x1"/> </links> <taget linkname="x2"/> <switch </tagets> name="sw"> </invoke> <case> </flow> </pocess> <invoke name="a1"> 53 execution of this pocess, eithe A1 o A2 will be skipped because these two activi ffeent banches of a switch and in any execution of a switch c1 onlyc2one banch is taken Flow wo contol links x1 o x2 will cay a negative token On the othe hand, we assum dition attached to activity A3 (denoted by keywod AND ) A1 Switch evaluates A2 to tue if and x1 1 and x2 cay positive values Hence, this join condition will always evaluate to fa Contol Link is always skipped (ie it is uneachable) AND A3 <pocess name="uneachabletask" </pocess> c1 xmlns=" pocess/"> A1 SW c2 A2 FL Legend: Basic Activity Fig 1 Example of a BPEL pocess with an uneachable activity Flow x1 le scopes ae not coveed in this pape since they ae not a contol-flow constuct a AND A3 e scope of this wok Instead, seializable scopes ae fundamentally x2switch elated to data ma it has not been fomally poved that BPEL pocesses ae deadlock-fee, to the best of ou Contol Link le of<souces> a deadlocking <souce linkname="x1"/> BPEL pocess </souces> has been put fowad Also, Kiepuszewski et al </invoke> x2
Software Engineering and Development
I T H E A 67 Softwae Engineeing and Development SOFTWARE DEVELOPMENT PROCESS DYNAMICS MODELING AS STATE MACHINE Leonid Lyubchyk, Vasyl Soloshchuk Abstact: Softwae development pocess modeling is gaining
More information9:6.4 Sample Questions/Requests for Managing Underwriter Candidates
9:6.4 INITIAL PUBLIC OFFERINGS 9:6.4 Sample Questions/Requests fo Managing Undewite Candidates Recent IPO Expeience Please povide a list of all completed o withdawn IPOs in which you fim has paticipated
More informationAn Efficient Group Key Agreement Protocol for Ad hoc Networks
An Efficient Goup Key Ageement Potocol fo Ad hoc Netwoks Daniel Augot, Raghav haska, Valéie Issany and Daniele Sacchetti INRIA Rocquencout 78153 Le Chesnay Fance {Daniel.Augot, Raghav.haska, Valéie.Issany,
More informationConcept and Experiences on using a Wiki-based System for Software-related Seminar Papers
Concept and Expeiences on using a Wiki-based System fo Softwae-elated Semina Papes Dominik Fanke and Stefan Kowalewski RWTH Aachen Univesity, 52074 Aachen, Gemany, {fanke, kowalewski}@embedded.wth-aachen.de,
More informationHEALTHCARE INTEGRATION BASED ON CLOUD COMPUTING
U.P.B. Sci. Bull., Seies C, Vol. 77, Iss. 2, 2015 ISSN 2286-3540 HEALTHCARE INTEGRATION BASED ON CLOUD COMPUTING Roxana MARCU 1, Dan POPESCU 2, Iulian DANILĂ 3 A high numbe of infomation systems ae available
More informationCloud Service Reliability: Modeling and Analysis
Cloud Sevice eliability: Modeling and Analysis Yuan-Shun Dai * a c, Bo Yang b, Jack Dongaa a, Gewei Zhang c a Innovative Computing Laboatoy, Depatment of Electical Engineeing & Compute Science, Univesity
More informationFirstmark Credit Union Commercial Loan Department
Fistmak Cedit Union Commecial Loan Depatment Thank you fo consideing Fistmak Cedit Union as a tusted souce to meet the needs of you business. Fistmak Cedit Union offes a wide aay of business loans and
More informationDistributed Computing and Big Data: Hadoop and MapReduce
Distibuted Computing and Big Data: Hadoop and Map Bill Keenan, Diecto Tey Heinze, Achitect Thomson Reutes Reseach & Development Agenda R&D Oveview Hadoop and Map Oveview Use Case: Clusteing Legal Documents
More informationAlarm transmission through Radio and GSM networks
Alam tansmission though Radio and GSM netwoks 2015 Alam tansmission though Radio netwok RR-IP12 RL10 E10C E10C LAN RL1 0 R11 T10 (T10U) Windows MONAS MS NETWORK MCI > GNH > GND > +E > DATA POWER DATA BUS
More informationAutomatic Testing of Neighbor Discovery Protocol Based on FSM and TTCN*
Automatic Testing of Neighbo Discovey Potocol Based on FSM and TTCN* Zhiliang Wang, Xia Yin, Haibin Wang, and Jianping Wu Depatment of Compute Science, Tsinghua Univesity Beijing, P. R. China, 100084 Email:
More informationIlona V. Tregub, ScD., Professor
Investment Potfolio Fomation fo the Pension Fund of Russia Ilona V. egub, ScD., Pofesso Mathematical Modeling of Economic Pocesses Depatment he Financial Univesity unde the Govenment of the Russian Fedeation
More informationDNS: Domain Name System
DNS: Domain Name System People: many identifies: m SSN, name, Passpot # Intenet hosts, outes: m IP addess (32 bit) - used fo addessing datagams (in IPv4) m name, e.g., gaia.cs.umass.edu - used by humans
More informationDatabase Management Systems
Contents Database Management Systems (COP 5725) D. Makus Schneide Depatment of Compute & Infomation Science & Engineeing (CISE) Database Systems Reseach & Development Cente Couse Syllabus 1 Sping 2012
More information883 Brochure A5 GENE ss vernis.indd 1-2
ess x a eu / u e a. p o.eu c e / :/ http EURAXESS Reseaches in Motion is the gateway to attactive eseach caees in Euope and to a pool of wold-class eseach talent. By suppoting the mobility of eseaches,
More informationModeling and Verifying a Price Model for Congestion Control in Computer Networks Using PROMELA/SPIN
Modeling and Veifying a Pice Model fo Congestion Contol in Compute Netwoks Using PROMELA/SPIN Clement Yuen and Wei Tjioe Depatment of Compute Science Univesity of Toonto 1 King s College Road, Toonto,
More informationThings to Remember. r Complete all of the sections on the Retirement Benefit Options form that apply to your request.
Retiement Benefit 1 Things to Remembe Complete all of the sections on the Retiement Benefit fom that apply to you equest. If this is an initial equest, and not a change in a cuent distibution, emembe to
More informationModel-Driven Engineering of Adaptation Engines for Self-Adaptive Software: Executable Runtime Megamodels
Model-Diven Engineeing of Adaptation Engines fo Self-Adaptive Softwae: Executable Runtime Megamodels Thomas Vogel, Holge Giese Technische Beichte N. 66 des Hasso-Plattne-Instituts fü Softwaesystemtechnik
More informationA framework for the selection of enterprise resource planning (ERP) system based on fuzzy decision making methods
A famewok fo the selection of entepise esouce planning (ERP) system based on fuzzy decision making methods Omid Golshan Tafti M.s student in Industial Management, Univesity of Yazd Omidgolshan87@yahoo.com
More informationChapter 3 Savings, Present Value and Ricardian Equivalence
Chapte 3 Savings, Pesent Value and Ricadian Equivalence Chapte Oveview In the pevious chapte we studied the decision of households to supply hous to the labo maket. This decision was a static decision,
More informationA formalism of ontology to support a software maintenance knowledge-based system
A fomalism of ontology to suppot a softwae maintenance knowledge-based system Alain Apil 1, Jean-Mac Deshanais 1, and Reine Dumke 2 1 École de Technologie Supéieue, 1100 Note-Dame West, Monteal, Canada
More informationUncertain Version Control in Open Collaborative Editing of Tree-Structured Documents
Uncetain Vesion Contol in Open Collaboative Editing of Tee-Stuctued Documents M. Lamine Ba Institut Mines Télécom; Télécom PaisTech; LTCI Pais, Fance mouhamadou.ba@ telecom-paistech.f Talel Abdessalem
More informationThe transport performance evaluation system building of logistics enterprises
Jounal of Industial Engineeing and Management JIEM, 213 6(4): 194-114 Online ISSN: 213-953 Pint ISSN: 213-8423 http://dx.doi.og/1.3926/jiem.784 The tanspot pefomance evaluation system building of logistics
More informationOver-encryption: Management of Access Control Evolution on Outsourced Data
Ove-encyption: Management of Access Contol Evolution on Outsouced Data Sabina De Capitani di Vimecati DTI - Univesità di Milano 26013 Cema - Italy decapita@dti.unimi.it Stefano Paaboschi DIIMM - Univesità
More informationCollege of Engineering Bachelor of Computer Science
2 0 0 7 w w w. c n u a s. e d u College of Engineeing Bachelo of Compute Science This bochue Details the BACHELOR OF COMPUTER SCIENCE PROGRAM available though CNU s College of Engineeing. Fo ou most up-to-date
More informationFinancial Derivatives for Computer Network Capacity Markets with Quality-of-Service Guarantees
Financial Deivatives fo Compute Netwok Capacity Makets with Quality-of-Sevice Guaantees Pette Pettesson pp@kth.se Febuay 2003 SICS Technical Repot T2003:03 Keywods Netwoking and Intenet Achitectue. Abstact
More informationPower Monitoring and Control for Electric Home Appliances Based on Power Line Communication
I²MTC 2008 IEEE Intenational Instumentation and Measuement Technology Confeence Victoia, Vancouve Island, Canada, May 12 15, 2008 Powe Monitoing and Contol fo Electic Home Appliances Based on Powe Line
More informationElectricity transmission network optimization model of supply and demand the case in Taiwan electricity transmission system
Electicity tansmission netwok optimization model of supply and demand the case in Taiwan electicity tansmission system Miao-Sheng Chen a Chien-Liang Wang b,c, Sheng-Chuan Wang d,e a Taichung Banch Gaduate
More informationResearch on Risk Assessment of the Transformer Based on Life Cycle Cost
ntenational Jounal of Smat Gid and lean Enegy eseach on isk Assessment of the Tansfome Based on Life ycle ost Hui Zhou a, Guowei Wu a, Weiwei Pan a, Yunhe Hou b, hong Wang b * a Zhejiang Electic Powe opoation,
More informationDetermine implementation strategy, including a communications plan with trading partners and business associates (1 month)
Official CMS Industy Resouces fo the Tansition www.cms.gov/icd10 Payes Compliance Timeline The following is a timeline of essential activities needed to successfully tansition to Vesion 5010 and. While
More informationThey aim to select the best services that satisfy the user s. other providers infrastructures and utility services to run
End-to-End Qo Mapping and Aggegation fo electing Cloud evices Raed Kaim, Chen Ding, Ali Mii Depatment of Compute cience Ryeson Univesity, Toonto, Canada 2kaim@yeson.ca, cding@scs.yeson.ca, ali.mii@yeson.ca
More informationGive me all I pay for Execution Guarantees in Electronic Commerce Payment Processes
Give me all I pay fo Execution Guaantees in Electonic Commece Payment Pocesses Heiko Schuldt Andei Popovici Hans-Jög Schek Email: Database Reseach Goup Institute of Infomation Systems ETH Zentum, 8092
More informationTracking/Fusion and Deghosting with Doppler Frequency from Two Passive Acoustic Sensors
Tacking/Fusion and Deghosting with Dopple Fequency fom Two Passive Acoustic Sensos Rong Yang, Gee Wah Ng DSO National Laboatoies 2 Science Pak Dive Singapoe 11823 Emails: yong@dso.og.sg, ngeewah@dso.og.sg
More informationResearch Article A Reputation-Based Identity Management Model for Cloud Computing
Mathematical Poblems in Engineeing Volume 2015, Aticle ID 238245, 15 pages http://dx.doi.og/10.1155/2015/238245 Reseach Aticle A Reputation-Based Identity Management Model fo Cloud Computing Lifa Wu, 1
More informationQuestions & Answers Chapter 10 Software Reliability Prediction, Allocation and Demonstration Testing
M13914 Questions & Answes Chapte 10 Softwae Reliability Pediction, Allocation and Demonstation Testing 1. Homewok: How to deive the fomula of failue ate estimate. λ = χ α,+ t When the failue times follow
More informationReferral service and customer incentive in online retail supply Chain
Refeal sevice and custome incentive in online etail supply Chain Y. G. Chen 1, W. Y. Zhang, S. Q. Yang 3, Z. J. Wang 4 and S. F. Chen 5 1,,3,4 School of Infomation Zhejiang Univesity of Finance and Economics
More informationON THE (Q, R) POLICY IN PRODUCTION-INVENTORY SYSTEMS
ON THE R POLICY IN PRODUCTION-INVENTORY SYSTEMS Saifallah Benjaafa and Joon-Seok Kim Depatment of Mechanical Engineeing Univesity of Minnesota Minneapolis MN 55455 Abstact We conside a poduction-inventoy
More informationIBM Research Smarter Transportation Analytics
IBM Reseach Smate Tanspotation Analytics Laua Wynte PhD, Senio Reseach Scientist, IBM Watson Reseach Cente lwynte@us.ibm.com INSTRUMENTED We now have the ability to measue, sense and see the exact condition
More informationHow to create RAID 1 mirroring with a hard disk that already has data or an operating system on it
AnswesThatWok TM How to set up a RAID1 mio with a dive which aleady has Windows installed How to ceate RAID 1 mioing with a had disk that aleady has data o an opeating system on it Date Company PC / Seve
More informationAn Approach to Optimized Resource Allocation for Cloud Simulation Platform
An Appoach to Optimized Resouce Allocation fo Cloud Simulation Platfom Haitao Yuan 1, Jing Bi 2, Bo Hu Li 1,3, Xudong Chai 3 1 School of Automation Science and Electical Engineeing, Beihang Univesity,
More informationwho supply the system vectors for their JVM products. 1 HBench:Java will work best with support from JVM vendors
Appeaed in the ACM Java Gande 2000 Confeence, San Fancisco, Califonia, June 3-5, 2000 HBench:Java: An Application-Specific Benchmaking Famewok fo Java Vitual Machines Xiaolan Zhang Mago Seltze Division
More informationest using the formula I = Prt, where I is the interest earned, P is the principal, r is the interest rate, and t is the time in years.
9.2 Inteest Objectives 1. Undestand the simple inteest fomula. 2. Use the compound inteest fomula to find futue value. 3. Solve the compound inteest fomula fo diffeent unknowns, such as the pesent value,
More informationOffice of Family Assistance. Evaluation Resource Guide for Responsible Fatherhood Programs
Office of Family Assistance Evaluation Resouce Guide fo Responsible Fathehood Pogams Contents Intoduction........................................................ 4 Backgound..........................................................
More informationTowards Automatic Update of Access Control Policy
Towads Automatic Update of Access Contol Policy Jinwei Hu, Yan Zhang, and Ruixuan Li Intelligent Systems Laboatoy, School of Computing and Mathematics Univesity of Westen Sydney, Sydney 1797, Austalia
More informationCalifornia s Duals Demonstration: A Transparent. Process. Margaret Tatar Chief, Medi-Cal Managed Care Division. CA Coo 8/21/12
Califonia s Duals Demonstation: A Tanspaent and Inclusive Stakeholde Pocess Magaet Tata Chief, Medi-Cal Managed Cae Division Depatment of Health Cae Sevices 1 Stakeholde Engagement 1. 2. Inclusive Building
More informationWelcome to the Cloud Stream. Sponsored by:
Welcome to the Cloud Steam Sponsoed by: Entepise Cloud (HEC) Hanessing the Powe of eal- Time Business with the Simplicity of the Cloud Ben Lingwood Diecto HEC GtM Entepise Cloud - Oveview Announced May
More informationComparing Availability of Various Rack Power Redundancy Configurations
Compaing Availability of Vaious Rack Powe Redundancy Configuations White Pape 48 Revision by Victo Avela > Executive summay Tansfe switches and dual-path powe distibution to IT equipment ae used to enhance
More informationENABLING INFORMATION GATHERING PATTERNS FOR EMERGENCY RESPONSE WITH THE OPENKNOWLEDGE SYSTEM
Computing and Infomatics, Vol. 29, 2010, 537 555 ENABLING INFORMATION GATHERING PATTERNS FOR EMERGENCY RESPONSE WITH THE OPENKNOWLEDGE SYSTEM Gaia Tecaichi, Veonica Rizzi, Mauizio Machese Depatment of
More informationOptimal Peer Selection in a Free-Market Peer-Resource Economy
Optimal Pee Selection in a Fee-Maket Pee-Resouce Economy Micah Adle, Rakesh Kuma, Keith Ross, Dan Rubenstein, David Tune and David D Yao Dept of Compute Science Univesity of Massachusetts Amhest, MA; Email:
More informationTransmittal 198 Date: DECEMBER 9, 2005. SUBJECT: Termination of the Existing Eligibility-File Based Crossover Process at All Medicare Contractors
anual ystem Depatment of ealth & uman evices (D) entes fo edicae & Pub 100-20 One-Time Notification edicaid evices () Tansmittal 198 Date: DEEBE 9, 2005 hange equest 4231 UBJET: Temination of the Existing
More informationControlling the Money Supply: Bond Purchases in the Open Market
Money Supply By the Bank of Canada and Inteest Rate Detemination Open Opeations and Monetay Tansmission Mechanism The Cental Bank conducts monetay policy Bank of Canada is Canada's cental bank supevises
More informationTechnology Launch from Seed Funding to Liquidity Event
Technology Launch fom Seed Funding to Liquidity Event Tammi Smoynski Diecto, Intel Capital Intel Copoation Septembe, 2010 * Othe maks and bands ae popety of thei espective ownes Intel Capital Oveview Taditional
More informationEvaluating the impact of Blade Server and Virtualization Software Technologies on the RIT Datacenter
Evaluating the impact of and Vitualization Softwae Technologies on the RIT Datacente Chistophe M Butle Vitual Infastuctue Administato Rocheste Institute of Technology s Datacente Contact: chis.butle@it.edu
More informationSTUDENT RESPONSE TO ANNUITY FORMULA DERIVATION
Page 1 STUDENT RESPONSE TO ANNUITY FORMULA DERIVATION C. Alan Blaylock, Hendeson State Univesity ABSTRACT This pape pesents an intuitive appoach to deiving annuity fomulas fo classoom use and attempts
More informationScheduling Hadoop Jobs to Meet Deadlines
Scheduling Hadoop Jobs to Meet Deadlines Kamal Kc, Kemafo Anyanwu Depatment of Compute Science Noth Caolina State Univesity {kkc,kogan}@ncsu.edu Abstact Use constaints such as deadlines ae impotant equiements
More informationLoyalty Rewards and Gift Card Programs: Basic Actuarial Estimation Techniques
Loyalty Rewads and Gift Cad Pogams: Basic Actuaial Estimation Techniques Tim A. Gault, ACAS, MAAA, Len Llaguno, FCAS, MAAA and Matin Ménad, FCAS, MAAA Abstact In this pape we establish an actuaial famewok
More informationMining Relatedness Graphs for Data Integration
Mining Relatedness Gaphs fo Data Integation Jeemy T. Engle (jtengle@indiana.edu) Ying Feng (yingfeng@indiana.edu) Robet L. Goldstone (goldsto@indiana.edu) Indiana Univesity Bloomington, IN. 47405 USA Abstact
More informationSUPPORT VECTOR MACHINE FOR BANDWIDTH ANALYSIS OF SLOTTED MICROSTRIP ANTENNA
Intenational Jounal of Compute Science, Systems Engineeing and Infomation Technology, 4(), 20, pp. 67-7 SUPPORT VECTOR MACHIE FOR BADWIDTH AALYSIS OF SLOTTED MICROSTRIP ATEA Venmathi A.R. & Vanitha L.
More informationComparing Availability of Various Rack Power Redundancy Configurations
Compaing Availability of Vaious Rack Powe Redundancy Configuations By Victo Avela White Pape #48 Executive Summay Tansfe switches and dual-path powe distibution to IT equipment ae used to enhance the availability
More informationConfirmation of Booking
The Pesentes Rebecca Mogan Rebecca is a Taxation Consultant with the NTAA and has ove 15 yeas tax expeience. Rebecca holds a Bachelo of Ats and Law and a Mastes of Taxation. Rebecca has pesented a numbe
More informationThe future challenges of Healthcare
The futue challenges of Healthcae D. Eich Hunzike CFO F. Hoffmann La Roche Ltd. JPMogan Healthcae Confeence San Fancisco, Januay 12, 2005 This pesentation contains cetain fowad-looking statements. These
More informationHow to recover your Exchange 2003/2007 mailboxes and emails if all you have available are your PRIV1.EDB and PRIV1.STM Information Store database
AnswesThatWok TM Recoveing Emails and Mailboxes fom a PRIV1.EDB Exchange 2003 IS database How to ecove you Exchange 2003/2007 mailboxes and emails if all you have available ae you PRIV1.EDB and PRIV1.STM
More informationChannel selection in e-commerce age: A strategic analysis of co-op advertising models
Jounal of Industial Engineeing and Management JIEM, 013 6(1):89-103 Online ISSN: 013-0953 Pint ISSN: 013-843 http://dx.doi.og/10.396/jiem.664 Channel selection in e-commece age: A stategic analysis of
More informationHitachi Virtual Storage Platform
Hitachi Vitual Stoage Platfom FASTFIND LINKS Contents Poduct Vesion Getting Help MK-90RD7028-15 2010-2014 Hitachi, Ltd. All ights eseved. No pat of this publication may be epoduced o tansmitted in any
More informationHow To Use A Network On A Network With A Powerline (Lan) On A Pcode (Lan On Alan) (Lan For Acedo) (Moe) (Omo) On An Ipo) Or Ipo (
Hubs, Bidges, and Switches Used fo extending LANs in tems of geogaphical coveage, numbe of nodes, administation capabilities, etc. Diffe in egads to: m collision domain isolation m laye at which they opeate
More informationCONCEPTUAL FRAMEWORK FOR DEVELOPING AND VERIFICATION OF ATTRIBUTION MODELS. ARITHMETIC ATTRIBUTION MODELS
CONCEPUAL FAMEOK FO DEVELOPING AND VEIFICAION OF AIBUION MODELS. AIHMEIC AIBUION MODELS Yui K. Shestopaloff, is Diecto of eseach & Deelopment at SegmentSoft Inc. He is a Docto of Sciences and has a Ph.D.
More informationHow to SYSPREP a Windows 7 Pro corporate PC setup so you can image it for use on future PCs
AnswesThatWok TM How to SYSPREP a Windows 7 Po copoate PC setup so you can image it fo use on futue PCs In a copoate envionment most PCs will usually have identical setups, with the same pogams installed
More informationThe Role of Gravity in Orbital Motion
! The Role of Gavity in Obital Motion Pat of: Inquiy Science with Datmouth Developed by: Chistophe Caoll, Depatment of Physics & Astonomy, Datmouth College Adapted fom: How Gavity Affects Obits (Ohio State
More informationMulticriteria analysis in telecommunications
Poceedings of the 37th Hawaii Intenational Confeence on System Sciences - 2004 Multiciteia analysis in telecommunications Janusz Ganat and Andze P. Wiezbicki National Institute of Telecommunications Szachowa
More informationAN IMPLEMENTATION OF BINARY AND FLOATING POINT CHROMOSOME REPRESENTATION IN GENETIC ALGORITHM
AN IMPLEMENTATION OF BINARY AND FLOATING POINT CHROMOSOME REPRESENTATION IN GENETIC ALGORITHM Main Golub Faculty of Electical Engineeing and Computing, Univesity of Zageb Depatment of Electonics, Micoelectonics,
More informationDOCTORAL DEGREE PROGRAM
DOCTORAL DEGREE PROGRAM Application Fo Admission National Mose Cente fo Adult Leaning Cental Illinois: Benedictine Univesity at Spingfield 1500 Noth 5th Steet, Spingfield, IL 62702 Phone: (217) 718-5002
More informationConverting knowledge Into Practice
Conveting knowledge Into Pactice Boke Nightmae srs Tend Ride By Vladimi Ribakov Ceato of Pips Caie 20 of June 2010 2 0 1 0 C o p y i g h t s V l a d i m i R i b a k o v 1 Disclaime and Risk Wanings Tading
More informationDefinitions and terminology
I love the Case & Fai textbook but it is out of date with how monetay policy woks today. Please use this handout to supplement the chapte on monetay policy. The textbook assumes that the Fedeal Reseve
More informationMETHODOLOGICAL APPROACH TO STRATEGIC PERFORMANCE OPTIMIZATION
ETHODOOGICA APPOACH TO STATEGIC PEFOANCE OPTIIZATION ao Hell * Stjepan Vidačić ** Željo Gaača *** eceived: 4. 07. 2009 Peliminay communication Accepted: 5. 0. 2009 UDC 65.02.4 This pape pesents a matix
More informationLTI, SAML, and Federated ID - Oh My!
LTI, SAML, and Fedeated ID - Oh My! Chales Seveance, Ph.D. Stephen P Vickes IMS Global Leaning Consotium http://www.imsglobal.og/ Poblem Statement We need a way to align IMS Leaning Tools Inteopeability
More informationTrading Volume and Serial Correlation in Stock Returns in Pakistan. Abstract
Tading Volume and Seial Coelation in Stock Retuns in Pakistan Khalid Mustafa Assistant Pofesso Depatment of Economics, Univesity of Kaachi e-mail: khalidku@yahoo.com and Mohammed Nishat Pofesso and Chaiman,
More informationEffect of Contention Window on the Performance of IEEE 802.11 WLANs
Effect of Contention Window on the Pefomance of IEEE 82.11 WLANs Yunli Chen and Dhama P. Agawal Cente fo Distibuted and Mobile Computing, Depatment of ECECS Univesity of Cincinnati, OH 45221-3 {ychen,
More informationAn Introduction to Omega
An Intoduction to Omega Con Keating and William F. Shadwick These distibutions have the same mean and vaiance. Ae you indiffeent to thei isk-ewad chaacteistics? The Finance Development Cente 2002 1 Fom
More informationHow to create a default user profile in Windows 7
AnswesThatWok TM How to ceate a default use pofile in Windows 7 (Win 7) How to ceate a default use pofile in Windows 7 When to use this document Use this document wheneve you want to ceate a default use
More informationSupply chain information sharing in a macro prediction market
Decision Suppot Systems 42 (2006) 944 958 www.elsevie.com/locate/dss Supply chain infomation shaing in a maco pediction maket Zhiling Guo a,, Fang Fang b, Andew B. Whinston c a Depatment of Infomation
More informationINITIAL MARGIN CALCULATION ON DERIVATIVE MARKETS OPTION VALUATION FORMULAS
INITIAL MARGIN CALCULATION ON DERIVATIVE MARKETS OPTION VALUATION FORMULAS Vesion:.0 Date: June 0 Disclaime This document is solely intended as infomation fo cleaing membes and othes who ae inteested in
More informationSmarter Transportation: The power of Big Data and Analytics
Smate Tanspotation: The powe of Big Data and Analytics Eic-Mak Huitema, Global Smate Tanspotation Leade IBM 1 Intelligent Tanspot Systems (ITS) fo the futue 2 BECAUSE WE WANT IT FOR THE FUTURE. How? The
More informationReview Graph based Online Store Review Spammer Detection
Review Gaph based Online Stoe Review Spamme Detection Guan Wang, Sihong Xie, Bing Liu, Philip S. Yu Univesity of Illinois at Chicago Chicago, USA gwang26@uic.edu sxie6@uic.edu liub@uic.edu psyu@uic.edu
More informationFixed Income Attribution: Introduction
18th & 19th Febuay 2015, Cental London Fixed Income Attibution: A compehensive undestanding of Fixed Income Attibution and the challenging data issues aound this topic Delegates attending this two-day
More informationSignificant value in diagnostic information
U.S. Centalized Oveview Tom Adkins Vice Pesident Sales and Maketing Centalized, USA 1 Centalized Significant value in diagnostic infomation Diagnostic analysis of blood and othe body fluids pefomed in
More informationInstructions to help you complete your enrollment form for HPHC's Medicare Supplemental Plan
Instuctions to help you complete you enollment fom fo HPHC's Medicae Supplemental Plan Thank you fo applying fo membeship to HPHC s Medicae Supplement plan. Pio to submitting you enollment fom fo pocessing,
More informationIntegrating Net2 with an intruder alarm system
Net AN035 Integating Net with an intude alam system Oveview Net can monito whethe the intude alam is set o uet If the alam is set, Net will limit access to valid uses who ae also authoised to uet the alam
More informationDefine What Type of Trader Are you?
Define What Type of Tade Ae you? Boke Nightmae srs Tend Ride By Vladimi Ribakov Ceato of Pips Caie 20 of June 2010 1 Disclaime and Risk Wanings Tading any financial maket involves isk. The content of this
More informationCOMPLYING WITH THE DRUG-FREE SCHOOLS AND CAMPUSES REGULATIONS
Highe Education Cente fo Alcohol and Othe Dug Abuse and Violence Pevention Education Development Cente, Inc. 55 Chapel Steet Newton, MA 02458-1060 COMPLYING WITH THE DRUG-FREE SCHOOLS AND CAMPUSES REGULATIONS
More informationTHE DISTRIBUTED LOCATION RESOLUTION PROBLEM AND ITS EFFICIENT SOLUTION
IADIS Intenational Confeence Applied Computing 2006 THE DISTRIBUTED LOCATION RESOLUTION PROBLEM AND ITS EFFICIENT SOLUTION Jög Roth Univesity of Hagen 58084 Hagen, Gemany Joeg.Roth@Fenuni-hagen.de ABSTRACT
More informationAn application of stochastic programming in solving capacity allocation and migration planning problem under uncertainty
An application of stochastic pogamming in solving capacity allocation and migation planning poblem unde uncetainty Yin-Yann Chen * and Hsiao-Yao Fan Depatment of Industial Management, National Fomosa Univesity,
More informationPublic Health and Transportation Coalition (PHiT) Vision, Mission, Goals, Objectives, and Work Plan August 2, 2012
Public Health and Tanspotation Coalition (PHiT) Vision, Mission, Goals, Objectives, and Wok Plan 2, 2012 Vision We envision Maine as a place whee people of all ages and abilities can move about in ways
More informationHow Much Should a Firm Borrow. Effect of tax shields. Capital Structure Theory. Capital Structure & Corporate Taxes
How Much Should a Fim Boow Chapte 19 Capital Stuctue & Copoate Taxes Financial Risk - Risk to shaeholdes esulting fom the use of debt. Financial Leveage - Incease in the vaiability of shaeholde etuns that
More informationPromised Lead-Time Contracts Under Asymmetric Information
OPERATIONS RESEARCH Vol. 56, No. 4, July August 28, pp. 898 915 issn 3-364X eissn 1526-5463 8 564 898 infoms doi 1.1287/ope.18.514 28 INFORMS Pomised Lead-Time Contacts Unde Asymmetic Infomation Holly
More informationSecure Smartcard-Based Fingerprint Authentication
Secue Smatcad-Based Fingepint Authentication [full vesion] T. Chales Clancy Compute Science Univesity of Mayland, College Pak tcc@umd.edu Nega Kiyavash, Dennis J. Lin Electical and Compute Engineeing Univesity
More informationAn Analysis of Manufacturer Benefits under Vendor Managed Systems
An Analysis of Manufactue Benefits unde Vendo Managed Systems Seçil Savaşaneil Depatment of Industial Engineeing, Middle East Technical Univesity, 06531, Ankaa, TURKEY secil@ie.metu.edu.t Nesim Ekip 1
More informationArmored Car Insurance Application
Amoed Ca Insuance Application Applicant Details: Fist named insued: _ Please attach list of any additional insueds to be included fo coveage. Addess: City/State/Zip: Effective date: Expiation date: Additional
More informationICD-10. Implementation
ICD-10 Implementation Mein McCabe AAPC Cetified Pofessional Code (CPC) AAPC Cetified Coding Instucto (PMCC and ICD-10) Code/Bille Independent Contacto Medical Business Advocates, LLC 858-382-9853 Mein@MedicalBusinessAdv.com
More informationOffice Leasing Guide WHAT YOU NEED TO KNOW BEFORE YOU SIGN. Colliers International Office Leasing Guide P. 1
Office Leasing Guide WHAT YOU NEED TO KNOW BEFORE YOU SIGN Collies Intenational Office Leasing Guide P. 1 THE OFFICE LEASING GUIDE This step-by-step guide has been assembled to eflect Collies Intenational
More informationUnveiling the MPLS Structure on Internet Topology
Unveiling the MPLS Stuctue on Intenet Topology Gabiel Davila Revelo, Mauicio Andeson Ricci, Benoit Donnet, José Ignacio Alvaez-Hamelin INTECIN, Facultad de Ingenieía, Univesidad de Buenos Aies Agentina
More informationAFFILIATE MEMBERSHIP APPLICATION
Califonia Constuction Tucking Association AFFILIATE MEMBERSHIP APPLICATION Reach and Netwok with the Lagest Concentation of Constuction Tucking Fims in the U.S. Affiliate Dues - $500 Annual CCTA 334 N.
More information