Document Logic: Risk Analysis of Business Processes through Document Authenticity.

Saved in:

Bibliographic Details
Title:	Document Logic: Risk Analysis of Business Processes through Document Authenticity.
Authors:	Iida, Shusaku¹ iida@isc.senshu-u.ac.jp, Denker, Grit² grit.denker@sri.com, Talcott, Carolyn² carolyn.talcott@sri.com
Source:	Journal of Research & Practice in Information Technology. Feb2011, Vol. 43 Issue 1, p41-63. 23p.
Subjects:	BPEL (Computer program language), Programming languages, Artificial languages, Language & languages, Computer software
Abstract:	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 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 that could lead to the undesired situation. [ABSTRACT FROM AUTHOR]
	Copyright of Journal of Research & Practice in Information Technology is the property of Australian Computer Society Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database:	Engineering Source

Description
Abstract:	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 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 that could lead to the undesired situation. [ABSTRACT FROM AUTHOR]
ISSN:	1443458X