Default α-logic for modeling customizable failure semantics in workflow systems using dynamic reconfiguration constraints

Hasan Davulcu, Supratik Mukhopadhyay, Prabhdeep Singh, Sik-Sang Yau

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In this paper, we propose a logic based framework to handle failures that occur during the execution of workflows by encoding the failures in formalism of a default normal modal logic. Default logic provides a set of rules for adding premises to logical arguments. Since the specifications of services are encoded in α-logic, defaults can be added to this logic to accommodate the failure semantics for the predicates. We encode predicate failures as predicates and provide a dynamic proof system that handles failures at the execution time. Workflow adaptations are re-synthesized from proofs in our logic using a Curry-Howard style correspondence.

Original languageEnglish (US)
Title of host publicationGrid and Distributed Computing
Subtitle of host publicationInternational Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proce
EditorsDominik Slezak, Tai-hoon Kim, Stephen S. Yau, Osvaldo Gervasi, Byeong-Ho Kang
Pages49-56
Number of pages8
DOIs
StatePublished - Dec 1 2009

Publication series

NameCommunications in Computer and Information Science
Volume63
ISSN (Print)1865-0929

Keywords

  • Adaptive workflows
  • Default modal logic
  • Failure semantics

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Fingerprint Dive into the research topics of 'Default α-logic for modeling customizable failure semantics in workflow systems using dynamic reconfiguration constraints'. Together they form a unique fingerprint.

Cite this