关键词: 区块链, 智能合约, BPMN建模, 信用服务, 语义分析

Abstract: With the widespread use of blockchain in various areas, the problems of complex business requirements, highsecurity requirements, and difficulty in developing smart contracts are urgent to be solved. There is an imperative demand for an intermediate language that enables domain experts and lawyers to cooperate with developers to complete trusted smart contract development. This paper focuses on the credit service field, and we automatically extract text rules with syntax dependency tree, semantic analysis tree and other technologies. We also apply BPMN as an intermediate language to build a business rules model and produce a set of domain smart contract design paradigms. According to the code characteristics of smart contracts, the BPMN syntax subset is extracted to model the business process. The conversion rules from XML files based on the BPMN model to Java codes are given, which are expected to accomplish the work of efficient smart contract code generation. In the end, two smart contract instances are designed and analyzed.Key wordsblockchain; smart contract; BPMN modeling; credit service; semantic analysis

Key words: blockchain, smart contract, BPMN modeling, credit service, semantic analysis