Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata

@inproceedings{Maggi2011MonitoringBC,
  title={Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata},
  author={Fabrizio Maria Maggi and Marco Montali and Michael Westergaard and Wil M. P. van der Aalst},
  booktitle={BPM},
  year={2011}
}
Today’s information systems record real-time information about business processes. This enables the monitoring of business constraints at runtime. In this paper, we present a novel runtime verification framework based on linear temporal logic and colored automata. The framework continuously verifies compliance with respect to a predefined constraint model. Our approach is able to provide meaningful diagnostics even after a constraint is violated. This is important as in reality people and… CONTINUE READING
Highly Cited
This paper has 147 citations. REVIEW CITATIONS
87 Citations
17 References
Similar Papers

Citations

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

148 Citations

02040'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 148 citations based on the available data.

See our FAQ for additional information.

References

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

Similar Papers

Loading similar papers…