CN114116900A - Efficient trading system and development method based on MDD model - Google Patents

Efficient trading system and development method based on MDD model Download PDF

Info

Publication number
CN114116900A
CN114116900A CN202111405864.8A CN202111405864A CN114116900A CN 114116900 A CN114116900 A CN 114116900A CN 202111405864 A CN202111405864 A CN 202111405864A CN 114116900 A CN114116900 A CN 114116900A
Authority
CN
China
Prior art keywords
model
message
data
code
field
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN202111405864.8A
Other languages
Chinese (zh)
Inventor
于子益
冯上海
胡宝权
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shanghai Kingstar Fintech Co Ltd
Original Assignee
Shanghai Kingstar Fintech Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Shanghai Kingstar Fintech Co Ltd filed Critical Shanghai Kingstar Fintech Co Ltd
Priority to CN202111405864.8A priority Critical patent/CN114116900A/en
Publication of CN114116900A publication Critical patent/CN114116900A/en
Pending legal-status Critical Current

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/27Replication, distribution or synchronisation of data between databases or within a distributed database system; Distributed database system architectures therefor
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/22Indexing; Data structures therefor; Storage structures
    • G06F16/2228Indexing structures
    • G06F16/2272Management thereof
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/80Information retrieval; Database structures therefor; File system structures therefor of semi-structured data, e.g. markup language structured data such as SGML, XML or HTML
    • G06F16/84Mapping; Conversion
    • G06F16/86Mapping to a database
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46Multiprogramming arrangements
    • G06F9/54Interprogram communication
    • G06F9/546Message passing systems or structures, e.g. queues
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06QINFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q40/00Finance; Insurance; Tax strategies; Processing of corporate or income taxes
    • G06Q40/04Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Databases & Information Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Data Mining & Analysis (AREA)
  • Business, Economics & Management (AREA)
  • Finance (AREA)
  • Accounting & Taxation (AREA)
  • Computing Systems (AREA)
  • Development Economics (AREA)
  • Economics (AREA)
  • Marketing (AREA)
  • Strategic Management (AREA)
  • Technology Law (AREA)
  • General Business, Economics & Management (AREA)
  • Financial Or Insurance-Related Operations Such As Payment And Settlement (AREA)

Abstract

The invention discloses an efficient trading system and a development method based on an MDD model. The data model integrates the functions of system service and data storage, the message model provides interfaces for data transmission and communication between systems, and the field type model serves the data model and the message model and provides the types and the lengths of fields appearing in the two models. The invention integrates the relation between the service and the communication through the three models, analyzes the relation between the models and the model by using the codes, stores the analyzed relation into the data structure, generates the codes according to the development requirements of each module, greatly reduces the code amount needing to be manually written by a code generation mode, and greatly reduces the problem of service and message errors caused by service fields.

Description

