Automatic generation of smart contracts

A method, comprising:

• defining a target specification for a blockchain smart contract, the target specification comprising an event pattern and a temporal constraint;
• obtaining a plurality of reusable smart contracts, each comprising a reusable event pattern;
• combining at least two of the plurality of reusable smart contracts based on the event pattern included in the target specification to generate a composite smart contract;
• translating the composite smart contract into a form that is executable on a blockchain;
• wherein the composite smart contract is converted into a deterministic finite automaton;
• and
• wherein the deterministic finite automaton is converted into the form that is executable on the blockchain.

A non-transitory computer readable medium comprising instructions, that when read by a processor, cause the processor to perform:

• defining a target specification for a blockchain smart contract, the target specification comprising an event pattern and a temporal constraint;
• obtaining a plurality of reusable smart contracts, each comprising a reusable event pattern;
• combining at least two of the plurality of reusable smart contracts based on the event pattern included in the target specification to generate a composite smart contract;
• and
• translating the composite smart contract into a form that is executable on a blockchain;
• wherein the composite smart contract is converted into a deterministic finite automaton;
• and
• wherein the deterministic finite automaton is converted into the form that is executable on the blockchain.

A method, comprising:

• defining a target specification for a blockchain smart contract, the target specification comprising a protocol;
• obtaining a plurality of reusable smart contracts, each comprising a reusable protocol;
• combining at least two of the plurality of reusable smart contracts based on the protocol included in the target specification to generate a composite smart contract;
• and
• translating the composite smart contract into a form that is executable on a blockchain;
• wherein the composite smart contract is converted into a deterministic finite automaton;
• and
• wherein the deterministic finite automaton is converted into the form that is executable on the blockchain.

A non-transitory computer readable medium comprising instructions, that when read by a processor, cause the processor to perform:

• defining a target specification for a blockchain smart contract, the target specification comprising a protocol;
• obtaining a plurality of reusable smart contracts, each comprising a reusable protocol;
• combining at least two of the plurality of reusable smart contracts based on the protocol included in the target specification to generate a composite smart contract;
• and
• translating the composite smart contract into a form that is executable on a blockchain;
• wherein the composite smart contract is converted into a deterministic finite automaton;
• and
• wherein the deterministic finite automaton is converted into the form that is executable on the blockchain.