Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata-Reference-Cited by-同舟云学术

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

Published:2011 Issue: Volume: Page:132-147
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Maggi Fabrizio Maria,Montali Marco,Westergaard Michael,van der Aalst Wil M. P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-23059-2_13

Reference17 articles.

1. Lecture Notes in Computer Science;A. Awad,2008

2. Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL Semantics for Runtime Verification. Logic and Computation 20(3), 651–674 (2010)

3. Lecture Notes in Computer Science;F. Chesani,2009

4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)

5. Dadam, P., Reichert, M.: The ADEPT project: a decade of research and development for robust and flexible process support. Computer Science - R&D 23(2), 81–97 (2009)

Cited by 152 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Actionable light-weight process guidance;Journal of Systems and Software;2024-08

2. First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications;ACM Transactions on Computational Logic;2024-04-16

3. Early detection of temporal constraint violations;Information and Computation;2024-01

4. Checking Constraints for Object-Centric Process Executions;Lecture Notes in Business Information Processing;2024

5. Generating Event Logs from Hybrid Process Models;Lecture Notes in Business Information Processing;2024