Model Checking of Solidity Smart Contracts Adopted for Business Processes

2021 ◽  
pp. 116-132
Author(s):  
Ikram Garfatta ◽  
Kaïs Klai ◽  
Mohamed Graïet ◽  
Walid Gaaloul
Keyword(s):  
Model Checking ◽  
Business Processes ◽  
Smart Contracts

Model Checking Analysis of Semantically Annotated Business Processes

2012 ◽  
Vol 42 (4) ◽  
pp. 854-867 ◽  
Author(s):  
María José Ibanez ◽  
Javier Fabra ◽  
Pedro Alvarez ◽  
Joaquín Ezpeleta
Keyword(s):  
Model Checking ◽  
Business Processes

Security Validation of Business Processes via Model-Checking

2011 ◽  
pp. 29-42 ◽  
Author(s):  
Wihem Arsac ◽  
Luca Compagna ◽  
Giancarlo Pellegrino ◽  
Serena Elisa Ponta
Keyword(s):  
Model Checking ◽  
Business Processes

Reputation Damage Minimization at Accident on Gas Pipeline System with Use of Smart Contracts and SAP Integration Technologies (on the Example of Gazprom PJSC)

2018 ◽  
Vol 6 (5) ◽  
pp. 48-55
Author(s):  
Кирилл Мельников ◽  
Kirill Melnikov
Keyword(s):  
Business Processes ◽  
Oil And Gas ◽  
Linear Part ◽  
Theoretical Models ◽  
Integrated Approach ◽  
Gas Pipeline ◽  
Pipeline System ◽  
Clear Understanding ◽  
Problem Solution ◽  
Smart Contracts

In this paper an integrated approach to a problem related to minimization of gas supplier’s reputation losses connected with accidents on a gas pipeline and disruption of gas delivery to a consumer with the help of smart contracts is stated. Nowadays analysts and methodologists of pipeline companies perform assessment of expected and actual material expenses at an accident on GTS objects. Account and analytics of reputation losses either isn’t conducted in all, or is implemented in the frame of separate business processes which aren’t integrated into processes of enterprise budget’s management and planning. Such situation is disconcertingly. In the era of globalization the cost of a company and its business reputation depends significantly on the attitude towards it in society. In Europe and USA the major oil and gas companies invest huge money in increasing of their positive image in the eyes of population. Any significant accident which has happened in unforeseen time and unsuccessful place can completely destroy reputation of any company. Modern corporate IT-decisions allow unite a number of data flows in the uniform analytical module now. Information collected in such modules in Gazprom PJSC helps to solve optimizing problems both within planning of material inputs, and within accounting of reputation expenses. In this work a theoretical model for assessment of reputation losses at an accident on a linear part of a gas transmission system (GTS) of Gazprom PJSC is given. Modern theoretical models for definition of function of supplier’s reputation losses have been used. The review of possible application for SAP decisions and Blockchain technology in current business processes of Gazprom JSC in the frame of the problem solution is given. For a clear understanding how to integrate this decision into existing business processes the graphic description of the decision work scheme is given. The principles of this approach can be applied not only in working processes of Gazprom PJSC, but also adapted according to other pipeline companies’ needs. Possible fast introduction of cryptoruble in Russia can offer new prospects for mass introduction of this tool in the context of smart contracts.

scholarly journals THE ESSENCE OF BLOCKCHAIN TECHNOLOGY AND ITS APPLICATION IN THE FINANCIAL SPHERE

2021 ◽  
Author(s):  
Viktor Stepura
Keyword(s):  
Business Processes ◽  
Banking Sector ◽  
New Technologies ◽  
Distributed Database ◽  
Smart Contracts ◽  
Process Step ◽  
Customer Data ◽  
Legal Norms ◽  
Theoretical Substantiation ◽  
Blockchain Technology

