Skip to main content
SpringerLink
Log in

Behavioral Consistency Measurement and Analysis of WS-BPEL Processes

  • Conference paper
Web-Age Information Management (WAIM 2013)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 7923))

Included in the following conference series:

Abstract

With the development of services and cloud computing, service-based business processes (e.g., WS-BPEL processes) are paid more attention by practitioners. Business parties usually keep their BPEL processes in a process repository. In order to facilitate the retrieval, maintenance, and reuse of BPEL processes in the repository, we need an appropriate measurement criterion to analyze the behavioral consistency between BPEL processes. In this paper, we propose a novel measurement criterion and corresponding analysis approach to determine the behavioral consistency between two BPEL processes quantitatively. Our measurement and approach are based on BPEL program dependence graphs (BPDGs). We have faithfully implemented our approach in a prototype tool which is used to analyze the behavioral consistency of BPEL processes.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. WS-BPEL 2.0 Specification (2007), http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html

  2. van Glabbeek, R.J.: The linear time – branching time spectrum. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458, pp. 278–297. Springer, Heidelberg (1990)

    Google Scholar 

  3. Weidlich, M., Mendling, J., Weske, M.: Efficient consistency measurement based on behavioral profiles of process models. IEEE Transactions on Software Engineering 37(3), 410–429 (2011)

    Article  MathSciNet  Google Scholar 

  4. IEEE, Standard glossary of software engineering terminology (1990)

    Google Scholar 

  5. Song, W., Ma, X.X., Cheung, S.C., Hu, H., Yang, Q.L., Lü, J.: Refactoring and publishing WS-BPEL processes to obtain more partners. In: 2011 IEEE International Conference on Web Services, pp. 129–136 (2011)

    Google Scholar 

  6. Song, W., Tang, J.H., Zhang, G.X., Ma, X.X.: Substitutability analysis of WS-BPEL services. China Science: Information Science 42(3), 264–279 (2012) (in Chinese)

    Google Scholar 

  7. Nanda, M.G., Chandra, S., Sarkar, V.: Decentralizing execution of composite Web services. In: OOPSLA 2004, vol. 39(10), pp. 170–187 (2004)

    Google Scholar 

  8. Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. TOPLAS 9(3), 319–349 (1987)

    Article  MATH  Google Scholar 

  9. Ramackers, G.J.: Integrated Object Modelling. PhD dissertation, Leiden University (1994)

    Google Scholar 

  10. Kǒnig, D., Lohmsnn, N., Moser, S.: Extending the compatibility notion for abstract WS-BPEL processes. In: Proc. of WWW 2008, pp. 785–794 (2008)

    Google Scholar 

  11. Corrales, J.C., Grigori, D., Bouzeghoub, M.: BPEL processes matchmaking for service discovery. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 237–254. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. Li, C., Reichert, M., Wombacher, A.: On measuring process model similarity based on high-level change operations. In: Li, Q., Spaccapietra, S., Yu, E., Olivé, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 248–264. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  13. Mahmod, N.M., Sadiq, S.W., Lu, R.: Similarity matching of business process variants. In: Proc. of the Tenth Int. Conf. on Enterprise Information Systems, ISAS-2, pp. 234–239 (2008)

    Google Scholar 

  14. Kunze, M., Weidlich, M., Weske, M.: Behavioral similarity – A proper metric. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 166–181. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  15. Wang, J., He, T., Wen, L., Wu, N., ter Hofstede, A.H.M., Su, J.: A behavioral similarity measure between labeled Petri nets based on principal transition sequences. In: Meersman, R., Dillon, T.S., Herrero, P. (eds.) OTM 2010, Part I. LNCS, vol. 6426, pp. 394–401. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  16. van Dongen, B.F., Dijkman, R., Mendling, J.: Measuring similarity between business process models. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 450–464. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  17. Grigori, D., Corrales, J.C., Bouzeghoub, M., Gater, A.: Ranking BPEL processes for service discovery. IEEE Transactions on Services Computing 3(3), 178–192 (2010)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. PLA University of Science and Technology, Nanjing, China

    Xuewei Zhang, Jianchun Xing, Qiliang Yang & Hongda Wang

  2. Nanjing University of Science and Technology, Nanjing, China

    Wei Song & Wenjia Zhang

  3. State Key Laboratory of Software Engineering, Wuhan University, Wuhan, China

    Xuewei Zhang & Wei Song

Authors
  1. Xuewei Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wei Song
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jianchun Xing
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Qiliang Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Hongda Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Wenjia Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Technology, Tsinghua University, 100084, Beijing, China

    Jianyong Wang

  2. Management Science and Information Systems Department, Rutgers, the State University of New Jersey, 1, Washington Park, 07102, Newark, NJ, USA

    Hui Xiong

  3. Department of Information Engineering, Nagoya University, 464-8601, Nagoya, Japan

    Yoshiharu Ishikawa

  4. Department of Computer Science, Hong Kong Baptist University, Hong Kong

    Jianliang Xu

  5. School of Information Science and Engineering, Yanshan University, Qinhuangdao, China

    Junfeng Zhou

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, X., Song, W., Xing, J., Yang, Q., Wang, H., Zhang, W. (2013). Behavioral Consistency Measurement and Analysis of WS-BPEL Processes. In: Wang, J., Xiong, H., Ishikawa, Y., Xu, J., Zhou, J. (eds) Web-Age Information Management. WAIM 2013. Lecture Notes in Computer Science, vol 7923. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38562-9_63

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-38562-9_63

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-38561-2

  • Online ISBN: 978-3-642-38562-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation