×

Default \(\alpha \)-logic for modeling customizable failure semantics in workflow systems using dynamic reconfiguration constraints. (English) Zbl 1213.68132

Ślȩzak, Dominik (ed.) et al., Grid and distributed computing. International conference, GDC 2009, held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10548-7/pbk; 978-3-642-10549-4/ebook). Communications in Computer and Information Science 63, 49-56 (2009).
Summary: 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 \(\alpha \)-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.
For the entire collection see [Zbl 1194.68062].

MSC:

68M15 Reliability, testing and fault tolerance of networks and computer systems
68M10 Network design and communication in computer systems
68T27 Logic in artificial intelligence
PDFBibTeX XMLCite
Full Text: DOI