Skip to main content
SpringerLink
Log in

A Method to Check the Structure of Sequential Business Process Models

  • Conference paper
Advances in Automation and Robotics, Vol. 2

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

Abstract

To satisfy the requirement of user customized business processes, a special kind of computation independent model named well-structured sequential business process model was researched. The method to check the structure of sequential business process models was also proposed. The well-structured sequential business process model was designed in business process modeling notation 1.1 version. It was converted to flowchart model in Windows Workflow Foundation 4.0 version directly, and the tool for model checking was implemented on Windows platform. Experimental results showed that this method supported model converting, and improved the quality of business process models.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Soley, R.: Model Driven Architecture, http://www.omg.org/cgi-bin/doc?omg/00-11-05.pdf

  2. Meservy, T., Fenstermacher, K.: Transforming software development: An MDA road map. Computer 38(9), 52–58 (2005)

    Article  Google Scholar 

  3. Braganca, A., Machado, R.J.: A model-driven approach for the derivation of architectural requirements of software product lines. Innovations in Systems and Software Engineering 5(1), 65–78 (2009)

    Article  Google Scholar 

  4. Jindan, F., Dechen, Z., Lanshun, N., et al.: Modeling business object platform independent model and its completenes. Computer Integrated Manufacturing Systems 17(6), 1308–1316 (2011)

    Google Scholar 

  5. Sendall, S., Kozaczynski, W.: Model transformation: The heart and soul of model-driven software development. IEEE Software 20(5), 42–45 (2003)

    Article  Google Scholar 

  6. Object Management Group.DTC/2008-01-17 Business Process Modeling Notation, http://www.omg.org/spec/BPMN/1.1/PDF

  7. Workflow Management Coalition. WFMC-TC-1025 Process Definition Interface – XML Process Definition Language, http://www.wfmc.org/xpdl.html

  8. Jordan, D., Evdemon, J.: Web Services Business Process Execution Language Version 2.0, http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.pdf

  9. Microsoft. Windows Workflow Foundation, http://www.microsoft.com/visualstudio/en-us/products/2010-editions

  10. Weqqing, L., Jian, W.: Analysis of process control pattern of XPDL 2.0. Computer Integrated Manufacturing Systems 13(9), 1839–1846 (2007)

    Google Scholar 

  11. Zapletal, M., Aalst, W.M.P., Russell, N., et al.: An Analysis of Windows Workflow’s Control-Flow Expressiveness. In: Eshuis, R., Grefen, P., Papadopoulos, G. (eds.) Proceedings of the 7th IEEE European Conference on Web Services, pp. 200–209. IEEE Computer Society, Los Alamitos (2009)

    Chapter  Google Scholar 

  12. Lin, M., Tao, J., Jianmin, W.: Transformation Technology from XPDL Model to WWF Mode. Journal of Computer Research and Development 46(suppl.), 165–171 (2009)

    Google Scholar 

  13. Morimoto, S.: A Survey of Formal Verification for Business Process Modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A., et al. (eds.) ICCS 2008, Part II. LNCS, vol. 5102, pp. 514–522. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  14. Lohmann, N., Verbeek, E., Dijkman, R.: Petri Net Transformations for Business Processes – A Survey. LNCS Transactions on Petri Nets and Other Models of Concurrency 2, 46–63 (2009)

    Article  Google Scholar 

  15. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Information and Software Technology 50, 1281–1294 (2008)

    Article  Google Scholar 

  16. Zha, H., Yang, Y., Wang, J., Wen, L.: Transforming XPDL to Petri Nets. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 197–207. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  17. Jian, D., Zhi, C., Jiazhi, Z.: Formal verification of business process models using Petri nets. Computer Integrated Manufacturing Systems 17(5), 1110–1119 (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science & Engineering, University of Electronic Science & Technology of China, Chengdu, 610054, China

    Jian Deng & Jiazhi Zeng

  2. National Key Laboratory of Science and Technology on Communications, University of Electronic Science & Technology of China, Chengdu, 610054, China

    Zhi Chen

Authors
  1. Jian Deng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhi Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jiazhi Zeng
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Information Engineering Research Institute , 100 Continental Dr, 19713, Newark, DE, USA

    Gary Lee

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Deng, J., Chen, Z., Zeng, J. (2011). A Method to Check the Structure of Sequential Business Process Models. In: Lee, G. (eds) Advances in Automation and Robotics, Vol. 2. Lecture Notes in Electrical Engineering, vol 123. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25646-2_48

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-25646-2_48

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-25645-5

  • Online ISBN: 978-3-642-25646-2

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation