Conformance checking of service behavior

ACM Transactions on Internet Technology

Volumn 8, Issue 3, 2008, Pages

  Van Der Aalst, Wil M P ^a   Dumas, Marlon ^b   Ouyang, Chun ^c   Rozinat, Anne ^a   Verbeek, Eric ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF TARTU   (Estonia)

^c QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

BPEL; Conformance; Petri nets; ProM; Web services

Indexed keywords

COMPUTER NETWORKS; GRAPH THEORY; INDUSTRY; INFORMATION SERVICES; MARINE BIOLOGY; PETRI NETS; STANDARDS; WEB SERVICES;

(E ,3E) PROCESS; (EXTENDED) PETRI NETS; APPLIED (CO); BUSINESS PROCESS ANALYSIS; BUSINESS PROCESS EXECUTION LANGUAGE FOR WEB SERVICES (BPEL4WS); CONFORMANCE CHECKING; INDIVIDUAL (PSS 544-7); INDUSTRY STANDARDS; MESSAGE EXCHANGING; PROCESS MODELLING; SERVICE ORIENTED SYSTEMS; TOOL SETS;

MODEL CHECKING;

EID: 43149089736     PISSN: 15335399     EISSN: 15576051     Source Type: Journal    
DOI: 10.1145/1361186.1361189     Document Type: Article

References (33)

