US Patent 10896149 Composition operators for smart contract

An example operation may include one or more of identifying one or more input smart contracts, identifying a set of composition operations applicable to the one or more input smart contracts and contract specifications, combining the one or more input smart contracts using the set of composition operations, creating a composite smart contract based on the one or more input smart contracts and the set of composition operations, and translating the composite smart contract into an executable blockchain smart contract. The one or more input smart contracts, each includes a contract specification, the contract specification includes a regular event pattern and a temporal constraint the input smart contract must satisfy.