一种自适应数据交易软件模型设计技术 |
| |
引用本文: | 汤奇峰,虞慧群,范贵生,邵志清.一种自适应数据交易软件模型设计技术[J].华东理工大学学报(自然科学版),2024(1):137-145. |
| |
作者姓名: | 汤奇峰 虞慧群 范贵生 邵志清 |
| |
作者单位: | 1. 华东理工大学计算机科学与工程系;2. 上海数据交易所有限公司 |
| |
基金项目: | 上海市自然科学基金(21ZR1416300); |
| |
摘 要: | 在大数据时代,以数据为基本生产要素的数据经济成为推动社会经济发展的创新动力。数据交易是支撑数据流通和创造数据价值的关键环节。然而,如何设计可靠和可维护的数据交易系统面临许多技术挑战性问题。针对这些挑战,本文提出一种自适应数据交易软件模型设计和验证方法。在分析数据交易业务需求的基础上,提出了一种基于Petri网的形式化数据交易自适应软件建模方法,基于Petri网和模型库方法建立数据交易业务流程的形式化模型和控制策略实施技术,Petri网的形式化语义能够有效支持数据交易系统的性质分析。最后,通过仿真实验说明所提方法的有效性和可行性。
|
关 键 词: | 数据交易 软件模型设计 Petri网 验证 性能分析 |
|
|