Skip to main content
SpringerLink
Log in

Construction Method of Exception Control Flow Graph for Business Process Execution Language Process

  • Conference paper
  • First Online:
Computer Engineering and Networking

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 277))

  • 1321 Accesses

Abstract

Traditional control flow graph of exception handling lacks an explicit description of exception handling and propagation and cannot be used to well analyze the exception situations and exception handling error. To solve these problems, this chapter presents a construction method of exception control flow graph (ECFG) for BPEL process. This method uses a label that is marked exception and is of power for collection computing to describe exception information of BPEL process in building the ECFG. Moreover, the experiment shows that the ECFG generated can clearly express exception information and propagation process in BPEL process.

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 259.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover 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

References

  1. Sinha, S., & Harrold, M. J. (2000). Analysis and testing of programs with exception-handling constructs. IEEE Transactions on Software Engineering, 26(9), 849–871.

    Article  Google Scholar 

  2. Jo, J. W., & Chang, B. M. (2004). Constructing control flow graph for java by decoupling exception flow from normal flow. In International Conference on Computable Science and Its Applications (pp. 106–113). Heidelberg: Springer.

    Google Scholar 

  3. Amighi, A., de Gomes, P. C., Gurov, D., & Huisman, M. (2012). Sound control-flow graph extraction for Java programs with exceptions. In Software Engineering and Formal Methods (pp. 33–47). Heidelberg: Springer.

    Google Scholar 

  4. Prabhu, P., Maeda, N., Balakrishnan, G., Ivančić, F., & Gupta, A. (2011). Interprocedural exception analysis for C++. In ECOOP 2011 (pp. 583–608). Heidelberg: Springer.

    Google Scholar 

  5. Demange, D., Jensen, T., & Pichardie, D. (2009). A provably correct stackless intermediate representation for Java bytecode (Research Report 7021). INRIA.

    Google Scholar 

  6. Amighi, A., Gomes, P., & Huisman, M. (2011). Provably correct control-flow graphs from Java programs with exceptions (Technology Report). KTH Royal Institute of Technology.

    Google Scholar 

  7. Jiang, S., & Jiang, Y. (2007). An analysis approach for testing exception handling programs. SIGPLAN Notices, 42(4), 3–8.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The State Key Lab of Software Engineering, Wuhan University, Wuhan, 430072, China

    Caoqing Jiang, Shi Ying & Hua Guan

  2. Guangxi University of Financial and Economics, Nanning, 530003, China

    Caoqing Jiang & Shanming Hu

Authors
  1. Caoqing Jiang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shi Ying
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shanming Hu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hua Guan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Caoqing Jiang .

Editor information

Editors and Affiliations

  1. University of Texas at Dallas, Richardson, Texas, USA

    W. Eric Wong

  2. Chinese Academy of Sciences, Beijing, China, People’s Republic

    Tingshao Zhu

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Jiang, C., Ying, S., Hu, S., Guan, H. (2014). Construction Method of Exception Control Flow Graph for Business Process Execution Language Process. In: Wong, W.E., Zhu, T. (eds) Computer Engineering and Networking. Lecture Notes in Electrical Engineering, vol 277. Springer, Cham. https://doi.org/10.1007/978-3-319-01766-2_40

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-01766-2_40

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-01765-5

  • Online ISBN: 978-3-319-01766-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation