Composition operators for smart contract
AssigneeInternational Business Machines Corporation
InventorsNaoto Sato, Takaaki Tateishi, Shunichi Amano
Life of this patent
Estimating the term…
Abstract
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.
Claims25
A system, comprising:
- a processor configured to:
- identify a plurality of smart contracts that each include a contract specification;
- identify a set of composition operations applicable to the plurality of smart contracts and contract specifications;
- combine the plurality of smart contracts using the set of composition operations;
- create a composite smart contract based on the plurality of smart contracts and the set of composition operations;
- and
- translate the composite smart contract into an executable blockchain smart contract.
A method, comprising:
- identifying a plurality of smart contracts that each include a contract specification;
- identifying a set of composition operations applicable to the plurality of smart contracts and contract specifications;
- combining the plurality of smart contracts using the set of composition operations;
- creating a composite smart contract based on the plurality of smart contracts and the set of composition operations;
- and
- translating the composite smart contract into an executable blockchain smart contract.
A non-transitory computer readable medium comprising instructions, that when read by a processor, cause the processor to perform:
- identifying a plurality of smart contracts that each include a contract specification;
- identifying a set of composition operations applicable to the plurality of smart contracts and contract specifications;
- combining the plurality of smart contracts using the set of composition operations;
- creating a composite smart contract based on the plurality of smart contracts and the set of composition operations;
- and
- translating the composite smart contract into an executable blockchain smart contract.
A method, comprising:
- identifying a plurality of smart contracts that each include a contract specification;
- identifying a set of composition operations applicable to the plurality of smart contracts and contract specifications;
- combining the plurality of smart contracts using the set of composition operations;
- creating a composite smart contract based on the plurality of smart contracts and the set of composition operations;
- converting the composite smart contract to a deterministic finite automaton;
- and
- converting the deterministic finite automaton into an executable form of a blockchain smart contract.
A non-transitory computer readable medium comprising instructions, that when read by a processor, cause the processor to perform:
- identifying a plurality of smart contracts that each include a contract specification;
- identifying a set of composition operations applicable to the plurality of smart contracts and contract specifications;
- combining the plurality of smart contracts using the set of composition operations;
- creating a composite smart contract based on the plurality of smart contracts and the set of composition operations;
- converting the composite smart contract to a deterministic finite automaton;
- and
- converting the deterministic finite automaton into an executable form of a blockchain smart contract.
Dependencies are inferred from the claim text.