The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jan. 26, 2021
Filed:
Jul. 29, 2018
Applicant:
International Business Machines Corporation, Armonk, NY (US);
Inventors:
Assignee:
International Business Machines Corporation, Armonk, NY (US);
Attorney:
Primary Examiner:
Int. Cl.
CPC ...
G06F 7/00 (2006.01); G06F 16/18 (2019.01); G06F 21/60 (2013.01);
U.S. Cl.
CPC ...
G06F 16/18 (2019.01); G06F 21/602 (2013.01);
Abstract
An example operation may include one or more of defining inputs, converting the inputs into an intermediate representation in Linear Dynamic Logic, and translating the intermediate representation into an executable form of the blockchain smart contract. The inputs include a regular event pattern, a temporal constraint a blockchain smart contract must satisfy, and a list of entries, each entry including an event, a condition, and a sequence of one or more actions.