Efficient trading system and development method based on MDD model
Technical Field
The invention belongs to the field of computers, and particularly relates to an efficient trading system and a development method based on an MDD model.
Background
With the openness of the prior art integrated transaction platform (CTP) API, each terminal manufacturer and a programmed trader take the CTP API as a mainstream interface, and further market share of the CTP trading counter is promoted. In order to have a strong competitive power in the over-the-counter market, the kingdom project introduced a new generation of distributed futures trading system (DTP-F). The competition of the counter market, functions, performance, safety, accuracy, stability and the like are the same, and the high-efficiency development speed is the key index for ensuring that the people can respond to the requirements of customers in the same industry at the first time. The DTP-F needs to convert the service model held by kingdom into the CTP interface, and a brand-new system architecture introduces a plurality of new technical points, such as: jinshida brand new bus technology (RDMA), Jinshida New version memory database (KSMDB), Jinshida brand new intercom technology (PB, SBP), and so on. The DTP-F system needs to develop dozens of modules under a distributed architecture, the main transaction modules are transaction front-end, transaction core, business core, report machine, transaction API, cluster service, synchronous service, etc., and the peripheral modules still need to develop modules related to the transaction modules, such as management API, management counter, simulation exchange, etc., and these modules are full of a large number of business logic and communication mechanisms. DTP-F requires accurate and rapid access of complex services to these technologies and can support system expansion.
In view of the above requirements, the DTP-F needs a set of technical solutions to efficiently implement these complex requirements, and can ensure reliability and security of system internal communication, data storage data management, and the like. Through the technical scheme, the number of related module developers can be greatly reduced, and codes with correct logic, safety and robustness can be automatically generated for the corresponding modules.
In system development, developers mainly rely on complex requirement document translation and interface an API of CTP through self understanding of services, which can cause the situation that the developers misread requirements or misunderstand services to cause function errors, bring obvious and obscure system bugs, occupy time of a large number of developers and testers, and prolong the development period of the whole system. The development of the aspects related to business communication messages is often a relatively mechanically tedious "physical activity", and developers need a lot of time to complete some simple and cumbersome message codes, and at the same time, the expansibility of the completed function codes is lacking. When a developer is faced with communication message development of complex business logic, such as PB and SBP communication protocols used in DTP-F, field missing filling errors or message missing errors may occur, which may cause fatal and difficult-to-troubleshoot accidents to a transaction system.
In the system architecture of the DTP-F, most of the modules relate to business logic and require system communication interaction, and individual modules relate to complex scenes such as data storage and conversion, so that in the face of a transaction system which is so complex and depends on a strong business relationship, developers need to invest a lot of time and effort to complete corresponding technical development work, and cannot concentrate on development in the pure business aspect.
Therefore, an efficient trading system and a development method based on the MDD model are urgently needed to be provided.
Disclosure of Invention
In order to overcome the defects in the prior art, the invention provides an efficient trading system based on an MDD model and a development method. The invention designs three types of system common models, namely a data model, a message model and a field type model. The invention integrates the relation between the business and the communication through the three models, analyzes the relation between the models and the model by using codes, stores the relation into a data structure, generates the codes according to the development requirements of each module, comprises dozens of core functions such as a database table structure, a front-end processor inquiry service, a synchronization service and the like, and peripheral services such as data loading, data loading and data unloading and the like, greatly reduces the code amount needing manual writing through a code generation mode, and greatly reduces the problem of business and message errors caused by business fields. Aiming at the test problem of DTP-F, the data model creates the basis of data simulation, and the invention can generate test simulation data according to market data provided by a trading exchange and some Jinshida owned data and by combining the data model, thereby bringing great convenience to testers. Meanwhile, the invention also customizes special private modules, such as a data dictionary, transaction parameters, a bus message flow definition module, a data context table and the like, and helps the peripheral system generate codes and configurations which can be customized and used by customers.
In order to solve the technical problems, the invention provides the following technical scheme:
the invention provides an efficient trading system based on an MDD model, wherein the model comprises a data model, a message model and a field type model; the data model is used for providing service logic and data storage, the message model is used for system communication and data transmission, the data model and the message model are in bidirectional communication connection, and the field type model is used for unidirectionally providing field defined functions for the data model and the message model. The model is stored through XML, the content and the structure are completely separated, the interoperability is strong, and the model has a data structure of a father/son relation and is very suitable for data exchange.
The invention also comprises a private model, wherein the private model comprises a data dictionary and transaction parameter module, a cluster message distribution module, a message flow definition module and a synchronous vertical form module, and the data dictionary and transaction parameter module is used for generating a data dictionary and a transaction parameter macro definition in a DTP-F transaction system and generating corresponding sql data by combining with the data model; the cluster message distribution module is used for distributing client messages of the transaction system; the message flow definition module is used for generating a configuration file for allocating and controlling the communication message numbers of all modules in the bus; the synchronous on-site and off-site table module is used for generating configuration files of on-site and off-site in the synchronous service and generating synchronous on-site codes of a transaction front end, a business core, a transaction core and a five-major futures exchange reporting machine.
As a preferred technical solution of the present invention, the data model includes a plurality of unit modules, each unit module is represented on a storage structure as a data table in a database, a data table in a kingdom memory bank, and a data table in a memory table, and includes three parts: a field part, an index list and a conversion function; the field part comprises a service field in the data table and is used for defining the type name of the field; the index list is used by a database, a memory bank and a memory table and is used for defining a plurality of query indexes and allocating the indexes to be special for a certain data storage mode; a layer of field structure is also arranged below the index list, and a main key field, a common index field and index dimensions defined according to different field service types are arranged in the field structure; the conversion function defines the dictionary conversion function of the memory table according to different service requirements, and the function in most tables is empty.
As a preferred technical scheme of the invention, the message model is used for storing the internal communication messages of the DTP-F system, and the message model comprises an API message model and an SBP message model according to different communication protocols.
As a preferred technical scheme of the invention, the API message model adopts PB protocol, the SBP message model adopts SBP protocol, the API message model and the SBP message model have the same structure, the father node of the message model comprises the service type, the message name and the message number of the message, one or more message fields are defined under the message according to different services, and the message fields and types are stored in the message fields according to different services.
As a preferred technical solution of the present invention, two common message fields are defined in the message model, which are respectively a common information field PubInfo and a response information field RspInfo, where the common information field PubInfo stores a front-end processor number and a session number, and the response information field RspInfo is customized for the response message and is used for storing an error code and error information in the response.
As a preferred technical solution of the present invention, the field type model is used for storing data type fields used in the data model and the message model, and defines types and lengths of the data fields.
As a preferred technical solution of the present invention, the present invention further provides an efficient trading system development method based on an MDD model, comprising the steps of:
s1, starting generation;
s2, verifying the model, if successful, entering the step S3, and if failed, exiting;
s3, sequentially generating a memory base ks file, a transaction code, a database sql code, an SBP message code, protobuf, a settlement system data conversion code, a synchronous service code, a DTP-F system configuration and a private code based on the data model, the message model, the field type model and the private model,
s4, simultaneously, sequentially generating a memory base code and a transaction front memory base loading code after the memory base ks file is generated; after the transaction code is generated, memory table public codes are sequentially generated; after the SBP message code is generated, the SBP message macro definition is generated; and generating a PB message code and a PB message macro definition in sequence after the protobuf is generated.
As a preferred embodiment of the present invention, the present invention further provides a storage medium, in which a computer program is stored, the computer program being configured to execute the above method when running.
As a preferred technical solution of the present invention, the present invention further provides a computer device, including a memory and a processor, wherein the memory stores a computer program, and the processor is configured to run the computer program to execute the method.
Compared with the prior art, the invention has the following beneficial effects:
(1) the data model integrates functions of system service, data storage and the like, the message model provides interfaces for data transmission and communication between systems, and the field type model provides types and lengths of fields appearing in the data model and the message model for service. The invention makes the technical structure and the service function clear by each model, and closely links each module in the trading system.
(2) The invention provides strong expansion capability, and developers can maintain the requirement change at the later stage according to the existing interface.
(3) The invention can add a new model to develop new service, automatically generate communication and storage codes related to the new service, and the new service can be directly integrated into a transaction system.
(4) The invention greatly improves the development rate and reduces the personnel investment.
(5) The invention ensures the correctness of conversion between PB and SBP communication protocols and the safety of data transmission, perfectly combines SBP messages with a database, a memory database and the like, and improves the reliability of data storage.
(6) The private model of the invention provides customized service for each module of the transaction system, and can accelerate personalized development speed.
Drawings
Fig. 1 is a block diagram of a model in an efficient trading system based on an MDD model according to the present invention.
FIG. 2 is a connection relationship diagram of the model in the efficient trading system based on the MDD model.
Fig. 3 is a block diagram of a data model in an efficient trading system based on an MDD model according to the present invention.
Fig. 4 is a block diagram of a message model in an efficient trading system based on an MDD model according to the present invention.
FIG. 5 is a flow chart of the operation of the efficient trading system development method based on the MDD model.
Detailed Description
The preferred embodiments of the present invention will be described in conjunction with the accompanying drawings, and it will be understood that they are described herein for the purpose of illustration and explanation and not limitation.
Example 1
To achieve the object of the present invention, as shown in fig. 1 to 4, in an embodiment of the present invention, there is provided an efficient trading system based on an MDD model, the model including a data model, a message model, a field type model; the data model is used for providing business logic and data storage, and comprises a plurality of unit modules, wherein each unit module is represented as a data table in a database, a data table in a Kingshida memory bank and a data table in a memory table on a storage structure, and comprises three parts: a field part, an index list and a conversion function; the field part comprises a service field in the data table and is used for defining the type name of the field; the index list is used by a database, a memory bank and a memory table and is used for defining a plurality of query indexes and allocating the indexes to be special for a certain data storage mode; a layer of field structure is also arranged below the index list, and a main key field, a common index field and index dimensions defined according to different field service types are arranged in the field structure; the conversion function defines the dictionary conversion function of the memory table according to different service requirements, and the function in most tables is empty.
The message model is used for system communication and data transmission, the message model is used for storing DTP-F system internal communication messages, and the message model comprises an API message model and an SBP message model according to different communication protocols. The API message model adopts PB protocol, the SBP message model adopts SBP protocol, the API message model and the SBP message model have the same structure, the father node of the message model comprises the service type, the message name and the message number of the message, one or more message fields are defined under the message according to different services, and the message fields and types are stored in the message fields according to the services. Two public message domains are defined in the message model, namely a public information domain PubInfo and a response information domain RspInfo, wherein the public information domain PubInfo stores a front-end processor number and a session number, and the response information domain RspInfo is customized for the response message and is used for storing error codes and error information in the response. And each module in the DTP-F system identifies the message according to the TID in the packet header and cancels the data stored in the message domain according to different business logics so as to realize the communication among the modules. In order to facilitate protocol conversion of PB and SBP, part of message names are the same or similar to message domain names in two different message models, and functions are similar.
The data model and the message model are in bidirectional communication connection, and the field type model is used for providing field definition functions for the data model and the message model in a unidirectional mode. The field type model is used for storing data type fields used in the data model and the message model and defines the type and the length of the data fields. The model is stored through XML, the content and the structure are completely separated, the interoperability is strong, and the model has a data structure of a father/son relation and is very suitable for data exchange. The invention integrates the relation between the business and the communication through the three models, analyzes the relation between the models and the model by using codes, stores the analyzed relation into a data structure, and generates the codes according to the development requirements of each module, wherein the code comprises dozens of core functions such as a database table structure, a front-end processor inquiry service, a synchronization service and the like, and peripheral services such as data loading, data uploading and downloading and the like. The code generation mode greatly reduces the code amount needing to be written manually, and greatly reduces the problems of business and message errors caused by business fields. Aiming at the test problem of DTP-F, the data model creates the basis of data simulation, and the invention can generate test simulation data according to market data provided by a trading exchange and some Jinshida owned data and by combining the data model, thereby bringing great convenience to testers.
Example 2
As a preferred embodiment, the embodiment is the same as embodiment 1 except that the embodiment further includes a private model, where the private model includes a data dictionary and transaction parameter module, a cluster message distribution module, a message flow definition module, and a synchronous context table module, and the data dictionary and transaction parameter module is used to generate a data dictionary and a transaction parameter macro definition in the DTP-F transaction system, and is combined with the data model to generate corresponding sql data; the cluster message distribution module is used for distributing client messages of the transaction system; the message flow definition module is used for generating a configuration file for allocating and controlling the communication message numbers of all modules in the bus; the synchronous on-site and off-site table module is used for generating configuration files of on-site and off-site in the synchronous service and generating synchronous on-site codes of a transaction front end, a business core, a transaction core and a five-major futures exchange reporting machine. In the embodiment, the customized service is provided for each module of the transaction system through the private model, so that the personalized development speed can be increased.
As shown in fig. 5, in order to further optimize the implementation effect of the present invention, this embodiment further provides a method for developing an efficient trading system based on an MDD model, where the efficient trading system based on the MDD model is applied, and the method includes the following steps:
s1, starting generation;
s2, verifying the model, if successful, entering the step S3, and if failed, exiting;
s3, sequentially generating a memory base ks file, a transaction code, a database sql code, an SBP message code, protobuf, a settlement system data conversion code, a synchronous service code, a DTP-F system configuration and a private code based on the data model, the message model, the field type model and the private model,
s4, simultaneously, sequentially generating a memory base code and a transaction front memory base loading code after the memory base ks file is generated; after the transaction code is generated, memory table public codes are sequentially generated; after the SBP message code is generated, the SBP message macro definition is generated; and generating a PB message code and a PB message macro definition in sequence after the protobuf is generated.
The present embodiment also provides a storage medium having stored therein a computer program arranged to perform the above-described method when executed.
The present embodiment also provides a computer device comprising a memory having a computer program stored therein and a processor configured to execute the computer program to perform the above method.
Finally, it should be noted that: although the present invention has been described in detail with reference to the foregoing embodiments, it will be apparent to those skilled in the art that changes may be made in the embodiments and/or equivalents thereof without departing from the spirit and scope of the invention. Any modification, equivalent replacement, or improvement made within the spirit and principle of the present invention should be included in the protection scope of the present invention.

