dc.contributor.author | Frantz, Christopher K. | |
dc.contributor.author | Nowostawski, Mariusz | |
dc.date.accessioned | 2016-11-25T11:17:17Z | |
dc.date.accessioned | 2017-01-06T10:34:21Z | |
dc.date.available | 2016-11-25T11:17:17Z | |
dc.date.available | 2017-01-06T10:34:21Z | |
dc.date.issued | 2016 | |
dc.identifier.citation | International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016 | nb_NO |
dc.identifier.issn | 1949-3681 | |
dc.identifier.uri | http://hdl.handle.net/11250/2426572 | |
dc.description.abstract | Blockchain technology has emerged as a solution to consistency problems in peer to peer networks. By now, it has matured as a solution to a range of use cases in which it can effectively provide the notion of third party trust without the need for a trusted (physical) third party, which makes it an attractive coordination mechanism for distributed systems. To promote the wide adoption of this technology, we yet lack mechanisms that make the specification and interpretation of smart contracts accessible to a broader audience. In this work, we propose a modeling approach that supports the semi-automated translation of human-readable contract representations into computational equivalents in order to enable the codification of laws into verifiable and enforceable computational structures that reside within a public blockchain. We identify smart contract components that correspond to real world institutions, and propose a mapping that we operationalize using a domain-specific language in order to support the contract modeling process. We explore this capability based on selected examples and plot out directions for future research on smart contracts. | nb_NO |
dc.language.iso | eng | nb_NO |
dc.publisher | IEEE | nb_NO |
dc.subject | Contracts, Grammar, Online banking, Virtual machining, Peer-to-peer computing, Syntactics, DSL | nb_NO |
dc.title | From Institutions to Code: Towards Automated Generation of Smart Contracts | nb_NO |
dc.type | Chapter | nb_NO |
dc.date.updated | 2016-11-25T11:17:16Z | |
dc.description.version | submittedVersion | |
dc.identifier.doi | 10.1109/FAS-W.2016.53 | |
dc.identifier.cristin | 1404235 | |
dc.description.localcode | (c) 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. | nb_NO |