Abstract
A service-oriented system is composed of independent software units, namely services, that interact with one another exclusively through message exchanges. The proper functioning of such system depends on whether or not each individual service behaves as the other services expect it to behave. Since services may be developed and operated independently, it is unrealistic to assume that this is always the case. This article addresses the problem of checking and quantifying how much the actual behavior of a service, as recorded in message logs, conforms to the expected behavior as specified in a process model. We consider the case where the expected behavior is defined using the BPEL industry standard (Business Process Execution Language for Web Services). BPEL process definitions are translated into Petri nets and Petri net-based conformance checking techniques are applied to derive two complementary indicators of conformance: fitness and appropriateness. The approach has been implemented in a toolset for business process analysis and mining, namely ProM, and has been tested in an environment comprising multiple Oracle BPEL servers.
- Aalst, van der W. 1998. The application of Petri nets to workflow management. J. Circ. Syst. Comput. 8, 1, 21--66.Google Scholar
Cross Ref
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- 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.Google Scholar
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- 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.Google Scholar
Cross Ref
- 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.Google Scholar
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- 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.Google Scholar
- 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. Google Scholar
Digital Library
- 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.Google Scholar
- Glabbeek, R. and Weijland, W. 1996. Branching time and abstraction in bisimulation semantics. J. ACM 43, 3, 555--600. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- Hinz, S., Schmidt, K., and Stahl, 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. Google Scholar
Digital Library
- 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.Google Scholar
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- Murata, T. 1989. Petri nets: Properties, analysis and applications. Proc. IEEE 77, 4, 541--580.Google Scholar
Cross Ref
- 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. Google Scholar
Digital Library
- Ouyang, C., Aalst, van der W., Breutel, S., Dumas, M., Hofstede, ter A., and Verbeek, H. 2005. Formal semantics and analysis of control flow in WS-BPEL (Revised Version). BPM Center Report BPM-05-15, BPMcenter.org.Google Scholar
- 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. Google Scholar
Digital Library
- Rozinat, A. and Aalst, van der W. 2008. Conformance checking of process based on monitoring real behavior. Inform. Syst. 33, 1, 64--95. Google Scholar
Digital Library
- 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. Google Scholar
Digital Library
- Verbeek, H., Basten, T., and Aalst, van der W. 2001. Diagnosing workflow processes using Woflan. Comput. J. 44, 4, 246--279.Google Scholar
Cross Ref
- 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. Google Scholar
Digital Library
Index Terms
Conformance checking of service behavior
Recommendations
Automatic Protocol Conformance Checking of Recursive and Parallel BPEL Systems
ECOWS '08: Proceedings of the 2008 Sixth European Conference on Web ServicesToday model checking of Web Services formulated in BPEL is often reduced by transforming BPEL-processes to Petri nets. These can be model checked using traditional approaches. If recursion is present in the BPEL model this approach hides some possible ...
Verifying soundness of geodata web service composition based on Petri nets
The emergence of service-oriented architecture (SOA) has made it possible to establish easily accessible geodata web services and perform distributed geodata processing and modelling, which facilitate the provision of geo information in real time. ...
Automatic service composition with heterogeneous service-oriented architectures
ICOST'10: Proceedings of the Aging friendly technology for health and independence, and 8th international conference on Smart homes and health telematicsService-Oriented Architecture is widely used to program pervasive spaces such as Smart Homes because of its capabilities to handle dynamic and heterogeneous environments. It is often the case that the services required are designed and implemented using ...






Comments