1 / 13

Choreography Mining and Conformance Checking: The ProM tool

Choreography Mining and Conformance Checking: The ProM tool. Wil van der Aalst TU/e. First: Towards more declarative languages. Two observations: BPEL is interesting and nice for execution but not for specification ...

minor
Download Presentation

Choreography Mining and Conformance Checking: The ProM tool

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Choreography Mining and Conformance Checking: The ProM tool Wil van der Aalst TU/e

  2. First: Towards more declarative languages ... Two observations: • BPEL is interesting and nice for execution but not for specification ... • Different ways to support flexibility: FLOWer, ADEPT, YAWL worklets, Caramba, etc. Problem: Over-specification! Proposal: DecSerFlow (Declarative Service Flow Language)

  3. Approach

  4. Staffware FLOWer Websphere YAWL ADEPT ARIS PPM/SIM Outlook Caramba SAP PeopleSoft InConcert IBM MQSeries CPN Tools CVS Oracle BPEL UML SD company specific systems ... Process mining - ProM CJIB UWV Rijkswaterstaat ASML AMC hospital Catharina hospital Eindhoven Heusden ING Bank ... DecSerFlow << import not implemented yet >> ... EPC (ARIS, ARIS PPM, EPML,Visio) BPEL (Oracle BPEL, Websphere) YAWL Petri nets (PNML, TPN, ...) CPN (CPN Tools) Protos ...

  5. Conformancein webservices(abstract BPEL + SOAP messages)

  6. DEMO ProM

  7. Relevant WWW sites • http://www.processmining.org • http:// promimport.sourceforge.net • http://prom.sourceforge.net • http://www.workflowpatterns.com • http://www.workflowcourse.com • http://is.tm.tue.nl/ • http://is.tm.tue.nl/staff/wvdaalst

  8. More on DecSerFlow • DecSerFlow allows for a declarative style of modeling which is highly relevant in the context of service flows (unlike languages like BPEL). • Through the graphical representation of DecSerFlow this language is easy to use and we avoid the problems of textual languages like LTL. • We use LTL not only for the verification of model properties: we also use the LTL formulas generated by DecSerFlow to dynamically monitor services and to realize an enactment engine. • DecSerFlow is an extendible language (i.e., we supply an editor to extend the language with user-defined graphical constructs without the need to modify any part of the system).

  9. Approach

  10. Example

  11. Example

  12. Mapping

More Related