Using formal analysis techniques in busines process redesign

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Abstract

Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis techniques by giving an outline on the subject first. Next, a specific, newly developed formal technique is discussed.
Original languageEnglish
Title of host publicationBusiness Process Management : Models, Techniques, and Empirical Studies
EditorsW.M.P. Aalst, van der, A. Oberweis
Place of PublicationBerlin
PublisherSpringer
Pages142-160
Number of pages19
ISBN (Print)3-540-67454-3
DOIs
Publication statusPublished - 2000

Publication series

NameLecture Notes in Computer Science
Volume1806
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'Using formal analysis techniques in busines process redesign'. Together they form a unique fingerprint.

  • Cite this

    Reijers, H. A., & Hee, van, K. M. (2000). Using formal analysis techniques in busines process redesign. In W. M. P. Aalst, van der, & A. Oberweis (Eds.), Business Process Management : Models, Techniques, and Empirical Studies (pp. 142-160). (Lecture Notes in Computer Science; Vol. 1806). Springer. https://doi.org/10.1007/3-540-45594-9_10