W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede, N. Russell, H. M. W. Verbeek, and P. Wohed, “Life after bpel?,” in Formal techniques for computer systems and business processes (ws-fm 2005), Versailles, France, 2005, pp. 35-50. [Bibtex] @InProceedings{Aalst05, Title = {Life after BPEL?}, Author = {Aalst, W. M. P. van … [Read more…]
H. M. W. Verbeek, “Verification of wf-nets,” PhD Thesis, 2004. [Bibtex] @PhdThesis{Verbeek04, Title = {Verification of WF-nets}, Author = {Verbeek, H. M. W.}, School = {BETA}, Year = {2004}, Month = {June}, Abstract = {The workflow process definition (WPD) of a workflow management system (WFMS) is an important concept in this thesis. If we compare … [Read more…]
W. M. P. van der Aalst, A. Hirnschall, and H. M. W. Verbeek, “An alternative way to analyze workflow graphs,” in Conference on advanced information systems (caise) 2002, 2002, pp. 535-552. [Bibtex] @InProceedings{Aalst02, Title = {An Alternative Way to Analyze Workflow Graphs}, Author = {Aalst, W. M. P. van der and Hirnschall, A. and Verbeek, … [Read more…]
W. M. P. van der Aalst, H. M. W. Verbeek, and A. Kumar, “Xrl/woflan: verification of an xml/petri-net based language for inter-organizational workflows,” in Proceedings of the 6th informs conference on information systems and technology (cist-2001), 2001, pp. 30-45. [Bibtex] @InProceedings{Aalst01, Title = {XRL/Woflan: Verification of an XML/Petri-net based language for inter-organizational workflows}, Author = … [Read more…]
W. M. P. van der Aalst, T. Basten, H. M. W. Verbeek, P. A. C. Verkoulen, and M. Voorhoeve, “Adaptive workflow: on the interplay between flexibility and support,” in Enterprise information systems, J. Filipe, Ed., Norwell: Kluwer Academic Publishers, 2000, pp. 63-70. [Bibtex] @InCollection{Aalst00, Title = {Adaptive Workflow: On the Interplay between Flexibility and Support}, … [Read more…]
W. M. P. van der Aalst, T. Basten, H. M. W. Verbeek, P. A. C. Verkoulen, and M. Voorhoeve, “Adaptive workflow: on the interplay between flexibility and support,” in Proceedings of the first international conference on enterprise information systems, Setúbal, Portugal, 1999, pp. 353-360. [Bibtex] @InProceedings{Aalst99a, Title = {Adaptive Workflow: On the Interplay between Flexibility … [Read more…]
W. M. P. van der Aalst, D. Hauschildt, and H. M. W. Verbeek, “A petri-net-based tool to analyze workflows,” in Proceedings of petri nets in system engineering (pnse97), Hamburg, Germany, 1997, pp. 78-90. [Bibtex] @InProceedings{Aalst97, Title = {A Petri-net-based Tool to Analyze Workflows}, Author = {Aalst, W. M. P. van der and Hauschildt, D. and … [Read more…]
Workflow management technology promises a flexible solution for business-process support facilitating the easy creation of new business processes and modification of existing processes. Unfortunately, todays workflow products have no support for workflow verification. Errors made at design-time are not detected and result in very costly failures at run-time. Woflan helps you to detect these errors … [Read more…]
Recent Comments