The results indicate that decision provenance can complement traditional workflow provenance by preserving the reasoning behind scientific choices and provides a basis for collective reuse of decision knowledge.
Abstract
Science gateways often capture workflow execution but not the rationale behind human decisions such as dataset selection, algorithm choice, parameterization, and result interpretation, which limits reproducibility. We propose a framework that captures and shares scientific decisions as verifiable and reusable knowledge assets. We formalize decision workflows as a Markov Decision Process (MDP), in which experimental contexts are defined as states, user choices as actions, and multi-criteria constraints as reward functions. To ensure tamper-evident provenance and secure attribution, decision records use JSON-LD linked to Decentralized Identifiers as Verifiable Credentials (VCs). The architecture consists of three layers: a User layer for interaction and control, a Service layer for ranking and credential management, and a Data layer for semantic storage and blockchain-based verification. We implemented a prototype on the Ethereum Sepolia testnet to demonstrate end-to-end decision capture, credential issuance, selective disclosure, and blockchain-based verification. In a user study, all finalized decisions were captured as structured records, and 45 of 51 were issued as user-controlled VCs. The MDP-based ranking achieved a Top-1 agreement of 92.2% with user selections, substantially outperforming an approximate random baseline. Interaction patterns suggest two modes: guided exploration for non-expert users and selective deviation from ranked recommendations by expert users. These results indicate that decision provenance can complement traditional workflow provenance by preserving the reasoning behind scientific choices. By combining decentralized identity, semantic interoperability, and probabilistic decision modeling, the framework supports transparent, user-controlled, and collaborative experimentation and provides a basis for collective reuse of decision knowledge.
Digital engineering (DE) and model-based systems engineering (MBSE) improve traceability for requirements, architecture, and verification, but concept decisions—the governance events that turn evolving evidence into binding commitments—are poorly captured. Rationale, assumptions, alternatives, model baselines, and appr...
R. Chinnam, A. Murat, Satyendra Rana et al.· SAE technical paper series· 0 citations
The commercialization of distributed computing capacity is constrained by inconsistent resource descriptions, difficult-to-verify service commitments, fragmented transaction records, and limited accountability across organizations. This study develops a permissioned-ledger trading framework that combines normalized res...
Juan Wang, Li Wang· 2026 6th International Confe...· 0 citations
This study runs a deterministic, checklist-based semantic validation pipeline that emits signed binary verdicts and commits rationale hashes on-chain, so any verdict can be replayed off-chain while on-chain settlement stays minimal.
Ayman Nait Cherif, M. Youssfi, O. Bouattane· IAES International Journal o...· 0 citations
Public sector digital frameworks are increasingly combining distributed ledgers and programmable intelligent contracts to make administrative transactions verifiable, traceable and automatically executable. But traditional intelligent contracts are rigid: they can enforce pre-defined logic but cannot interpret ambiguou...
Sathya Narayanan Lakshmi Kantham· International Journal of Adv...· 0 citations
A product- and vendor-neutral black-box architecture for agentic processes that creates blockchain-anchored cryptographic commitments for selected agent communications, human-in-the-loop approvals, tool calls, and process artifacts without placing sensitive content on-chain.
A guarded-commit design that makes human approval part of workflow state and supports audit and replay under the policy in force when the resolution was recorded is presented.
Laurent Bindschaedler, Ferdinand Kossmann, Chun-Wei Liu et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.