The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change
Information Systems Frontiers
A Machine Learning Approach to Workflow Management
ECML '00 Proceedings of the 11th European Conference on Machine Learning
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Improving Business Process Quality through Exception Understanding, Prediction, and Prevention
Proceedings of the 27th International Conference on Very Large Data Bases
Synthesizing Monitors for Safety Properties
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Monitoring Requirements: A Case Study
Proceedings of the 17th IEEE international conference on Automated software engineering
Workflow-Based Process Monitoring and Controlling ¾ Technical and Organizational Issues
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Monitoring Software Requirements Using Instrumented Code
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Measuring Behavioral Correspondence to a Timed Concurrent Model
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Automata-Based Verification of Temporal Properties on Running Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on Automated software engineering
Monitoring Web Service Requirements
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
Computers in Industry - Special issue: Process/workflow mining
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Rediscovering workflow models from event-based data using little thumb
Integrated Computer-Aided Engineering
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
LogLogics: A logic for history-dependent business processes
Science of Computer Programming
Conformance checking of processes based on monitoring real behavior
Information Systems
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Contract E-Negotiation in Agricultural Supply Chains
International Journal of Electronic Commerce
A Rule-Based Framework Using Role Patterns for Business Process Compliance
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Process Mining towards Semantics
Advances in Web Semantics I
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Recovering business processes from business applications
Journal of Software Maintenance and Evolution: Research and Practice
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
A method for business process decomposition based on the separation of concerns principle
Proceedings of the 2010 ACM Symposium on Applied Computing
An outlook on semantic business process mining and monitoring
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
Identificação de regras de negócio utilizando mineração de processos
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Conceptual model for online auditing
Decision Support Systems
Process grammar as a tool for business process design
MIS Quarterly
Semantic correctness in adaptive process management systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
Towards formal verification of web service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
Web service mining and verification of properties: an approach based on event calculus
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Compliance in service-oriented architectures: A model-driven and view-based approach
Information and Software Technology
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
On the exploitation of process mining for security audits: the conformance checking case
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Distributed process discovery and conformance checking
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
An operational decision support framework for monitoring business constraints
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
Data transformation and semantic log purging for process mining
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Efficient discovery of understandable declarative process models from event logs
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Expert Systems with Applications: An International Journal
A pattern-based approach for the verification of business process descriptions
Information and Software Technology
Aligning event logs and declarative process models for conformance checking
BPM'12 Proceedings of the 10th international conference on Business Process Management
Where did i misbehave? diagnostic information in compliance checking
BPM'12 Proceedings of the 10th international conference on Business Process Management
Definition and enactment of instance-spanning process constraints
WISE'12 Proceedings of the 13th international conference on Web Information Systems Engineering
On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle
International Journal of Web Services Research
Comprehensive rule-based compliance checking and risk management with process mining
Decision Support Systems
Empirical Evaluation of Test Driven Modeling
International Journal of Information System Modeling and Design
Acquiring logistics process intelligence: Methodology and an application for a Chinese bulk port
Expert Systems with Applications: An International Journal
Using model checking to analyze the system behavior of the LHC production grid
Future Generation Computer Systems
Monitoring care processes in the gynecologic oncology department
Computers in Biology and Medicine
How to guarantee compliance between workflows and product lifecycles?
Information Systems
Hi-index | 0.00 |
Information systems are facing conflicting requirements. On the one hand, systems need to be adaptive and self-managing to deal with rapidly changing circumstances. On the other hand, legislation such as the Sarbanes-Oxley Act, is putting increasing demands on monitoring activities and processes. As processes and systems become more flexible, both the need for, and the complexity of monitoring increases. Our earlier work on process mining has primarily focused on process discovery, i.e., automatically constructing models describing knowledge extracted from event logs. In this paper, we focus on a different problem complementing process discovery. Given an event log and some property, we want to verify whether the property holds. For this purpose we have developed a new language based on Linear Temporal Logic (LTL) and we combine this with a standard XML format to store event logs. Given an event log and an LTL property, our LTL Checker verifies whether the observed behavior matches the (un)expected/(un)desirable behavior.