王璞巍

作品数：5被引量：50H指数：4
导出分析报告
供职机构：中国人民大学信息学院数据工程与知识工程实验室更多>>
发文主题：合约区块链以太合同形式化定义更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《软件学报》《计算机工程》《中国科学：信息科学》《计算机学报》更多>>
所获基金：国家自然科学基金中国人民大学科学研究基金浙江省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于纳什均衡的智能合约缺陷检测被引量：5
《计算机学报》2021年第1期147-161,共15页陈晋川 夏华辉 王璞巍 马纳波 王琪 李浩然 杜小勇 
国家自然科学基金(U1911203);贵州财经大学与商务部国际贸易经济合作研究院联合基金(2017SWBZD08)资助
本文研究区块链智能合约的缺陷检测问题,即检测合约中是否存在部分合约方无论选择什么动作,均无法避免损失的状态.将智能合约问题转换成合约状态迁移图上的博弈策略选择问题,提出了基于纳什均衡理论的合约缺陷自动检测方法,以及为了提...
关键词：智能合约 纳什均衡 缺陷检测 区块链 博弈论 
面向合同的智能合约的形式化定义及参考实现被引量：30
《软件学报》2019年第9期2608-2619,共12页王璞巍 杨航天 孟佶 陈晋川 杜小勇 
国家重点研发计划(2016YFB1000702);贵州财经大学与商务部国际贸易经济合作研究院联合基金(2017 SWBZD08)~~
智能合约是区块链系统的核心组件,在现实中广泛应用.然而,目前没有关于智能合约的统一定义,在不同的区块链平台上,智能合约的实现也相差甚远.这样将影响公众对智能合约的认知,也对产业的发展造成障碍.回顾了智能合约的发展历史,梳理其...
关键词：区块链 智能合约 以太坊 超级账本 
一种需求驱动的自主Web服务聚集方法被引量：9
《软件学报》2010年第6期1181-1195,共15页叶荣华 金芝 王璞巍 郑丽伟 杨夏芬 
国家自然科学基金Nos.90818026;60625204;浙江省自然科学基金No.Y107625;中国人民大学科学研究基金No.22382075~~
引入具有主动搜索需求能力的自主Web服务概念,提出基于环境本体的意图-行为-实现机制,用于描述服务请求和自主Web服务能力,构型了一种需求驱动的自主Web服务聚集的模型.给出了基于意图-行为-实现机制的需求能力匹配算法和自主Web服务聚...
关键词：自主Web服务 需求驱动 聚集 意图 行为 服务组合 
网构软件实体的功能描述及其发现被引量：7
《中国科学（F辑:信息科学）》2009年第12期1271-1287,共17页王璞巍 金芝 刘红岩 
国家自然科学基金杰出青年基金(批准号:60625204);国家重点基础研究发展计划(批准号:2009CB320701);国家自然科学基金(批准号:90818026;60736015);中国人民大学科学研究基金(批准号:22382075)资助项目
网构软件通过网构软件实体自底向上的动态聚合来满足用户的需求.在这个过程中,网构软件实体的功能描述发挥着非常重要的作用.根据基于环境的软件建模思想,文中提出了基于环境本体的网构软件实体功能描述方法.其中,环境本体包含领域相关...
关键词：网构软件 功能描述 领域软件环境本体 树结构层次状态机 
基于MDA的ODP互操作性软件过程研究
《计算机工程》2004年第9期87-88,114,共3页王璞巍 唐胜群 
利用RM-ODP概念架构，提出了基于MDA的ODP软件过程，将互操作性的实现贯穿于整个系统的开发过程之中：在PIM中设计，在PSM中实现。为了使系统建立在正确的完整的PIM之上，在需求分析阶段采用了EDOC 模式进行可视化的建模，在功能设计阶...
关键词：互操作性 软件过程 MDA RM-ODP PIM ODP TRADER 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部