王璞巍
- 作品数：6 被引量：51H指数：3
- 供职机构：中国人民大学信息学院数据工程与知识工程实验室更多>>
- 发文基金：国家自然科学基金中国人民大学科学研究基金浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于MDA的ODP互操作性软件过程研究被引量：3
- 2004年
- 利用RM-ODP概念架构，提出了基于MDA的ODP软件过程，将互操作性的实现贯穿于整个系统的开发过程之中：在PIM中设计，在PSM中实现。为了使系统建立在正确的完整的PIM之上，在需求分析阶段采用了EDOC 模式进行可视化的建模，在功能设计阶段采用了E-LOTOS形式化描述得到PIM。因此，本软件过程实现了ODP系统基于可测试业务模型的互操作性。
- 王璞巍唐胜群
- 关键词：互操作性MDARM-ODPPIMODPTRADER
- 网构软件实体的功能描述及其发现被引量：7
- 2009年
- 网构软件通过网构软件实体自底向上的动态聚合来满足用户的需求.在这个过程中,网构软件实体的功能描述发挥着非常重要的作用.根据基于环境的软件建模思想,文中提出了基于环境本体的网构软件实体功能描述方法.其中,环境本体包含领域相关的环境实体以及这些环境实体需要的来自软件实体的交互,环境实体的生命周期用树结构层次状态机来刻画.网构软件实体的功能则表现为它能够与那些环境实体发生的交互,以及这些环境实体在它的作用下所发生的变化.文中构型了网构软件实体功能描述之间的匹配过程,以支持网构软件实体的发现.选择在线教学领域中的具体案例展示了所提出方法的有效性.
- 王璞巍金芝刘红岩
- 关键词：网构软件
- 面向合同的智能合约的形式化定义及参考实现被引量：27
- 2019年
- 智能合约是区块链系统的核心组件,在现实中广泛应用.然而,目前没有关于智能合约的统一定义,在不同的区块链平台上,智能合约的实现也相差甚远.这样将影响公众对智能合约的认知,也对产业的发展造成障碍.回顾了智能合约的发展历史,梳理其概念的变化过程.归纳智能合约的本质,对现有智能合约的实现进行了分析和对比.给出了面向合同的智能合约的形式化定义,为智能合约的标准化奠定基础.提出了独立于区块链平台的、通用的智能合约实现方法.在目前广泛应用的联盟链区块链平台 Hyperledger Fabric 上面进行了具体实现.最后对未来工作进行了展望.
- 王璞巍王璞巍孟佶陈晋川陈晋川
- 关键词：区块链
- 基于纳什均衡的智能合约缺陷检测被引量：3
- 2021年
- 本文研究区块链智能合约的缺陷检测问题,即检测合约中是否存在部分合约方无论选择什么动作,均无法避免损失的状态.将智能合约问题转换成合约状态迁移图上的博弈策略选择问题,提出了基于纳什均衡理论的合约缺陷自动检测方法,以及为了提高检测效率,提出了针对合约状态变迁图和博弈策略形式的一系列化简方法.最后,实现了一个智能合约建模、分析和部署工具.针对一组真实合同的实验表明,该工具能自动发现部分合同缺陷,化简方法提升缺陷检测效率的效果明显.
- 陈晋川夏华辉王璞巍王璞巍王琪李浩然杜小勇
- 关键词：纳什均衡区块链博弈论
- 形式化描述Web Services平台无关模型的研究
- 随着互联网的普及和延伸,软件系统的开发模式已经从过去的本地系统集成发展到更为复杂的多层分布式系统,由此诞生了Web Services.它采用了消息的、松散耦合的Web技术,集成并提升了网络中众多应用程序的价值.Web S...
- 王璞巍
- 关键词：模型驱动体系结构平台无关模型
- 文献传递
- 一种需求驱动的自主Web服务聚集方法被引量：12
- 2010年
- 引入具有主动搜索需求能力的自主Web服务概念,提出基于环境本体的意图-行为-实现机制,用于描述服务请求和自主Web服务能力,构型了一种需求驱动的自主Web服务聚集的模型.给出了基于意图-行为-实现机制的需求能力匹配算法和自主Web服务聚集算法.最后,通过对应用案例的研究来展示该方法的可行性.
- 叶荣华金芝王璞巍郑丽伟杨夏芬
- 关键词：意图
