A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Document Logic: Risk analysis of business processes through document authenticity
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
doi:10.1109/edocw.2009.5332014
dblp:conf/edoc/IidaDT09
fatcat:4hvdvmlgfrb6tkm6gchcqp7asm