The structure of the relational database model
The structure of the relational database model
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Role-Based Access Control Models
Computer
RBAC '97 Proceedings of the second ACM workshop on Role-based access control
The specification and enforcement of authorization constraints in workflow management systems
ACM Transactions on Information and System Security (TISSEC) - Special issue on role-based access control
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic Routing and Operational Controls in Workflow Management Systems
Management Science
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
A Formal Approach to Workflow Analysis
Information Systems Research
Separation of Duty in Role-based Environments
CSFW '97 Proceedings of the 10th IEEE workshop on Computer Security Foundations
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Separation of duties for access control enforcement in workflow environments
IBM Systems Journal - End-to-end security
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
A unified behavioural model and a contract language for extended enterprise
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Role-based authorizations for workflow systems in support of task-based separation of duty
Journal of Systems and Software
Conformance checking of processes based on monitoring real behavior
Information Systems
Measuring Similarity between Business Process Models
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Supporting Flexible Processes through Recommendations Based on History
BPM '08 Proceedings of the 6th International Conference on Business Process Management
ProM 4.0: comprehensive support for real process analysis
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Declarative process modeling with business vocabulary and business rules
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
A system for modal and deontic defeasible reasoning
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Specifying process-aware access control rules in SBVR
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Process mining as first-order classification learning on logs with negative events
BPM'07 Proceedings of the 2007 international conference on Business process management
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Conformance testing: measuring the fit and appropriateness of event logs and process models
BPM'05 Proceedings of the Third international conference on Business Process Management
Event-based monitoring of process execution violations
BPM'11 Proceedings of the 9th international conference on Business process management
A framework for transformation from conceptual to logical workflow models
Decision Support Systems
Context-Aware compliance 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
Enriching process models for business process compliance checking in ERP environments
DESRIST'13 Proceedings of the 8th international conference on Design Science at the Intersection of Physical and Virtual Design
Acquiring logistics process intelligence: Methodology and an application for a Chinese bulk port
Expert Systems with Applications: An International Journal
IT security auditing: A performance evaluation decision model
Decision Support Systems
| Hi-index | 0.00 |
The independent verification of the right applications of business rules in an information system is a task for auditors. The increasing complexity of information systems, and the high risks associated with violations of business rules, have created the need for Online Auditing Tools. In this paper we sketch a conceptual design for such a tool. The components of the tool are described briefly. The focus is on the database and the conformance checker, which are described in detail. The approach is illustrated with an example and some preliminary case studies from industry.