Article

Runtime Monitoring of Message-Based Workflows with Data

Authors:

Sylvain Halle,

Roger VillemaireAuthors Info & Claims

EDOC '08: Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference

Pages 63 - 72

https://doi.org/10.1109/EDOC.2008.32

Published: 15 September 2008 Publication History

Publisher Site

Abstract

We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+, an extension to traditional Linear Temporal Logic that includes full first-order quantification over the data inside a trace of XML messages. The algorithm works "on-the-fly": it keeps in memory only the states that are necessary at each step. Initial results indicate that LTL-FO+ is an appropriate language for expressing data dependencies on message traces and that its processing overhead on sample traces is acceptable.

Cited By

View all

Ledru YBlein Ydu-Bousquet LGroz RClère ABertrand FRichardson IWeber J(2018)Requirements for a trace property language for medical devicesProceedings of the International Workshop on Software Engineering in Healthcare Systems10.1145/3194696.3194699(30-33)Online publication date: 28-May-2018
https://dl.acm.org/doi/10.1145/3194696.3194699
Blein YLedru Ydu-Bousquet LGroz RGnesi SPlat NSpoletini PPelliccione P(2018)Extending specification patterns for verification of parametric tracesProceedings of the 6th Conference on Formal Methods in Software Engineering10.1145/3193992.3193998(10-19)Online publication date: 2-Jun-2018
https://dl.acm.org/doi/10.1145/3193992.3193998
Knuplesch DReichert MKumar A(2017)A framework for visually monitoring business process complianceInformation Systems10.1016/j.is.2016.10.00664:C(381-409)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1016/j.is.2016.10.006
Show More Cited By

Recommendations

Zero Overhead Runtime Monitoring
SEFM 2013: Proceedings of the 11th International Conference on Software Engineering and Formal Methods - Volume 8137

Runtime monitoring aims at ensuring program safety by monitoring the program's behaviour during execution and taking appropriate action before a program violates some property. Runtime monitoring is in particular important when an exhaustive formal ...
RML: runtime monitoring language: a system-agnostic DSL for runtime verification
Programming '19: Companion Proceedings of the 3rd International Conference on the Art, Science, and Engineering of Programming

Runtime verification (RV) [11] is a form of verification happening at runtime rather than compile-time. While static verification proves whether a property holds for every possible run of the program under scrutiny, RV only deals with a single execution ...
Monitoring of Grid scientific workflows
Large-Scale Programming Tools and Environments

Scientific workflows are a means of conducting in silico experiments in modern computing infrastructures for e-Science, often built on top of Grids. Monitoring of Grid scientific workflows is essential not only for performance analysis but also to ...

Comments

Information & Contributors

Information

Published In

EDOC '08: Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference

September 2008

357 pages

ISBN:9780769533735

Publisher

IEEE Computer Society

United States

Publication History

Published: 15 September 2008

Author Tag

runtime monitoring, temporal logic, web services, data-aware, first-order quantification

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

18
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ledru YBlein Ydu-Bousquet LGroz RClère ABertrand FRichardson IWeber J(2018)Requirements for a trace property language for medical devicesProceedings of the International Workshop on Software Engineering in Healthcare Systems10.1145/3194696.3194699(30-33)Online publication date: 28-May-2018
https://dl.acm.org/doi/10.1145/3194696.3194699
Blein YLedru Ydu-Bousquet LGroz RGnesi SPlat NSpoletini PPelliccione P(2018)Extending specification patterns for verification of parametric tracesProceedings of the 6th Conference on Formal Methods in Software Engineering10.1145/3193992.3193998(10-19)Online publication date: 2-Jun-2018
https://dl.acm.org/doi/10.1145/3193992.3193998
Knuplesch DReichert MKumar A(2017)A framework for visually monitoring business process complianceInformation Systems10.1016/j.is.2016.10.00664:C(381-409)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1016/j.is.2016.10.006
Awad ABarnawi AElgammal AElshawi RAlmalaise ASakr SWainwright RCorchado JBechini AHong J(2015)Runtime detection of business process compliance violationsProceedings of the 30th Annual ACM Symposium on Applied Computing10.1145/2695664.2699488(1203-1210)Online publication date: 13-Apr-2015
https://dl.acm.org/doi/10.1145/2695664.2699488
Ly LMaggi FMontali MRinderle-Ma Svan der Aalst W(2015)Compliance monitoring in business processesInformation Systems10.1016/j.is.2015.02.00754:C(209-234)Online publication date: 1-Dec-2015
https://dl.acm.org/doi/10.1016/j.is.2015.02.007
De Masellis RMaggi FMontali MZhang HHuang LRichardson I(2014)Monitoring data-aware business constraints with finite state automataProceedings of the 2014 International Conference on Software and System Process10.1145/2600821.2600835(134-143)Online publication date: 26-May-2014
https://dl.acm.org/doi/10.1145/2600821.2600835
Chechik MSimmonds JLiaskos SNejati SSabetzadeh MSalay R(2013)PWWMThe Personal Web10.5555/2554612.2554614(11-48)Online publication date: 1-Jan-2013
https://dl.acm.org/doi/10.5555/2554612.2554614
Masellis RSu J(2013)Runtime Enforcement of First-Order LTL Properties on Data-Aware Business ProcessesProceedings of the 11th International Conference on Service-Oriented Computing - Volume 827410.1007/978-3-642-45005-1_5(54-68)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1007/978-3-642-45005-1_5
Hallé SVillemaire RLago PLewis GMetzger ATosic V(2012)Constraint-based invocation of stateful web servicesProceedings of the 4th International Workshop on Principles of Engineering Service-Oriented Systems10.5555/2666048.2666059(61-62)Online publication date: 4-Jun-2012
https://dl.acm.org/doi/10.5555/2666048.2666059
Hallé SVillemaire RCherkaoui ODeca R(2012)A logical approach to data-aware automated sequence generationTransactions on Computational Science XV10.5555/2184162.2184169(192-216)Online publication date: 1-Jan-2012
https://dl.acm.org/doi/10.5555/2184162.2184169
Show More Cited By

Abstract

Cited By

Recommendations

Zero Overhead Runtime Monitoring

RML: runtime monitoring language: a system-agnostic DSL for runtime verification

Monitoring of Grid scientific workflows

Comments

Information

Published In

Publisher

Publication History

Author Tag

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations