skip to main content
research-article

Conformance checking of service behavior

Published: 28 May 2008 Publication History

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.

References

[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, 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 semantics and analysis of control flow in WS-BPEL (Revised Version). 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.

Cited By

View all
  • (2022)Supporting automated containment checking of software behavioural models using model transformations and model checkingScience of Computer Programming10.1016/j.scico.2019.01.005174:C(38-71)Online publication date: 18-Apr-2022
  • (2022)Fuzzy multi-perspective conformance checking for business processesApplied Soft Computing10.1016/j.asoc.2022.109710130(109710)Online publication date: Nov-2022
  • (2022)A state-of-the-art review on performance measurement petri net models for safety critical systems of NPPAnnals of Nuclear Energy10.1016/j.anucene.2021.108635165(108635)Online publication date: Jan-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Internet Technology
ACM Transactions on Internet Technology  Volume 8, Issue 3
May 2008
127 pages
ISSN:1533-5399
EISSN:1557-6051
DOI:10.1145/1361186
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 May 2008
Accepted: 01 December 2006
Revised: 01 May 2006
Received: 01 November 2005
Published in TOIT Volume 8, Issue 3

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. BPEL
  2. Petri nets
  3. ProM
  4. Web services
  5. conformance

Qualifiers

  • Research-article
  • Research
  • Refereed

Funding Sources

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)28
  • Downloads (Last 6 weeks)5
Reflects downloads up to 20 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2022)Supporting automated containment checking of software behavioural models using model transformations and model checkingScience of Computer Programming10.1016/j.scico.2019.01.005174:C(38-71)Online publication date: 18-Apr-2022
  • (2022)Fuzzy multi-perspective conformance checking for business processesApplied Soft Computing10.1016/j.asoc.2022.109710130(109710)Online publication date: Nov-2022
  • (2022)A state-of-the-art review on performance measurement petri net models for safety critical systems of NPPAnnals of Nuclear Energy10.1016/j.anucene.2021.108635165(108635)Online publication date: Jan-2022
  • (2020)Testing Web Service Compositions: Approaches, Methodology and AutomationAdvances in Science, Technology and Engineering Systems Journal10.25046/aj0501215:1(159-168)Online publication date: Jan-2020
  • (2020)Research on Performance Consistency Quantification Evaluation System for Superbuck Converter2020 Chinese Automation Congress (CAC)10.1109/CAC51589.2020.9326670(5447-5452)Online publication date: 6-Nov-2020
  • (2020)A behavior-aware SLA-based framework for guaranteeing the security conformance of cloud serviceFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-019-9130-014:6Online publication date: 1-Dec-2020
  • (2020)Quantifying the Cost of Distrust: Comparing Blockchain and Cloud Services for Business Process ExecutionInformation Systems Frontiers10.1007/s10796-018-9876-122:2(489-507)Online publication date: 1-Apr-2020
  • (2020)A hybrid fuzzy multi-criteria decision making model for selecting a sustainable supplier of forklift filters: a case study from the mining industryAnnals of Operations Research10.1007/s10479-020-03737-yOnline publication date: 30-Jul-2020
  • (2020)Actionable Conformance Checking: From Intuitions to CodeBig Data Management and Analytics10.1007/978-3-030-61627-4_1(1-24)Online publication date: 2-Nov-2020
  • (2020)Integrated model‐driven engineering of blockchain applications for business processes and asset managementSoftware: Practice and Experience10.1002/spe.293151:5(1059-1079)Online publication date: 9-Nov-2020
  • Show More Cited By

View Options

Login options

Full Access

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media