From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

@inproceedings{Koehler2002FromBP,
  title={From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods},
  author={Jana Koehler and Giuliano Tirenni and Santhosh Kumaran},
  booktitle={EDOC},
  year={2002}
}
Today’s business applications and their underlying process models are becoming more and more complicated, making the implementation of these processes an increasingly challenging task. On the one hand, tools and methods exist to describe the business processes. On the other hand, different tools and method exist to describe the IT artifacts implementing them. But a significant gap exists between the two. To overcome this gap, new methodologies are sought. In this paper, we discuss a pattern… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 69 CITATIONS, ESTIMATED 47% COVERAGE

146 Citations

01020'03'06'10'14'18
Citations per Year
Semantic Scholar estimates that this publication has 146 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…