2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB)最新文献

The Influence Factors on Ethereum Transaction Fees 影响以太坊交易费用的因素

2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) Pub Date : 2019-05-27 DOI: 10.1109/WETSEB.2019.00010

G. A. Pierro, Henrique Rocha

引用次数: 59

Ensure Traceability in European Food Supply Chain by Using a Blockchain System 通过使用区块链系统确保欧洲食品供应链的可追溯性

2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) Pub Date : 2019-05-27 DOI: 10.1109/WETSEB.2019.00012

Gavina Baralla, A. Pinna, Giacomo Corrias

{"title":"Ensure Traceability in European Food Supply Chain by Using a Blockchain System","authors":"Gavina Baralla, A. Pinna, Giacomo Corrias","doi":"10.1109/WETSEB.2019.00012","DOIUrl":"https://doi.org/10.1109/WETSEB.2019.00012","url":null,"abstract":"This paper proposes a generic agri-food supply chain traceability system based on blockchain technology implementing the \"from-farm-to-fork\" (F2F) model currently used in the European Union, which can integrate current traceability rules and processes. The proposed system allows the consumer to reconstruct the product history up to the origin in order to verify product health and quality by simple QR code scan. The blockchain chosen for this purpose is Hyperledger Sawtooth, issued with writing permissions and rules to guarantee access only to members recognized as legitimate participants in the process. The whole system has been realized according to an agile methodology (ABCDE), recently devised for designing a general blockchain system with software engineering practices by mean of User Stories and UML diagrams, in order to obtain a higher software quality. All of the involved operators are able to identify any participants along the entire supply chain, increasing the degree of trust between organizations and individuals, with autonomous management of temporal sequence of activities.","PeriodicalId":174769,"journal":{"name":"2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB)","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129371814","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 96

CAG: Compliance Adherence and Governance in Software Delivery Using Blockchain CAG:使用区块链的软件交付中的合规遵守和治理

2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) Pub Date : 2019-05-27 DOI: 10.1109/WETSEB.2019.00011

Kapil Singi, Vikrant S. Kaulgud, R. Bose, Sanjay Podder

{"title":"CAG: Compliance Adherence and Governance in Software Delivery Using Blockchain","authors":"Kapil Singi, Vikrant S. Kaulgud, R. Bose, Sanjay Podder","doi":"10.1109/WETSEB.2019.00011","DOIUrl":"https://doi.org/10.1109/WETSEB.2019.00011","url":null,"abstract":"The software development life cycle (SDLC) starts with business and functional specifications signed with a client. In addition to this, the specifications also capture policy / procedure / contractual / regulatory / legislation / standard compliances with respect to a given client industry. The SDLC must adhere to service level agreements (SLAs) while being compliant to development activities, processes, tools, frameworks, and reuse of open-source software components. In today's world, global software development happens across geographically distributed (autonomous) teams consuming extraordinary amounts of open source components drawn from a variety of disparate sources. Although this is helping organizations deal with technical and economic challenges, it is also increasing unintended risks, e.g., use of a non-complaint license software might lead to copyright issues and litigations, use of a library with vulnerabilities pose security risks etc. Mitigation of such risks and remedial measures is a challenge due to lack of visibility and transparency of activities across these distributed teams as they mostly operate in silos. We believe a unified model that non-invasively monitors and analyzes the activities of distributed teams will help a long way in building software that adhere to various compliances. In this paper, we propose a decentralized CAG - Compliance Adherence and Governance framework using blockchain technologies. Our framework (i) enables the capturing of required data points based on compliance specifications, (ii) analyzes the events for non-conformant behavior through smart contracts, (iii) provides real-time alerts, and (iv) records and maintains an immutable audit trail of various activities.","PeriodicalId":174769,"journal":{"name":"2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB)","volume":" 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114053212","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 10

Investigating Quality Requirements for Blockchain-Based Healthcare Systems 调查基于区块链的医疗保健系统的质量要求

2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) Pub Date : 2019-05-27 DOI: 10.1109/WETSEB.2019.00014

M. Kassab, J. Defranco, T. Malas, Giuseppe Destefanis, V. V. G. Neto

引用次数: 12

Blockchain and Sustainability: A Systematic Mapping Study 区块链和可持续性:一个系统的地图研究

2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) Pub Date : 2019-05-27 DOI: 10.1109/WETSEB.2019.00009

Eirik Harald Lund, M. L. Jaccheri, Jingyue Li, Orges Cico, Xiaoying Bai

{"title":"Blockchain and Sustainability: A Systematic Mapping Study","authors":"Eirik Harald Lund, M. L. Jaccheri, Jingyue Li, Orges Cico, Xiaoying Bai","doi":"10.1109/WETSEB.2019.00009","DOIUrl":"https://doi.org/10.1109/WETSEB.2019.00009","url":null,"abstract":"Sustainability is a topic of increasing interest. The United Nations has released a list of 17 goals for sustainable development for the global community. Blockchain is a recent technological innovation that shows great promise in changing industries. In this paper, we look specifically at smart grids and supply chain management systems as areas where sustainable technological innovation can happen. To identify software engineering aspects of blockchain in smart grids and supply chain management, we start upon online libraries focusing on engineering and information technology, and we opted for the methodology of systematic mapping studies in software engineering. The search strategy identified 535 papers, of which 60 were identified as main studies for our mapping. To the best of the authors' knowledge, no previous similar studies exist. Results of the study show that the research connecting blockchain technology to smart grids and supply chain management systems is still young. None of the techniques or systems have yet been implemented in a real life setting. As such, more work has to be done before we can look at the actual implications of putting such technologies into use. Software engineering practices could prove to be very useful in the process of development. We propose that future studies can focus on bringing the technologies closer to real life implementations, as well as how to involve the end users in the development of the blockchain-based systems.","PeriodicalId":174769,"journal":{"name":"2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB)","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123676798","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 20

Title Page iii 第三页标题

2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) Pub Date : 2019-05-01 DOI: 10.1109/wetseb.2019.00002

引用次数: 0

Towards Scalable Blockchain Analysis 面向可扩展的区块链分析

2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) Pub Date : 2019-05-01 DOI: 10.1109/WETSEB.2019.00007

Santiago Bragagnolo, Matteo Marra, G. Polito, E. G. Boix

引用次数: 17

Smarter Smart Contract Development Tools 更智能的智能合约开发工具

2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) Pub Date : 2019-05-01 DOI: 10.1109/WETSEB.2019.00013

Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, B. Myers