The constant demand of society to improve the speed and security of business processes is the driving force behind the emergence of new technologies and solutions, one of which is the blockchain. The article provides a theoretical substantiation of the essence of blockchain technology as an economic category. The object and subjects of the blockchain are defined, its inherent functions and principles are formed. The article also proposes an approach to the classification of blockchain types, all this allows a comprehensive approach to the study of the process of using blockchain technology in the financial sphere. The paper describes and reveals the blockchain process step by step. The process is described in a universal way, suitable for working with any projects based on a distributed database. The article provides examples of the use of blockchain technology in various areas of financial activity. In the banking sector, blockchain can improve the security and speed of domestic and international payments, and such payments will also be practically free for the parties. In insurance, the introduction of blockchain technology will help companies instantly exchange customer data, and the use of smart contracts will speed up the work with insurance policies. Thanks to the blockchain in accounting, information about transactions, contracts, etc. will be recorded in the general register in real time, so the verification of compliance with legal norms will occur automatically. This will significantly increase the operational efficiency of organizations. The use of blockchain in audit will make this process more transparent, and the time of its implementation will be significantly reduced due to reliable and up-to-date accounting records between counterparties. In the securities market, the blockchain will digitize securities, which will increase their liquidity, as well as help to better comply with the law, and will allow flexible transfer and accounting of ownership of such assets. In working with smart contracts, thanks to the code running on the blockchain, the contract can be executed automatically. At the end of the article, the conclusions are formed and the forecast of the development of the blockchain market for the coming years is given.

Model Checking of Constraint-Based Workflow Based on Linear Temporal Logic

2012 ◽  
Vol 601 ◽  
pp. 401-405
Author(s):  
Wen Bo Zhou ◽  
Shu Zhen Yao
Keyword(s):  
Model Checking ◽  
Temporal Logic ◽  
Business Processes ◽  
Workflow Management ◽  
Linear Temporal Logic ◽  
Management Systems ◽  
Workflow Management Systems ◽  
Model Based ◽  
Büchi Automaton ◽  
Constraint Based Models

The degree of flexibility of workflow management systems heavily influences the way business processes are executed. Constraint-based models are considered to be more flexible than traditional models because of their semantics: everything that does not violate constraints is allowed. More and more people use declarative languages to define workflow, such as linear temporal logic. But how to guarantee the correctness of the model based on the linear temporal logic is still a problem. This article proposes a way to verify the model based on Büchi automaton and gives the corresponding algorithms. Thus the verification of declarative workflow based on the linear temporal logic is solved.

Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems

2020 ◽  
Author(s):  
Abdelhakim Baouya ◽  
Salim Chehida ◽  
Saddek Bensalem ◽  
Marius Bozga
Keyword(s):  
Model Checking ◽  
Statistical Model ◽  
Temporal Logic ◽  
Communication Protocol ◽  
Information Gathering ◽  
Consensus Algorithm ◽  
Smart Contracts ◽  
Consensus Protocol ◽  
Statistical Model Checking ◽  
Liveness Properties

Many industrials consider blockchain as a technology breakthrough for cybersecurity, with use cases ranging from cryptocurrency system to smart contracts, and so forth. While IoT systems employ a lightweight communication protocol between physical objects, blockchain may ensure safe information gathering. Unfortunately, the mixture of both technologies has yet to be formally investigated regarding the consensus algorithm. In this paper, statistical model checking is applied to provide quantitative answers on whether the modeled system satisfies safety and liveness properties expressed in LTL temporal logic.

ECONOMIC MANAGEMENT OF A HIGH-TECH COMPANY USING PLANNING AND A PROJECT-PROCESS APPROACH

2021 ◽  
pp. 110-117
Author(s):  
Igor O. Zharinov
Keyword(s):  
Economic Performance ◽  
Business Processes ◽  
Process Approach ◽  
High Tech ◽  
Smart Contracts ◽  
Internal Environment ◽  
Economic Management ◽  
Innovative Company ◽  
Operational Activities ◽  
Contractual Obligations

The task of organizing the economic management of an innovative company, which field of activity is related to high-tech business, is studied. A system of economic management is proposed, which is based on the function of planning the company's operational activities and a project-process approach to regulating the company's microeconomic indicators. The indicators characterize the effectiveness of the implementation of business projects and business processes, jointly controlled in the internal environment of the company and recalculated into the integral economic performance of the company. The controlling function is assigned to smart contracts that track the fulfillment of the company's contractual obligations to consumers. The management subjects in the system are defined as managers of various levels of the hierarchy who are influenced by productivity challenges. The company as an object of economic management in the system is subject to the influence of market challenges. The control system is built according to a closed circuit that adaptively responds to external and internal calls through local and global feedbacks.

Sign in / Sign up

Export Citation Format

Share Document