Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and rules. We study runtime monitoring of properties expressed in LTL on finite traces(LTLf) and its extension LDLf. LDLf is a powerful logic that captures all monadic second order logic on finite traces, which is obtained by combining regular expressions with LTLf , adopting the syntax of propositional dynamic logic (PDL). Interestingly, in spite of its greater expressivity, LDLf has exactly the same computational complexity of LTLf. We show that LDLf is able to capture, in the logic itself, not only the constraints to be monitored, but also the de-facto standard RV-...
Abstract. We introduce a novel approach to the runtime monitoring of complex system properties. In p...
When monitoring a system w.r.t. a property defined in a temporal logic such as LTL, a major concern ...
Checking the compliance of a business process execution with respect to a set of regulations is an i...
Abstract. Runtime monitoring is one of the central tasks to provide operational decision support to ...
Abstract. Runtime monitoring is one of the central tasks to provide operational decision support to ...
Runtime monitoring is one of the central tasks to provide operational decision support to running bu...
One way of modeling workflows in business process management (BPM) is by using a declarative approac...
This paper studies the following problem: given a relational data schema, a temporal property over t...
Linear Temporal Logic (LTL) on finite traces has proven to be a good basis for the analysis and enac...
We study monitoring of linear-time arithmetic properties against finite traces generated by an unkno...
We briefly present a rule-based framework, called EAGLE, that has been shown to be capable of defini...
When monitoring a system w.r.t. a property defined in a temporal logic such as LTL, a major concern ...
Abstract. When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major ...
We present an algorithm for efficiently testing Linear Temporal Logic (LTL) formulae on finite execu...
In this paper we look into the assumption of interpreting LTL over finite traces. In particular we s...
Abstract. We introduce a novel approach to the runtime monitoring of complex system properties. In p...
When monitoring a system w.r.t. a property defined in a temporal logic such as LTL, a major concern ...
Checking the compliance of a business process execution with respect to a set of regulations is an i...
Abstract. Runtime monitoring is one of the central tasks to provide operational decision support to ...
Abstract. Runtime monitoring is one of the central tasks to provide operational decision support to ...
Runtime monitoring is one of the central tasks to provide operational decision support to running bu...
One way of modeling workflows in business process management (BPM) is by using a declarative approac...
This paper studies the following problem: given a relational data schema, a temporal property over t...
Linear Temporal Logic (LTL) on finite traces has proven to be a good basis for the analysis and enac...
We study monitoring of linear-time arithmetic properties against finite traces generated by an unkno...
We briefly present a rule-based framework, called EAGLE, that has been shown to be capable of defini...
When monitoring a system w.r.t. a property defined in a temporal logic such as LTL, a major concern ...
Abstract. When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major ...
We present an algorithm for efficiently testing Linear Temporal Logic (LTL) formulae on finite execu...
In this paper we look into the assumption of interpreting LTL over finite traces. In particular we s...
Abstract. We introduce a novel approach to the runtime monitoring of complex system properties. In p...
When monitoring a system w.r.t. a property defined in a temporal logic such as LTL, a major concern ...
Checking the compliance of a business process execution with respect to a set of regulations is an i...