Claims (10)

1. An efficient trading system based on an MDD model, wherein the model comprises a data model, a message model and a field type model; the data model is used for providing service logic and data storage, the message model is used for system communication and data transmission, the data model and the message model are in bidirectional communication connection, and the field type model is used for unidirectionally providing field defined functions for the data model and the message model.
2. The MDD model-based efficient transaction system according to claim 1, further comprising a private model, wherein the private model comprises a data dictionary and transaction parameter module, a cluster message distribution module, a message flow definition module, and a synchronous context table module, the data dictionary and transaction parameter module is used for generating a data dictionary and a transaction parameter macro definition in the DTP-F transaction system, and generating corresponding sql data in combination with the data model; the cluster message distribution module is used for distributing client messages of the transaction system; the message flow definition module is used for generating a configuration file for allocating and controlling the communication message numbers of all modules in the bus; the synchronous on-site and off-site table module is used for generating configuration files of on-site and off-site in the synchronous service and generating synchronous on-site codes of a transaction front end, a business core, a transaction core and a five-major futures exchange reporting machine.
3. The MDD model-based efficient trading system of claim 1, wherein the data model comprises a plurality of unit modules, each unit module being represented on a storage structure as a data table in a database, a data table in a kingdom memory bank, and a data table in a memory table, comprising three parts: a field part, an index list and a conversion function; the field part comprises a service field in the data table and is used for defining the type name of the field; the index list is used by a database, a memory bank and a memory table and is used for defining a plurality of query indexes and allocating the indexes to be special for a certain data storage mode; a layer of field structure is also arranged below the index list, and a main key field, a common index field and index dimensions defined according to different field service types are arranged in the field structure; the conversion function defines the dictionary conversion function of the memory table according to different service requirements, and the function in most tables is empty.
4. The MDD model-based efficient transaction system of claim 1, wherein the message model is used for storing DTP-F system internal communication messages, and the message model includes an API message model and an SBP message model according to different communication protocols.
5. The MDD model-based efficient transaction system of claim 4, wherein the API message model employs a PB protocol and the SBP message model employs an SBP protocol; the API message model and the SBP message model have the same structure, a father node of the message model comprises the service type, the message name and the message number of the message, one or more message fields are defined under the message according to different services, and the message fields and types are stored in the message fields according to different services.
6. The MDD-model-based efficient transaction system of claim 5, wherein the message model defines two common message fields, which are a common information field PubInfo storing a front-end processor number and a session number and a response information field RspInfo customized for the response message and storing an error code and error information in the response, respectively.
7. The MDD model-based efficient transaction system of claim 1, wherein the field type model is used for storing data type fields used in the data model and the message model, and defines types and lengths of the data fields.
8. A method for developing an efficient trading system based on an MDD model, which applies the efficient trading system based on the MDD model according to any one of claims 1 to 7, comprising the steps of:
s1, starting generation;
s2, verifying the model, if successful, entering the step S3, and if failed, exiting;
s3, sequentially generating a memory base ks file, a transaction code, a database sql code, an SBP message code, protobuf, a settlement system data conversion code, a synchronous service code, a DTP-F system configuration and a private code based on the data model, the message model, the field type model and the private model,
s4, simultaneously, sequentially generating a memory base code and a transaction front memory base loading code after the memory base ks file is generated; after the transaction code is generated, memory table public codes are sequentially generated; after the SBP message code is generated, the SBP message macro definition is generated; and generating a PB message code and a PB message macro definition in sequence after the protobuf is generated.
9. A storage medium, in which a computer program is stored which, when being executed, is arranged to carry out the method according to claim 8.
10. A computer device comprising a memory having a computer program stored therein and a processor arranged to execute the computer program to perform the method of claim 8.
CN202111405864.8A 2021-11-24 2021-11-24 Efficient trading system and development method based on MDD model Pending CN114116900A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202111405864.8A CN114116900A (en) 2021-11-24 2021-11-24 Efficient trading system and development method based on MDD model

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202111405864.8A CN114116900A (en) 2021-11-24 2021-11-24 Efficient trading system and development method based on MDD model

