Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Monitoring Business Constraints with Linear Temporal Logic
 

Summary: Monitoring Business Constraints
with Linear Temporal Logic:
An Approach Based on Colored Automata
Fabrizio M. Maggi1
, Marco Montali2
, Michael Westergaard1
,
Wil M.P. van der Aalst1
1
Eindhoven University of Technology, The Netherlands.
{f.m.maggi, m.westergaard, w.m.p.v.d.aalst}@tue.nl
2
University of Bologna, Italy.
marco.montali@unibo.it
Abstract. Today's information systems record real-time information
about business processes. This enables the monitoring of business con-
straints at runtime. In this paper, we present a novel runtime verifica-
tion framework based on linear temporal logic and colored automata.
The framework continuously verifies compliance with respect to a pre-
defined constraint model. Our approach is able to provide meaningful

  

Source: Aalst, W.M.P.van der - Wiskunde en Informatica, Technische Universiteit Eindhoven

 

Collections: Computer Technologies and Information Sciences