Document Logic: Risk analysis of business processes through document authenticity

Shusaku Iida, Grit Denker, Carolyn Talcott
2009 2009 13th Enterprise Distributed Object Computing Conference Workshops  
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, 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
more » ... system. Our prototype takes a business process and an undesired situation as its input and outputs all the possible risks in the business process that could lead to the undesired situation.
doi:10.1109/edocw.2009.5332014 dblp:conf/edoc/IidaDT09 fatcat:4hvdvmlgfrb6tkm6gchcqp7asm