Publications (1)

Publication Number Publication Date
CN114116900A true CN114116900A (en) 2022-03-01

Family

ID=80372013

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202111405864.8A Pending CN114116900A (en) 2021-11-24 2021-11-24 Efficient trading system and development method based on MDD model

Country Status (1)

Country Link
CN (1) CN114116900A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN116760700A (en) * 2023-06-29 2023-09-15 上海中汇亿达金融信息技术有限公司 Method and system for standardizing interfaces of multiple banking transaction platforms

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN116760700A (en) * 2023-06-29 2023-09-15 上海中汇亿达金融信息技术有限公司 Method and system for standardizing interfaces of multiple banking transaction platforms
CN116760700B (en) * 2023-06-29 2024-01-16 上海中汇亿达金融信息技术有限公司 Method and system for standardizing interfaces of multiple banking transaction platforms

Similar Documents

Publication Publication Date Title
CN110309071B (en) Test code generation method and module, and test method and system
Fu et al. Synchronizability of conversations among web services
Pu et al. Towards the semantics and verification of BPEL4WS
US20040143819A1 (en) Generic software testing system and mechanism
CN110287052A (en) A kind of root of abnormal task determines method and device because of task
CN111399828B (en) Model-driven logic device modeling method and terminal
CN102929680A (en) Method, device and system for converting a testing and test control notation version 3 (TTCN-3) script into a Java source code
CN111930365A (en) Qt-based application program rapid development framework, development method and operation method
CN109995643A (en) Business mail push method and device
CN108804279A (en) Change the method and application apparatus of daily record printing grade
CN114116900A (en) Efficient trading system and development method based on MDD model
CN110737710A (en) Distributed data automatic structured warehousing method and system
Clark et al. Event driven architecture modelling and simulation
CN114510262A (en) Interface request parameter verification method and device
Jin et al. FinExpert: Domain-specific test generation for FinTech systems
CN113434175A (en) Data processing method, device, storage medium and equipment
CN101952805B (en) Efficiently correlating nominally incompatible types
CN115439078A (en) Dynamic generation auditing system based on business
TWI414995B (en) Development and execution platform
Souri Formal specification and verification of a data replication approach in distributed systems
CN113377857A (en) Data distribution method and device, electronic equipment and readable storage medium
CN113542323A (en) Service processing method, device, equipment and computer readable storage medium
CN115759955B (en) Business process execution engine based on blockchain
CN113050925B (en) Block chain intelligent contract repairing method and device
CN115543969B (en) Data migration method, device, equipment and medium

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination