Modeling Incomplete Procedural Contracts With Blockchain-Based Enforceable Business Processes (IEEE Access, 2026)