高级智能合约项目管理方法、系统、电子设备及存储介质与流程

1.本发明属于区块链技术领域，具体涉及一种高级智能合约项目管理方法、系统、电子设备及存储介质。


背景技术：

2.传统的项目任务执行过程中，项目执行人根据与投资方签订的任务书，开展项目执行过程，在全部完工作完成后，项目管理部门与投资方委托统一组织专家对项目进行验收，验收通过后，项目完成人根据任务书中完成的工作量得到相应的工作量薪酬。
3.这种传统的方法存在以下风险和弊端：
4.1.任务书签订时的部分完成人没有完成预定工作，就撤出了项目，为项目带来难以弥补的损失；
5.2.验收过程往往是在整个项目结束后，才组织全体专家就整个项目进行集中验收，部分任务的验收没有根据项目的实际完成进程开展，存在最后一锤定音的情况。
6.3.项目管理部门和投资人，也存在道德风险，在项目完成后，私自篡改项目完成人工作量、不按实现约定给与工作量薪酬、拖欠工资、不予提供真实信息，导致最终项目信息失真，侵害完成人利益的情况。
7.针对现有技术中项目完成时间、工作量以及完成质量难以真实展现的问题，尚未提出有效技术方案。


技术实现要素：

8.为解决现有技术中的不足，本技术提出一种高级智能合约项目管理方法、系统、电子设备及存储介质。通过项目执行人收取押金解决完成人道德风险问题，对每项分任务进行专家独立及时验收，确保阶段性完成里程碑得到确认。通过智能合约与区块链技术解决项目管理部门和投资人道德风险问题。
9.第一方面，本技术提出一种高级智能合约项目管理方法，包括如下步骤：
10.步骤s1：将现有项目分成若干个子项目；
11.步骤s2：采用三层智能合约架构对所述若干个子项目分别编写项目执行高级智能合约，并按照所述高级智能合约完成所有子项目，其过程包括：
12.设置每个子项目的工期；
13.向项目执行人收取押金；
14.将所述押金放入资金池；
15.项目执行人完成子项目；
16.判断所述工期是否结束；
17.若所述工期未结束，则继续等待，直到工期结束，转到上一步；
18.若所述工期结束，发起专家验收；
19.判断专家验收是否合格；
20.若专家验收不合格，则项目执行人继续完成子项目；
21.若专家验收合格，则将所述押金从资金池中释放出来；
22.所述项目执行人收回所述押金；
23.所述项目执行人收取工作量款，所述子项目已完成。
24.步骤s3：等待所述子项目完成后，则现有项目结束。
25.所述三层智能合约架构，包括：
26.在高级智能合约层采用spesc编写高级智能合约；
27.在智能合约层将所述高级智能合约转化为智能合约；
28.在机器代码层中将所述智能合约生成机器代码。
29.所述对所述若干个子项目分别编写项目执行高级智能合约，包括：
30.定义所述若干个子项目的执行人，包括定义项目管理人以及项目任务承担人；
31.定义高级智能合约的条款；
32.定义高级智能合约的附加信息。
33.所述定义项目管理人，包括：
34.开始工作，包括：工作内容、工作量款、押金数目、工期；
35.给所述项目任务承担人分配子项目；
36.给所述项目任务承担人分配工作量款；
37.收取所述项目任务承担人的押金。
38.所述定义项目任务承担人，包括：
39.定义所述项目任务承担人的押金数目；
40.定义所述项目任务承担人的工作量款；
41.定义所述项目任务承担人支付押金；
42.定义所述项目任务承担人需要完成的子项目；
43.定义所述项目任务承担人收回所支付押金；
44.定义所述项目任务承担人收取工作量款。
45.所述定义高级智能合约的条款，包括：
46.定义所述项目管理人为所述项目任务承担人分配工作条款；
47.定义专家验收条款；
48.定义收取工作量款和取回押金条款。
49.所述定义高级智能合约的附加信息，包括：
50.第一变量，记录当前子项目完成的百分比，定义为百分比类型；
51.以及第二变量，记录当前子项目的结束时间，定义为日期类型；
52.将所述第一变量以及所述第二变量记录到区块链中。
53.第二方面，本技术提出一种高级智能合约项目管理系统，包括：项目分配模块、高级智能合约执行模块、完成项目模块；
54.所述项目分配模块、高级智能合约执行模块、完成项目模块依次顺序相连接；
55.所述项目分配模块用于将现有项目分成若干个子项目；
56.所述高级智能合约执行模块采用三层智能合约架构对所述若干个子项目分别编写项目执行高级智能合约，并按照所述高级智能合约完成所有子项目。
57.所述完成项目模块用于等待所述子项目完成后，则现有项目结束。
58.第三方面，本技术提出一种电子设备，包括：
59.一个或多个处理器；
60.存储器；
61.所述存储器中存储有一个或多个应用程序，所述一个或多个应用程序适于由所述一个或多个处理器执行以实现第一方面所述的高级智能合约项目管理方法。
62.第四方面，本技术提出一种计算机可读存储介质，其上存储有计算机程序，该计算机程序能够被处理器加载和执行以第一方面所述的高级智能合约项目管理方法。
63.本技术所达到的有益效果：
64.本技术提出一种高级智能合约项目管理方法、系统、电子设备及存储介质，本技术解决了现有技术中项目完成时间、工作量以及完成质量难以真实展现的问题，通过项目执行人收取押金解决完成人道德风险问题，对每个子项目行专家独立及时验收，确保阶段性完成里程碑得到确认。通过智能合约与区块链技术解决项目管理部门和投资人道德风险问题。
附图说明
65.图1为本技术实施例的一种高级智能合约项目管理方法流程图；
66.图2为本技术实施例的照所述高级智能合约完成子项目流程图；
67.图3为本技术实施例的三层智能合约架构示意图；
68.图4为本技术实施例的petri网表示的项目执行过程状态转移图；
69.图5为本技术实施例的一种高级智能合约项目管理系统原理框图；
70.图6为本技术实施例的一种电子设备示意图。
具体实施方式
71.下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，本次介绍的发明实例的内容，仅是本发明一部分实施例，而不是全部的实施例,基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。
72.第一方面，本技术提出一种高级智能合约项目管理方法，如图1所示，包括如下步骤：
73.步骤s1：将现有项目分成若干个子项目；
74.步骤s2：采用三层智能合约架构对所述若干个子项目分别编写项目执行高级智能合约，并按照所述高级智能合约完成所有子项目，如图2所示，其过程包括：
75.步骤s2.1：设置每个子项目的工期；
76.步骤s2.2：向项目执行人收取押金；
77.步骤s2.3：将所述押金放入资金池；
78.步骤s2.4：项目执行人完成子项目；
79.步骤s2.5：判断所述工期是否结束；
80.步骤s2.6：若所述工期未结束，则继续等待，直到工期结束，转到步骤s2.5；
81.步骤s2.7：若所述工期结束，发起专家验收；
82.步骤s2.8：判断专家验收是否合格；
83.步骤s2.9：若专家验收不合格，则项目执行人继续完成子项目，转到步骤s2.4；
84.步骤s2.10：若专家验收合格，则将所述押金从资金池中释放出来；
85.步骤s2.11：所述项目执行人收回所述押金；
86.步骤s2.12：所述项目执行人收取工作量款，所述子项目已完成。
87.步骤s3：等待所述子项目完成后，则现有项目结束。
88.所述三层智能合约架构，如图3所示，包括：
89.在高级智能合约层采用spesc编写高级智能合约；
90.在智能合约层将所述高级智能合约转化为智能合约；
91.在机器代码层中将所述智能合约生成机器代码。
92.基于区块链的智能合约通常是指支持可自动执行的合约代码生成运行的软件系统。常规的智能合约系统架构为两层结构：智能合约层，机器代码执行层。本技术在原有的基础上，最上层增加了一层高级智能合约层，如图3所示，使得用户可以通过更容易理解的spesc语言进行合约编写，本领域技术人员能够掌握从高级智能合约转化为智能合约的转化方法，进而转化为机器可读合约，从而更高效的完成从真实合约到目标语言智能合约的生成过程。
93.其中，智能合约层使用基于区块链的以太坊平台实现，本领域技术人员均可以根据本技术所描述的高级智能合约对应完成实现智能合约层的编写过程，本技术不再赘述。
94.区块链是一种按照时间顺序将数据区块以链条的方式组合成特定数据结构，并以密码学方式保护的不可篡改和不可伪造的去中心化共享总账，能够安全存储简单的、有先后关系的、能在系统内验证的数据，为解决中心化机构普遍存在的高成本、低效率和数据存储不安全等问题提供了解决方案。
95.以太坊是基于区块链技术的新型可编程、图灵完备的开发平台，开发者可以通过其内置的虚拟机evm执行任意复杂代码，因此能简便发型并交易数字资产、编写智能合约、建立和运行去中心化应用等。在以太坊网络中，每一个用户均可作为“矿工”，收集当前时段内的全部交易和传递的信息，并求解一道基于ethash算法的数学难题，最快求解的“矿工”将取得最终的记账权，负责打包、传播其记录的全部数据，并获得一定经济激励。以太坊通过这一机制实现全体矿工共同记录并维护系统数据。
96.本技术使用了spesc语言，如下具体描述spesc语言规则：
97.spesc语言是介于现实法律合约与现有智能合约通用语言之间的一种过渡性语言，因此，在spesc语言中智能合约被视为计算机技术、法律与金融的结合性文档。在语法结构上，spesc语言既有法律合约的结构和语法，同时又具有一定的计算机形式化语言的特征，从而避免自然语言所有的二义性和不确定性。
98.spesc智能合约由四部分组成：合约名称，合约当事人描述，合约条款，附加信息。
99.一个的合约通过spesc是这样定义的：
100.contract::＝tilte{parties terms additional }.
101.如上一行代码模板描述所示，parties表示合约的当事人，terms表示合约的条款，additional表示合约的附件信息。其中，这三个主要部分，再通过声明来进行定义。
102.1、定义当事人parties
103.parties::＝party group？partyname{field action }.
104.group关键词表示合约的当事人是群体，field表示当事人在合约中的需要记录的关键属性，action表示动作，也就是希望当事人在合约中的完成的权利与义务。个体当事人是指合约中拥有一定权利或义务的个体，如买家、卖家等。群体当事人是指在合约中拥有有相同权利与义务的多个个体，如投票人、竞拍人等，群体当事人既可以在合约执行前事先指定，也可以在合约运行中动态加人或退出。当事人定义是为了便于处理与记录当事人的信息。每个个体在区块链中都有对应的账户地址，因此，当事人属性中默认包含地址属性，用户可以通过设定具体地址来规定当事人的具体身份，也可以不在编写spesc时规定，而在智能合约运行时根据条款与执行情况进行变更。合约中的条款分为权利条款和义务条款两种，权利表示在一定条件下可以执行的动作，义务表示在一定条件下必须完成的动作，而未满足条件的动作或未被写人合约的动作表示禁止执行的动作。
105.2、定义合约的条款terms
106.terms::＝term tname:pname(shall|can)aname
107.(when precondition)？
108.(while transferoperation )？
109.(where postcondition)？.
110.这里的pname表示当事人，aname表示执行的动作，precondition表示可执行该条款的前置条件。transferoperation表示执行该条款的过程中伴随的资产转移，postcondition表示该条款执行结束后该满足的后置条件。前置与后置条件区分的依据是：合约的业务逻辑可通过前置条件与时间表达式予以表达，对于程序预期外的情况，可通过后置条件予以限制。俥资产转移的操作被分为存人、取出、转移三种。
111.3、定义资产的转移transferoperation
112.transferoperation::＝
113.{deposit}deposit(value rop)？assetexp
114.|{withdraw}withdraw assetexp
115.|{transfer}transfer assetexp to target
116.在上述定义中，rop表示关系操作，包含＞、＜、＝、＞＝和＜＝，assetexp表示资产表达式，用于描述转移的资产，target表示资产转移的目标账户。
117.生成机器代码后，再经过部署、执行、发布执行结果、将结果与其它参与验证节点共识别，记录到区块链当中，形成共识过的不可篡改的记录。
118.本技术项目执行高级智能合约涉及两个当事人：
119.(1)项目管理人，即对整个项目进行管理的人，可以是真人、也可以是法人。
120.(2)项目任务承担人。即项目的每项分人物的具体完成人。
121.所述对所述若干个子项目分别编写项目执行高级智能合约，包括：
122.定义所述若干个子项目的执行人，包括定义项目管理人以及项目任务承担人；
123.定义高级智能合约的条款；
124.定义高级智能合约的附加信息。
125.所述定义项目管理人，包括：
126.开始工作，包括：工作内容、工作量款、押金数目、工期；
127.给所述项目任务承担人分配子项目；
128.给所述项目任务承担人分配工作量款；
129.收取所述项目任务承担人的押金。
130.项目管理人的定义如下：
[0131][0132]
项目管理人属于个体当事人，声明了项目管理人可以执行的三个当作：分配工作任务，即子项目，allocateworktask，分配工作薪酬，即工作量款allocatewage()，收取项目任务承担人押金collectcashplege()。在执行项目启动的过程中，需要输入三个参数，工作量内容多少worktask，押金多少cash plege，预定任务的完成时间，即工期，taskduration。
[0133]
所述定义项目任务承担人，包括：
[0134]
定义所述项目任务承担人的押金数目；
[0135]
定义所述项目任务承担人的工作量款；
[0136]
定义所述项目任务承担人支付押金；
[0137]
定义所述项目任务承担人需要完成的子项目；
[0138]
定义所述项目任务承担人收回所支付押金；
[0139]
定义所述项目任务承担人收取工作量款。
[0140]
具体实现如下：
[0141]
具体实现如下：
[0142]
party group project employee{
[0143]
cash pledge:money
[0144]
wage：money
[0145]
pay cash pledge()
[0146]
work task()
[0147]
withdraw pay cash pledge()
[0148]
get wage()
[0149]
}
[0150]
所述定义高级智能合约的条款，包括：
[0151]
定义所述项目管理人为所述项目任务承担人分配工作条款；
[0152]
定义专家验收条款；
[0153]
定义收取工作量款和取回押金条款。
[0154]
在项目执行过程合约分析中可以看出，需要当事人主动出发的过程，分别时分配任务、专家验收、收取工作量款，其余流程可自动完成。鉴于solidity为目标语言的安全性考虑，如果只想向项目任务承担人发工作量款是有风险的，让项目任务承担人自己取回押金和工作量款是最安全的。因此，还需要编写这两类取款合约。
[0155]
图4所示，通过petri网表示了项目执行过程的状态转移图，其中，合约分为五种状态和六种动作。状态包括：生效启动、制作中、合格、不合格、合约终止；动作包括：领任务、预定工期结束、专家验收、收取工作量款、制作押金。在六种动作中，预定工期结束由计算机出发，其余五种由用户出发。根据动作，编写如下条款：
[0156]
条款1定义所述项目管理人为所述项目任务承担人分配工作条款如下：
[0157]
term no1:project manger can allocateworktask,
[0158]
where*****and
[0159]
taskstoptime＝taskduration now
[0160]
项目管理人(project manger)有权触发allocateworktask，在动作执行后，当制作完成后，结束时间(taskstoptime)应为当前时间(now)加上输入的预定任务的完成时间(taskduration)。
[0161]
条款2.定义专家验收条款如下：
[0162][0163]
验收专家可以在project manager分配完任务，同时project employee提交完成玩的任务后，对结果进行checking。if it can be accepted,release the certain work wage and cash plege.
[0164]
if it can’t be accepted,send it back.
[0165]
条款3.定义收取工作量款和取回押金条款：
[0166][0167]
如果project employee的子项目被专家接受，验收通过，且当前合约中存有押金(this project employee cash pledge:amount>0)，表明project employee实现了承诺，完成了约定项目，就可以取回押金(withdraw pay cash pledge)。条款执行成功后，该project employee的押金记录(this project employee cash pledge::amount＝0)应为
0.
[0168][0169]
如果project employee的工作被专家接受，验收通过，且当前合约中存有预定薪酬(this project employee wage:amount>0)，表明project employee实现了承诺，完成了约定项目，就可以取得预定薪酬，即工作量款(get wage)。条款执行成功后，该project employee的薪酬记录(this project employee wage::amount＝0)应为0.
[0170]
所述定义高级智能合约的附加信息，包括：
[0171]
第一变量，记录当前子项目完成的百分比，定义为百分比类型；
[0172]
以及第二变量，记录当前子项目的结束时间，定义为日期类型；
[0173]
将所述第一变量以及所述第二变量记录到区块链中。
[0174]
具体实现为：
[0175]
taskcompletedpercent:percent
[0176]
taskstoptime:date
[0177]
第一变量为百分比类型，记录了当前子项目完成的百分比；第二变量为日期类型，记录了当前子项目的完成结束时间。
[0178]
在此处定义的信息会被记录到区块链中，从而保证区块链不仅记录了信息当前的状态，还会记录合约执行过程中每一步执行后的历史正太。由于区块链数据具有不可篡改性和时许性，保证了智能合约状态的不可篡改行和可追溯性，智能合约与区块链结合的优势就体现在这里，能够有效化解项目执行过程管理中的各种风险。
[0179]
本技术以太坊私有链，应用spesc语言，设计并编写了一种项目任务执行的高级智能合约。该合约的应用，可以实现：
[0180]
1.对项目参与人的约束，通过合约中设置的项目承担人的保证金机制，化解项目承担人的道德风险，避免其同意承担项目，又不遵守诺言，中途退出项目，或是不积极完成，为项目带来难以弥补的损失等复杂情况。
[0181]
2.对项目验收方式的改进，通过项目承担人在完成本人工作后可随时提交专家验收的方式，提高了项目验收的时效性。专家组成员可以根据各项目分系统承担人的工作情况，分时、分内容进行验收，并且每个验收专家都是独立打分，提高了验收的公正性，避免最后一锤定音的情况。
[0182]
3.对项目管理部门和投资人的约束，区块链实现的不可篡改和不可伪造的去中心化共享总账，能够有效约束项目管理部分和投资人，使项目任务的分配、执行、薪酬发放更加透明，避免权力部门私自篡改项目完成人工作量、不按实现约定给与工作量薪酬、拖欠工资、不予提供真实信息，导致最终项目信息失真，侵害完成人利益的情况，有效改善项目管
理部门和投资人的强势地位，为研究区块链条与智能合约在更广泛的领域进行应用，构建平行社会，做了有意义的探索。本文的研究，对研究区块链、项目信息管理等相关领域的工程技术人员，具有借鉴意义。
[0183]
第二方面，本技术提出一种高级智能合约项目管理系统，如图5所示，包括：项目分配模块、高级智能合约执行模块、完成项目模块；
[0184]
所述项目分配模块、高级智能合约执行模块、完成项目模块依次顺序相连接；
[0185]
所述项目分配模块用于将现有项目分成若干个子项目；
[0186]
所述高级智能合约执行模块采用三层智能合约架构对所述若干个子项目分别编写项目执行高级智能合约，并按照所述高级智能合约完成所有子项目。
[0187]
所述完成项目模块用于等待所述子项目完成后，则现有项目结束。
[0188]
第三方面，本技术提出一种电子设备，包括：
[0189]
一个或多个处理器；
[0190]
存储器；
[0191]
所述存储器中存储有一个或多个应用程序，所述一个或多个应用程序适于由所述一个或多个处理器执行以实现第一方面所述的高级智能合约项目管理方法。
[0192]
第四方面，本技术提出一种计算机可读存储介质，其上存储有计算机程序，该计算机程序能够被处理器加载和执行以第一方面所述的高级智能合约项目管理方法。
[0193]
第三方面，本技术提出一种电子设备，包括：
[0194]
一个或多个处理器；
[0195]
存储器；
[0196]
所述存储器中存储有一个或多个应用程序，所述一个或多个应用程序适于由所述一个或多个处理器执行以实现第一方面所述的高级智能合约项目管理方法。
[0197]
如图6所示，电子设备100包括：处理器101和存储器103。其中，处理器101和存储器103相连，如通过总线102相连。
[0198]
该电子设备100的结构并不构成对本发明实施例的限定。
[0199]
处理器101可以是cpu，通用处理器，dsp，asic，fpga或者其他可编程逻辑器件、晶体管逻辑器件、硬件部件或者其任意组合。其可以实现或执行结合本发明公开内容所描述的各种示例性的逻辑方框，模块和电路。处理器101也可以是实现计算功能的组合，例如包含一个或多个微处理器组合，dsp和微处理器的组合等。
[0200]
总线102可包括一通路，在上述组件之间传送信息。总线102可以是pci总线或eisa总线等。总线102可以分为地址总线、数据总线、控制总线等。为便于表示，图6中仅用一条粗线表示，但并不表示仅有一根总线或一种类型的总线。
[0201]
存储器103可以是rom或可存储静态信息和指令的其他类型的静态存储设备，ram或者可存储信息和指令的其他类型的动态存储设备，也可以是eeprom、cd
‑
rom或其他光盘存储、光碟存储(包括压缩光碟、激光碟、光碟、数字通用光碟、蓝光光碟等)、磁盘存储介质或者其他磁存储设备、或者能够用于携带或存储具有指令或数据结构形式的期望的程序代码并能够由计算机存取的任何其他介质，但不限于此。
[0202]
第四方面，本技术提出一种计算机可读存储介质，其上存储有计算机程序，该计算机程序能够被处理器加载和执行以第一方面所述的高级智能合约项目管理方法。
[0203]
本发明申请人结合说明书附图对本发明的实施示例做了详细的说明与描述，但是本领域技术人员应该理解，以上实施示例仅为本发明的优选实施方案，详尽的说明只是为了帮助读者更好地理解本发明精神，而并非对本发明保护范围的限制，相反，任何基于本发明的发明精神所作的任何改进或修饰都应当落在本发明的保护范围之内。