Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces

Running head: BUSINESS PROCESS MANAGEMENT
Business Process Management in Industry: Monitoring Business Metaconstraints Based
on LTL and LDL for Finite Traces
Name of the Student
Name of the University
Author’s Note:

1
BUSINESS PROCESS MANAGEMENT
Table of Contents
1. Introduction............................................................................................................................2
2. Discussion..............................................................................................................................2
2.1 Description of Intention and Content of the Article.........................................................2
2.2 Discussion of Research Method and Findings.................................................................3
2.3 Problems or Issues highlighted by the Authors................................................................4
2.4 Relevance of Article to Business Process Management..................................................5
2.5 Comparison of Ideas in the Article with Other Articles..................................................5
3. Conclusion..............................................................................................................................6
References..................................................................................................................................7

2
BUSINESS PROCESS MANAGEMENT
1. Introduction
Business process management in an industry is an important methods, by which an
organization can note the current business processes as well as properly develop every new
methodology for improving productivity, operational costs and organizational efficiency
(Jeston 2014). This following report will be outlining a brief discussion on the article review
of a popular article, namely, “Monitoring Business Meta constraints Based on LTL and LDL
for Finite Traces” by De Giacomo et al. 2014. The run time monitoring is termed as the most
important and noteworthy tasks for providing major operation based decision support to each
and every effective business process and then check if they are being complied with the rules
and constraints. In this particular article, monitoring of properties that are being expressed in
the LTL over finite traces are being described. Moreover, monitoring of meta constraints are
also described here. This report will also be considering about every problem or issue that is
being highlighted by the respective authors and research methods will even be shown
properly.
2. Discussion
2.1 Description of Intention and Content of the Article
The run time monitoring is a major and important task for providing every operational
decision support towards running of business processes and also checking whether these
business processes are eventually complying with the respective rules and constraints or not
(Dumas et al. 2013). For the core purpose of providing well founded and appropriate
techniques of run time monitoring, the area is being rooted into proper verification segment.
When the system is dynamic, these properties are expressed after making proper utilization of
every modal operator that is accounting for the time. LTL or Linear Time Temporal Logic is
majorly suited for effective and efficient monitoring, since the execution of actual system is
linear in nature (Rosemann and vom Brocke 2015). In spite of this fact, the specified
semantics of LTL is being given in respect to infinite traces and thus monitoring should
check if the recent trace would be a subsequent prefix of the respective infinite trace, which
would never be accomplished.
In this article of “Monitoring Business Meta constraints Based on LTL and LDL for
Finite Traces” by De Giacomo et al. 2014, the entire phenomenon is considered for business
process engineering or BPM and it is being observed that in BPM, the trace of system is finite
in nature. The run time monitoring are being referred in this particular article to understand