View in EDS PDF Full Text

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, Shusaku1 iida@isc.senshu-u.ac.jp, Denker, Grit2 grit.denker@sri.com, Talcott, Carolyn2 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
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 70307880
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Document Logic: Risk Analysis of Business Processes through Document Authenticity.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Iida%2C+Shusaku%22">Iida, Shusaku</searchLink><relatesTo>1</relatesTo><i> iida@isc.senshu-u.ac.jp</i><br /><searchLink fieldCode="AR" term="%22Denker%2C+Grit%22">Denker, Grit</searchLink><relatesTo>2</relatesTo><i> grit.denker@sri.com</i><br /><searchLink fieldCode="AR" term="%22Talcott%2C+Carolyn%22">Talcott, Carolyn</searchLink><relatesTo>2</relatesTo><i> carolyn.talcott@sri.com</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Journal+of+Research+%26+Practice+in+Information+Technology%22">Journal of Research & Practice in Information Technology</searchLink>. Feb2011, Vol. 43 Issue 1, p41-63. 23p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22BPEL+%28Computer+program+language%29%22">BPEL (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Artificial+languages%22">Artificial languages</searchLink><br /><searchLink fieldCode="DE" term="%22Language+%26+languages%22">Language & languages</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software%22">Computer software</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>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.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=70307880
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 23
        StartPage: 41
    Subjects:
      – SubjectFull: BPEL (Computer program language)
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Artificial languages
        Type: general
      – SubjectFull: Language & languages
        Type: general
      – SubjectFull: Computer software
        Type: general
    Titles:
      – TitleFull: Document Logic: Risk Analysis of Business Processes through Document Authenticity.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Iida, Shusaku
      – PersonEntity:
          Name:
            NameFull: Denker, Grit
      – PersonEntity:
          Name:
            NameFull: Talcott, Carolyn
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 02
              Text: Feb2011
              Type: published
              Y: 2011
          Identifiers:
            – Type: issn-print
              Value: 1443458X
          Numbering:
            – Type: volume
              Value: 43
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: Journal of Research & Practice in Information Technology
              Type: main
ResultId 1