Verification of Workflow Control-Flow Patterns with the SPIN Model Checker

@inproceedings{Stolz2010VerificationOW,
  title={Verification of Workflow Control-Flow Patterns with the SPIN Model Checker},
  author={Manuela Stolz},
  year={2010}
}
Business process modelling is used to document, analyze, and improve workflow. The business process models can be decomposed into a well-known set of workflow control-flow patterns that was identified by the Workflow Patterns Initiative. This thesis proposes to use model checking techniques to verify the control-flow of business processes. To reach this, all 43 control-flow patterns are translated into Promela, the input language of the Spin model checker. During the realization of the control… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 42 REFERENCES

Workflow Patterns Initiative. http://www.workflowpatterns.com [accessed on: 2010-06-18

  • Wil M.P. van der Aalst, Arthur H.M. ter Hofstede
  • 2010
Highly Influential
3 Excerpts

Similar Papers

Loading similar papers…