Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces.
Giuseppe De GiacomoRiccardo De MasellisMarco GrassoFabrizio Maria MaggiMarco MontaliPublished in: BPM (2014)
Keyphrases
- activity monitoring
- linear temporal logic
- monitoring system
- temporal logic
- intelligence gathering
- business processes
- information systems
- business intelligence
- data mining
- decision making
- model checking
- business process
- real time
- deductive databases
- electronic commerce
- bounded model checking
- real world
- business applications
- business models
- supply chain management
- business rules
- data quality
- case study
- finite number
- enterprise systems
- return on investment
- expressive power
- web services