金融界2025年4月10日消息，国家知识产权局信息显示，上交所技术有限责任公司申请一项名为“一种面向核心交易系统架构代码实现的抽象建模及验证方法”的专利，公开号CN 119782125 A，申请日期为2025年3月。

专利摘要显示，本发明是一种面向核心交易系统架构代码实现的抽象建模及验证方法，包括：A对交易系统的架构进行建模与验证：通过从架构框架的代码实现与开发设计文档中抽取相关信息，使用抽象建模技术构建已有系统的行为模型，利用UML顺序图建模系统的进程通信过程，将UML顺序图转换成CSP的形式化模型，并使用PAT验证器进行安全性质的验证分析；B对交易系统中集群选主模块进行建模及验证：构建集群选主过程中各个节点的状态机模型，构建系统动态模型，并使用PAT验证器对选主过程的正确性进行验证分析。本发明优点在于：解决交易系统架构中各进程间通信过程及集群选主过程中各个节点的状态变迁建模问题，提升建模及安全性验证分析能力。

天眼查资料显示，上交所技术有限责任公司，成立于1997年，位于上海市，是一家以从事专业技术服务业为主的企业。企业注册资本29000万人民币，实缴资本29000万人民币。通过天眼查大数据分析，上交所技术有限责任公司共对外投资了2家企业，参与招投标项目413次，财产线索方面有商标信息72条，专利信息60条，此外企业还拥有行政许可19个。