ICEC-tutorial-Processes Modelling

Formal Methods For Web Service Process ModelingDr. Yuhong YanNRC-IIT-FrederictonInternet LogicWeb Service StackProcess BPEL4WS, WSCI, WS-CDLDiscovery UDDIDescription WSDLXML messaging XML-RPC, SOAP, XMLTransport HTTP, SMTP, FTP, BEEP1ICEC 2006 Tutorial on SOA13-Aug-06Web Service Process Description Languages Orchestration language: BPEL4WS Choreograph languages: WS-CDL, WSCI Formal models: Process Algebras, Petri nets, Automata2ICEC 2006 Tutorial on SOA13-Aug-06Modeling and Reasoning about Web Service Processes How to model the control flow and data flow What are the reasoning tasks What are the techniques for these tasks3ICEC 2006 Tutorial on SOA13-Aug-06Web Service Process vs. Workflow Management Workflow management– Hybrid system of human and software applications– Collaborative working environment – Workitems-actors– Process descriptions similar to orchestration languages Web services– Automated services– Interoperation and service oriented architecture– request-response– Web service process engine can be similar to workflow management engine (cf. Karagiannis 2006)4ICEC 2006 Tutorial on SOA13-Aug-06Business Process Execution Language for Web Service5ICEC 2006 Tutorial on SOA13-Aug-06Business Process Execution Language for Web Service (BPEL4WS)The information described by BPEL4WS: The execution ...