引用次数: 17

Slither: A Static Analysis Framework for Smart Contracts Slither:智能合约的静态分析框架

2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) Pub Date : 2019-05-01 DOI: 10.1109/WETSEB.2019.00008

Josselin Feist, Gustavo Grieco, Alex Groce

{"title":"Slither: A Static Analysis Framework for Smart Contracts","authors":"Josselin Feist, Gustavo Grieco, Alex Groce","doi":"10.1109/WETSEB.2019.00008","DOIUrl":"https://doi.org/10.1109/WETSEB.2019.00008","url":null,"abstract":"This paper describes Slither, a static analysis framework designed to provide rich information about Ethereum smart contracts. It works by converting Solidity smart contracts into an intermediate representation called SlithIR. SlithIR uses Static Single Assignment (SSA) form and a reduced instruction set to ease implementation of analyses while preserving semantic information that would be lost in transforming Solidity to bytecode. Slither allows for the application of commonly used program analysis techniques like dataflow and taint tracking. Our framework has four main use cases: (1) automated detection of vulnerabilities, (2) automated detection of code optimization opportunities, (3) improvement of the user's understanding of the contracts, and (4) assistance with code review. In this paper, we present an overview of Slither, detail the design of its intermediate representation, and evaluate its capabilities on real-world contracts. We show that Slither's bug detection is fast, accurate, and outperforms other static analysis tools at finding issues in Ethereum smart contracts in terms of speed, robustness, and balance of detection and false positives. We compared tools using a large dataset of smart contracts and manually reviewed results for 1000 of the most used contracts.","PeriodicalId":174769,"journal":{"name":"2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129999851","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 325

WETSEB 2019 Committees

2019 IEEE/ACM 2nd International Workshop on Emerging Trends in Software Engineering for Blockchain (WETSEB) Pub Date : 2019-05-01 DOI: 10.1109/wetseb.2019.00006

引用次数: 0