科研之友
微信
新浪微博
Facebook
分享链接
摘要
大数据时代，以数据为基本生产要素的数据经济成为推动社会经济发展的创新动力。数据交易是支撑数据流通和创造数据价值的关键环节。然而，如何设计可靠和可维护的数据交易系统面临许多技术挑战性问题。针对这些挑战，本文提出一种自适应数据交易软件模型设计和验证方法。在分析数据交易业务需求的基础上，本文提出了一种基于Petri网的形式化数据交易自适应软件建模方法，基于Petri网和模型库方法建立数据交易业务流程的形式化模型和控制策略实施技术，Petri网的形式化语义能够有效支持数据交易系统的性质分析。最后，通过仿真实验说明所提方法的有效性和可行性。
- 单位
