On Enabling Data-Aware Compliance Checking of Business Process Models

@inproceedings{Knuplesch2010OnED,
  title={On Enabling Data-Aware Compliance Checking of Business Process Models},
  author={David Knuplesch and Linh Thao Ly and Stefanie Rinderle-Ma and Holger Pfeifer and Peter Dadam},
  booktitle={ER},
  year={2010}
}
In the light of an increasing demand on business process compliance, the veri cation of process models against compliance rules has become essential in enterprise computing. To be broadly applicable compliance checking has to support data-aware compliance rules as well as to consider data conditions within a process model. Independently of the actual technique applied to accomplish compliance checking, dataawareness means that in addition to the control ow dimension, the data dimension has to… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 68 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 20 references

An overview of SAL

  • S Bensalem
  • Proc. of the 5th NASA Langley Formal Methods…
  • 2000
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…