1. AALST, VAN DER W. 1998. The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8, 1, 21-66.
2. AALST, VAN DER W. 2005. Business alignment: Using process mining as a tool for delta analysis and conformance testing. Requirements Engin. J. 10, 3, 198-211.
3. AALST, VAN DER W., DUMAS, M., OUYANG, C., ROZINAT, A., AND VERBEEK, H. 2005. Choreography conformance checking: An approach based on BPEL and Petri nets (extended version). BPM Center Report BPM-05-25, BPMcenter.org.
4. AALST, VAN DER W. AND MEDEIROS, A. 2004. Process mining and security: Detecting anomalous process executions and checking process conformance. In 2nd International Workshop on Security Issues with Petri Nets and Other Computational Models (WISP04), N. Busi, R. Gorrieri, and F. Martinelli, Eds. STAR, Servizio Tipografico Area della Ricerca, CNR Pisa, Italy, 69-84.
5. AALST, VAN DER W. AND PESIC, M. 2006. DecSerFlow: Towards a truly declarative service flow language. In International Conference on Web Services and Formal Methods(WS-FM06),M. Bravetti, M. Nunez, and G. Zavattaro, Eds. Lecture Notes in Computer Science, vol. 4184. Springer-Verlag, Berlin, Germany, 1-23.
6. AALST, VAN DER W., DONGEN, VAN B., HERBST, J., MARUSTER, L., SCHIMM, G., AND WEIJTERS, A. 2003. Workflow mining: A survey of issues and approaches. Data Knowl. Engin. 47, 2, 237-267.
7. AALST, VAN DER W., WEIJTERS, A., AND MARUSTER, L. 2004. Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Engin. 16, 9, 1128-1142.
8. ANDREWS, T., CURBERA, F., DHOLAKIA, H., GOLAND, Y., KLEIN, J., LEYMANN, F., LIU, K., ROLLER, D., SMITH, D., THATTE, S., TRICKOVIC, I., AND WEERAWARANA, S. 2003. Business process execution language for Web services, Version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation.
9. BARESI, L., GHEZZI, C., AND GUINEA, S. 2004. Smart monitors for composed services. In Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC '04). ACM Press, New York, NY, 193-202.
10. BOX, D., EHNEBUSKE, D., KAKIVAYA, G., LAYMAN, A., MENDELSOHN, N., NIELSEN, H., THATTE, S., AND WINER, D. 2000. Simple Object Access Protocol (SOAP) 1.1. http://www.w3.org/TR/soap.
11. CARDOSO, J., SHETH, A., MILLER, J., ARNOLD, J., AND KOCHUT, K. 2004. Quality of service for workflows and Web service processes. J. Web Semant. 1, 3, 281-308.
12. DESEL, J., REISIG, W., AND ROZENBERG, G., Eds. 2004. Lectures on concurrency and Petri nets. Lecture Notes in Computer Science, vol. 3098. Springer-Verlag, Berlin, Germany.
13. DONGEN, VAN B., MEDEIROS, A., VERBEEK, H., WEIJTERS, A., AND AALST, VAN DER W. 2005. The ProM framework: A new era in process mining tool support. In Application and Theory of Petri Nets, G. Ciardo and P. Darondeau, Eds. Lecture Notes in Computer Science, vol. 3536. Springer-Verlag, Berlin, Germany, 444-454.
14. DUSTDAR, S., GOMBOTZ, R., AND BAINA, K. 2004. Web services interaction mining. Tech. rep. TUV-1841-2004-16, Information Systems Institute, Vienna University of Technology, Wien, Austria.
15. FAHLAND, D. AND REISIG, W. 2005. ASM-based semantics for BPEL: The negative control flow. In 12th International Workshop on Abstract State Machines, D. Beauquier and E. Börger and A. Slissenko, Ed., 131-151.
16. FERRARA, A. 2004. Web services: A process algebra approach. In Proceedings of the 2nd International Conference on Service Oriented Computing. ACM Press, New York, NY, 242-251.
17. FISTEUS, J., FERNÁNDEZ, L., AND KLOOS, C. 2004. Formal verification of BPEL4WS business collaborations. In Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (EC-Web'04), K. Bauknecht, M. Bichler, and B. Proll, Eds. Lecture Notes in Computer Science, vol. 3182. Springer-Verlag, Berlin, Germany, 79-94.
18. GLABBEEK, R. AND WEIJLAND, W. 1996. Branching time and abstraction in bisimulation semantics. J. ACM 43, 3, 555-600.
19. GOMBOTZ, R. AND DUSTDAR, S. 2005. On Web services mining. In Workshop on Business Process Intelligence. C. Bussler et al., Ed. Lecture Notes in Computer Science, vol. 3812. Springer-Verlag, Berlin, Germany, 216-228.
20. HINZ, S., SCHMIDT, K., AND STAHL X, C. 2005. Transforming BPEL to Petri nets. In International Conference on Business Process Management (BPM05), W. van der Aalst, A. ter Hofstede, and M. Weske, Eds. Lecture Notes in Computer Science, vol. 2678. Springer-Verlag, Berlin, Germany, 220-235.
21. JORDAN, D., EVDEMON, J., et al. 2006. Web services business process execution language version 2.0. Public Review Draft (August 2006), OASIS WS-BPEL Technical Committee.
22. LAZOVIK, A., AIELLO, M., AND PAPAZOGLOU, M. 2004. Associating assertions with business processes and monitoring their execution. In Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC'04). ACM Press, New York, NY, 94-104.
23. LUDWIG, H., DAN, A., AND KEARNEY, R. 2004. Crona: An architecture and library for creation and monitoring of WS-agreements. In Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC'04). ACM Press, New York, NY, 65-74.
24. MAHBUB, K. AND SPANOUDAKIS, G. 2004. A framework for requirents monitoring of service based systems. In Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC'04). ACM Press, New York, NY, 84-93.
25. MEDEIROS, A., WEIJTERS, A., AND AALST, VAN DER W. 2006. Genetic process mining: A basic approach and its challenges. In Workshop on Business Process Intelligence, C. Bussler et al., Ed. Lecture Notes in Computer Science, vol. 3812. Springer-Verlag, Berlin, Germany, 203-215.
26. MURATA, T. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE 77, 4, 541-580.
27. OUYANG, C., VERBEEK, H., AALST, VAN DER W., BREUTEL, S., DUMAS, M., AND HOFSTEDE, TER A. 2005. WofBPEL: A tool for automated analysis of BPEL processes. In Proceedings of Service-Oriented Computing (ICSOC'05), B. Benatallah, F. Casati, and P. Traverso, Eds. Lecture Notes in Computer Science, vol. 3826. Springer-Verlag, Berlin, Germany, 484-489.
28. OUYANG, C., AALST, VAN DER W., BREUTEL, S., DUMAS, M., HOFSTEDE, TER A., AND VERBEEK, H. 2005. Formal semanticsand analysis of control flow in WS-BPEL (RevisedVersion). BPM Center Report BPM-05-15, BPMcenter.org.
29. PAUW, W., LEI, M., PRING, E., VILLARD, L., ARNOLD, M., AND MORAR, J. 2005. Web services navigator: Visualizing the execution of Web services. IBM Syst. J. 44, 4, 821-845.
30. ROZINAT, A. AND AALST, VAN DER W. 2008. Conformance checking of process based on monitoring real behavior. Inform. Syst. 33, 1, 64-95.
31. ROZINAT, A. AND AALST, VAN DER W. 2006. Conformance testing: Measuring the fit and appropriateness of event logs and process models. In Workshop on Business Process Intelligence. C. Bussler et al., Ed. Lecture Notes in Computer Science, vol. 3812. Springer-Verlag, Berlin, Germany, 163-176.
32. VERBEEK, H., BASTEN, T., AND AALST, VAN DER W. 2001. Diagnosing workflow processes using Woflan. Comput. J. 44, 4, 246-279.
33. ZAHA, J., BARROS, A., DUMAS, M., AND HOFSTEDE, TER A. 2006. Lets dance: A language for service behavior modeling. In OTM Proceedings of the 14th International Conference on Cooperative Information Systems (CoopIS'06), R. Meersman and Z. T. et al., Eds. Lecture Notes in Computer Science, vol. 4275. Springer-Verlag, Berlin, Germany, 145-162.