A Method to Check the Structure of Sequential Business Process Models

Jiao-Yu Deng,Zhi Chen,Zeng Jia-zhi
DOI: https://doi.org/10.1007/978-3-642-25646-2_48
2011-01-01
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.
What problem does this paper attempt to address?