2023/03/02 by Adrian Delchev, Ioannis Sfyrakis, Delchev, Adrian +3
Computer Science · #Digital Rights Management and Security #Distributed #FOS: Computer and information sciences #Multi-Agent Systems and Negotiation #Parallel #Programming Languages (cs.PL) #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)
paper · pdf · doi:10.48550/arxiv.2303.01595
openalex publication_date 2023/03/02 · openalex created_date 2023/03/07 · openalex updated_date 2026/07/28
A smart contract is a translation of a standard paper-based contract that can be enforced and executed by a contract management system. At a high level of abstraction, a contract is only a document that describes how the signing parties are to behave in different scenarios; nevertheless, the translation of a typical paper-based contract to its electronic counterpart has proved to be both time-consuming and difficult. The requirement for a language capable of capturing the core of a contract in simple phrases and definitions has been a focus of study for many years. EROP (Events, Rights, Obligations, Prohibitions) is a contract specification language that breaks a contract down into sets of events, rights, obligations, and prohibitions.