Document Logic: Risk analysis of business processes through document authenticity

Document Logic is a simple yet powerful framework to infer risks in business processes. We focus on flows of documents and build a set of inference rules based on document authenticity and a simple trust model. We have built a prototype of a system that checks document authenticity in Maude. Maude i...

Full description

Saved in:
Bibliographic Details
Main Authors: Iida, S., Denker, G., Talcott, C.
Format: Conference Proceeding
Language:English
Subjects:
Band pass filters
business process modeling
Computer science
Flowcharts
formal methods
internal control
Laboratories
Logic
Power system modeling
Prototypes
rewriting logic
Risk analysis
Text analysis
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Document Logic is a simple yet powerful framework to infer risks in business processes. We focus on flows of documents and build a set of inference rules based on document authenticity and a simple trust model. We have built a prototype of a system that checks document authenticity in Maude. Maude is an implementation of rewriting logic. Rewriting logic is expressive and general enough to define other specialized logics, like Document Logic. In our framework, a business process is modeled as a transition system. Our prototype takes a business process and an undesired situation as its input and outputs all the possible risks in the business process.
ISSN:2325-6583
2325-6605
DOI:10.1109/EDOCW.2009.5332014