CN112965454B - Self-adaptive construction method and operation method of control system of decoupling process flow - Google Patents
Self-adaptive construction method and operation method of control system of decoupling process flow Download PDFInfo
- Publication number
- CN112965454B CN112965454B CN202110485449.1A CN202110485449A CN112965454B CN 112965454 B CN112965454 B CN 112965454B CN 202110485449 A CN202110485449 A CN 202110485449A CN 112965454 B CN112965454 B CN 112965454B
- Authority
- CN
- China
- Prior art keywords
- condition
- condition set
- sub
- event
- logic
- 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.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/418—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS], computer integrated manufacturing [CIM]
- G05B19/41885—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS], computer integrated manufacturing [CIM] characterised by modeling, simulation of the manufacturing system
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/30—Nc systems
- G05B2219/32—Operator till task planning
- G05B2219/32339—Object oriented modeling, design, analysis, implementation, simulation language
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]
Abstract
The invention relates to the technical field of process control systems, and discloses a control system self-adaptive construction method and an operation method for decoupling a process flow. The inputs to the control logic are described as conditions: describing the middle operation layer of the control logic as a condition set; the output of the control logic is described as an event: the event is used for controlling the action of the controlled device, the occurrence of one event is driven by one dependent condition set, and the corresponding condition set is matched for each event to serve as the dependent condition set; and according to the logic network description, adopting an object-oriented programming method to create objects according to the logic network description and establish network connection between the objects so as to construct a control system. The invention solves the technical problem that the control program needs to be written in a targeted manner according to the steps of different process flows, conditions, condition sets and events have high combinability, and the realizable logic form is rich and does not depend on professional programming skills.
Description
Technical Field
The invention relates to the technical field of process control systems.
Background
In a traditional process control system, a process flow is tightly coupled with control software, and a developer writes a program according to the control logic of the process system and runs the program on a controller. However, process control logic is diverse and does not have a common procedural framework, and changing a process usually means updating software creates development and maintenance difficulties for the programming engineer: (1) different process logics require different programs to be designed; the program structures designed for different processes are not uniform, the flows are inconsistent, and the reusability of the programs is poor. (2) The program is designed without using a general method, so that logical bugs are easy to appear, and the realized logic and the design expectation are different. (3) When the logic needs to be upgraded and changed, due to the high coupling degree of the program, the change needs to consider a plurality of factors and is difficult.
Disclosure of Invention
Aiming at the defects of the prior art, the invention provides a construction method of an adaptive control system of a decoupling process flow, which solves the technical problem that a control program needs to be written in a targeted manner according to the steps of different process flows.
In order to solve the technical problems, the invention adopts the following technical scheme: a self-adaptive construction method of a control system of a decoupling process flow comprises the following steps:
abstract description is carried out on the commonality of the process flow control logic, and the abstract description is used as logic network description:
1) the inputs to the control logic are described as conditions: forming a condition establishment rule by the variable data, the operator and the operand, and establishing the condition when the operation result between the variable data and the operand meets the condition establishment rule;
2) the intermediate operational layer of the control logic is described as a set of conditions: setting a sub-condition set for each condition set, wherein the condition set comprises at least one sub-condition set, the sub-condition set comprises at least one condition, the logical operation relation of each condition in the sub-condition set is one of logical OR and logical AND, and the sub-condition set is established when the condition in the sub-condition set meets the corresponding logical operation relation; the logical operation relation of each sub-condition set in the condition set is one of logical OR and logical AND; when the sub-condition sets in the condition set meet the corresponding logical operation relationship, the condition set is established;
3) the output of the control logic is described as an event: the event is used for controlling the action of the controlled device, the occurrence of one event is driven by one dependent condition set, and the corresponding condition set is matched for each event to serve as the dependent condition set;
constructing a control system according to the logic network description:
inputting the logic network description into a control end, wherein the control end adopts an object-oriented programming method to create objects according to the logic network description and establish network connection between the objects: creating conditions, condition sets and events as an input layer object, an intermediate operation layer object and an output layer object respectively; the network connection between the input layer object and the intermediate operation layer object is established according to the matching relation between the conditions and the sub-condition set, the network connection inside the intermediate operation layer object is established according to the matching relation between the sub-condition set and the condition set, the matching relation between the condition set and the dependent condition set is extracted according to the matching relation between the condition set and the dependent condition set, and the network connection between the intermediate operation layer object and the output layer object is established according to the matching relation between the condition set and the dependent condition set, so that the control system for process flow control is adaptively established according to the logic network description.
Further, when network connection is established, a subscription-notification relationship is established between the objects of each layer according to the matching relationship;
when creating a condition, creating a condition cycle judgment thread for judging whether the condition is satisfied; after all the conditions subscribed by the sub-condition set are created, creating the sub-condition set, establishing network connection between the sub-condition set and all the corresponding conditions, and creating a sub-condition set blocking judgment thread;
after all the sub-condition sets subscribed by the condition set are created, creating the condition set, establishing network connection between the condition set and all the corresponding sub-condition sets, and creating a condition set blocking judgment thread;
and after all condition sets subscribed by the event are established, establishing the event, establishing network connection between the event and all corresponding condition sets, and establishing an event blocking judgment thread.
The invention also provides an operation method of the control system of the decoupling process flow, and the control system established by the self-adaptive construction method of the control system of the decoupling process flow comprises the following steps:
starting a condition set blocking thread and an event blocking thread;
the method comprises the steps that whether an input layer object periodic polling judgment condition is established or not is judged, whether the judgment result is turned over or not is judged, if yes, a notice is sent to a corresponding sub-condition set blocking thread of an intermediate operation layer, and if not, no notice is sent;
after the sub-condition set blocking thread in the intermediate operation layer receives all subscription conditions, judging whether the sub-condition set is established or not according to the logical operation relation of all conditions in the sub-condition set, judging whether the judgment result is turned over or not, if the judgment result is turned over, sending a notification to the corresponding condition set blocking thread, and if the judgment result is not turned over, not sending the notification;
after the condition set blocking thread in the intermediate operation layer object receives the notice of all the subscribed sub-condition sets, judging whether the condition set is satisfied according to the logical operation relation of each sub-condition set in the condition set, if the condition set is satisfied, sending the notice to the corresponding event blocking thread, and if the condition set is not satisfied, not sending the notice;
the event is used for receiving a notice that the dependency condition set is established through the event blocking thread, if the notice is received, the corresponding equipment is controlled to execute the corresponding action, and if the notice is not received, the equipment is not controlled to execute.
Compared with the prior art, the invention has the following beneficial effects:
1. in the prior art, a line code of a control program needs to be written step by step according to the sequence steps of a process flow, a professional programmer is needed to finish writing the control program, the professional programming skill is relied on, and the development period is long. The invention innovatively uses a description method of a logic network, so that the process flow is realized without redesigning a program frame, programming is carried out according to required parameter creation concepts (conditions, condition sets and events), codes are not required to be written, sequential steps of the process flow are not required to be matched, the combinability of the conditions, the condition sets and the events is high, and the realizable logic form is rich.
2. The process description is realized by a plurality of concepts, and the related concepts are changed when the maintenance is updated, so that the redesign of the program is avoided.
3. By using a logic delivery mode of subscription-notification, the condition set and the event block can wait for the notification without periodic polling judgment, thereby not only ensuring the real-time performance of logic delivery, but also reducing the occupation of system computing resources.
Drawings
FIG. 1 is a diagram of a matching relationship between a set of sub-conditions and a set of conditions;
FIG. 2 is a schematic diagram of the information transfer principle of the control system;
FIG. 3 is a schematic diagram of a logical network architecture of the control system;
fig. 4 is a schematic diagram of a logical network structure of an embodiment.
Detailed Description
The present invention will be described in further detail with reference to the accompanying drawings and preferred embodiments.
A self-adaptive construction method of a control system of a decoupling process flow comprises the following steps:
abstract description is carried out on the commonality of the process flow control logic, and the abstract description is used as logic network description:
1) the inputs to the control logic are described as conditions: the variable data, the operator and the operand form a condition establishment rule, and when the operation result between the variable data and the operand meets the condition establishment rule, the condition is established.
The rule may be static, that is, a data value at a certain time is comparatively limited, for example, the data is greater than or less than a certain number; the rules may be dynamic, i.e. constrained to the timing variations of the data values, e.g. the data rises several times in succession.
The basic description syntax of the condition is: "data-operator-operand", for example: if a certain condition corresponds to data a, the operator is ">, and the operand is" 6 ", the condition is satisfied when the a data is greater than 6, and otherwise, the condition is not satisfied. The data and rules corresponding to the conditions are initialized when defined and are not allowed to be changed in the using process. The condition states are only true and false.
2) The intermediate operational layer of the control logic is described as a set of conditions: setting a sub-condition set for each condition set, wherein the condition set comprises at least one sub-condition set, the sub-condition set comprises at least one condition, the logical operation relation of each condition in the sub-condition set is one of logical OR and logical AND, and the sub-condition set is established when the condition in the sub-condition set meets the corresponding logical operation relation; the logical operation relation of each sub-condition set in the condition set is one of logical OR and logical AND; the condition set is established when the sub-condition sets in the condition set satisfy the corresponding logical operation relationship.
The relationship between the sub-condition set and the condition set is shown in FIG. 1. The relationship between the sub-condition sets within a condition set may be selected as "logical and" logical or "and may be selected as only one of" logical and "logical or". The states of a condition set are only true and false. Whether a condition set is true or not is determined by the operation of the states of the sub-condition sets according to the selected logic combination mode. When the combination mode of the sub-condition sets is logical OR, one or more of the sub-condition sets are satisfied, the condition sets are satisfied, otherwise, the condition sets are not satisfied. And when the combination mode of the sub-condition sets is logical AND, if all the sub-condition sets are satisfied, the condition sets are satisfied, otherwise, the condition sets are not satisfied.
The condition set is used for describing conditions and conditions, conditions and condition sets, and logical combination relations among the condition sets and the condition sets. A new condition set is added to the system, meaning that the system already contains its sub-conditions or sub-condition sets.
3) The output of the control logic is described as an event: the events are used for controlling the action of the controlled device, the occurrence of one event is driven by one dependent condition set, and corresponding condition sets are matched for all the events to serve as the dependent condition sets.
Each action of switching on, off, reading, writing, controlling, etc. of the device may be taken as an event. The occurrence of an event depends on the establishment of a set of conditions. For example: the device A is opened to be an event, the event depends on a condition set a, when the condition set a is established, the event occurs, and the device A executes an opening action; when condition set a is not true, the event does not occur and device a does not perform an action.
Constructing a control system according to the logic network description:
inputting the logic network description into a control end, wherein the control end adopts an object-oriented programming method to create objects according to the logic network description and establish network connection between the objects: creating conditions, condition sets and events as an input layer object, an intermediate operation layer object and an output layer object respectively; the network connection between the input layer object and the intermediate operation layer object is established according to the matching relation between the conditions and the sub-condition set, the network connection inside the intermediate operation layer object is established according to the matching relation between the sub-condition set and the condition set, the matching relation between the condition set and the dependent condition set is extracted according to the matching relation between the condition set and the dependent condition set, and the network connection between the intermediate operation layer object and the output layer object is established according to the matching relation between the condition set and the dependent condition set, so that the control system for process flow control is adaptively established according to the logic network description.
Referring to fig. 3, the output of the sub-condition set 3 is the input of the condition set 9, and the sub-condition set 3 is called as the sub-condition set of the condition set 9; the output of the condition set 11 is the input of event 1, and the condition set 11 is called the dependent condition set of event 1.
When network connection is established, a subscription-notification relationship is established between all layers of objects according to a matching relationship; when creating a condition, creating a condition cycle judgment thread for judging whether the condition is satisfied; after all the conditions subscribed by the sub-condition set are created, creating the sub-condition set, establishing network connection between the sub-condition set and all the corresponding conditions, and creating a sub-condition set blocking judgment thread;
after all the sub-condition sets subscribed by the condition set are created, creating the condition set, establishing network connection between the condition set and all the corresponding sub-condition sets, and creating a condition set blocking judgment thread;
and after all condition sets subscribed by the event are established, establishing the event, establishing network connection between the event and all corresponding condition sets, and establishing an event blocking judgment thread.
When creating the condition of the input layer object, a condition cycle judgment thread is created synchronously so that the input layer object can periodically judge whether the condition is satisfied or not according to the value of the variable data.
And the condition period judging thread, the condition set blocking judging thread and the event blocking judging thread start to run. The logic of the process flow system is embodied by a network of condition sets, which may be passed from input layer conditions to output layer events according to logic requirements.
For the periodic timing logic, delay logic, etc. appearing in the process flow system, virtual equipment can be operated by events, and the implementation is carried out according to a similar method.
The invention discloses an operation method of a control system of a decoupling process flow, which is a control system created by adopting the self-adaptive construction method of the control system of the decoupling process flow, and comprises the following steps:
opening a sub-condition set blocking thread, a condition set blocking thread and an event blocking thread;
the method comprises the steps that whether an input layer object periodic polling judgment condition is established or not is judged, whether the judgment result is turned over or not is judged, if yes, a notice is sent to a corresponding sub-condition set blocking thread of an intermediate operation layer, and if not, no notice is sent; the term "flip" means to change from a true state to a false state or from a false state to a true state.
And after the sub-condition set blocking thread in the intermediate operation layer receives all the subscription conditions, judging whether the sub-condition set is established or not according to the logical operation relation of all the conditions in the sub-condition set, judging whether the judgment result is turned over or not, if so, sending a notification to the corresponding condition set blocking thread, and if not, not sending the notification.
And after the condition set blocking thread in the intermediate operation layer object receives the notice of all the subscribed sub-condition sets, judging whether the condition set is satisfied according to the logical operation relation of each sub-condition set in the condition set, if the condition set is satisfied, sending the notice to the corresponding event blocking thread, and if the condition set is not satisfied, not sending the notice.
The event is used for receiving a notice that the dependency condition set is established through the event blocking thread, if the notice is received, the corresponding equipment is controlled to execute the corresponding action, and if the notice is not received, the equipment is not controlled to execute.
And if the control logic of the process flow needs to be updated, correspondingly updating the logic network description, and updating the control system according to the updated logic network description. The updating of the control system comprises the following modes:
adding objects and corresponding matching relationships: creating a new object, creating a corresponding subscription-notification relationship according to the matching relationship of the new object, and establishing network connection;
delete object and corresponding match relationship: canceling the subscription-notification relationship between the deleted object and the object with the matching relationship with the deleted object, cutting off the corresponding network connection, and finally deleting the deleted object;
change target: and replacing the object to be changed and updating the corresponding subscription-notification relationship.
The sewage treatment process is further described below as an example.
The invention is used for controlling and realizing a part of a sewage treatment process, and the embodiment is as follows:
the process is described as follows: the sump submersible pump A is started when the sump liquid level is higher than 1300mm (value of the liquid level sensor 1 >1300), and the regulating reservoir liquid level is lower than 100mm (value of the liquid level sensor 2 < 100); stopping when the liquid level of the regulating tank is higher than 1800mm (the value of the liquid level sensor 2 is more than 1800), or stopping when the liquid level of the collecting tank is lower than 300mm (the liquid level sensor 1 is less than 300) (the opening value of the submersible pump is 1, and the closing value of the submersible pump is 0). Description of the logical network: the concepts of conditions, condition sets and events are abstracted from the process description, and the logical network description can be made with reference to the following table form, and can also be in other forms such as dictionary form.
1) Condition
| Condition numbering | Data of | Operator | Operand(s) |
| 1 | |
> | 1300 |
| 2 | |
< | 100 |
| 3 | Submersible pump A | ＝ | 0 |
| 4 | |
> | 1800 |
| 5 | Submersible pump A | ＝ | 1 |
| 6 | |
< | 300 |
2) Set of conditions
| Condition set numbering | Logical operators | Sub-stripComponent (assembly) |
| 1 | & | |
| 2 | & | |
| 3 | & | |
| 4 | | | Condition set 2, condition set 3 |
3) Event(s)
| Event numbering | Executing content | Dependence on conditions (set) |
| 1 | Submersible pump A is 1 | Condition set 1 |
| 2 | Submersible pump A is 0 | |
Creating an object according to the description of the logic network, and forming the logic network as shown in fig. 4, the control system will implement the control logic of the process flow according to the attribute of the object and the design of the logic network by the operation mode shown in fig. 2.
In terms of process flow, a proper logic description method is established, and the description result is input to the control system in a character string mode. The control system completes the analysis and execution of the logic description character string and completes the corresponding function, thereby adapting to different process flows. The logic description method is simple and feasible and can be realized by non-professional personnel through user interface operation. The invention can greatly improve the development efficiency of the process control software, shorten the period and save the cost.
Claims (4)
1. A self-adaptive construction method of a control system of a decoupling process flow is characterized by comprising the following steps:
abstract description is carried out on the commonality of the process flow control logic, and the abstract description is used as logic network description:
1) the inputs to the control logic are described as conditions: forming a condition establishment rule by the variable data, the operator and the operand, and establishing the condition when the operation result between the variable data and the operand meets the condition establishment rule;
2) the intermediate operational layer of the control logic is described as a set of conditions: setting a sub-condition set for each condition set, wherein the condition set comprises at least one sub-condition set, the sub-condition set comprises at least one condition, the logical operation relation of each condition in the sub-condition set is one of logical OR and logical AND, and the sub-condition set is established when the condition in the sub-condition set meets the corresponding logical operation relation; the logical operation relation of each sub-condition set in the condition set is one of logical OR and logical AND; when the sub-condition sets in the condition set meet the corresponding logical operation relationship, the condition set is established;
3) the output of the control logic is described as an event: the event is used for controlling the action of the controlled device, the occurrence of one event is driven by one dependent condition set, and the corresponding condition set is matched for each event to serve as the dependent condition set;
constructing a control system according to the logic network description:
inputting the logic network description into a control end, wherein the control end adopts an object-oriented programming method to create objects according to the logic network description and establish network connection between the objects: creating conditions, condition sets and events as an input layer object, an intermediate operation layer object and an output layer object respectively; establishing network connection between an input layer object and an intermediate operation layer object according to the matching relation between the conditions and the sub-condition sets, establishing network connection inside the intermediate operation layer object according to the matching relation between the sub-condition sets and the condition sets, extracting the matching relation between the condition sets and the events according to the matching relation between the condition sets and the dependency condition sets, and establishing network connection between the intermediate operation layer object and the output layer object according to the matching relation between the condition sets and the events, thereby realizing self-adaptive construction of a control system for process flow control according to logic network description;
when network connection is established, a subscription-notification relationship is established between all layers of objects according to a matching relationship;
when creating a condition, creating a condition cycle judgment thread for judging whether the condition is satisfied; after all the conditions subscribed by the sub-condition set are created, creating the sub-condition set, establishing network connection between the sub-condition set and all the corresponding conditions, and creating a sub-condition set blocking judgment thread;
after all the sub-condition sets subscribed by the condition set are created, creating the condition set, establishing network connection between the condition set and all the corresponding sub-condition sets, and creating a condition set blocking judgment thread;
and after all condition sets subscribed by the event are established, establishing the event, establishing network connection between the event and all corresponding condition sets, and establishing an event blocking judgment thread.
2. An operation method of a control system for decoupling a process flow, characterized in that the control system created by the adaptive construction method of the control system for decoupling a process flow according to claim 1 comprises the following steps:
opening a sub-condition set blocking thread, a condition set blocking thread and an event blocking thread;
the method comprises the steps that whether an input layer object periodic polling judgment condition is established or not is judged, whether the judgment result is turned over or not is judged, if yes, a notice is sent to a corresponding sub-condition set blocking thread of an intermediate operation layer, and if not, no notice is sent;
after the sub-condition set blocking thread in the intermediate operation layer receives all subscription conditions, judging whether the sub-condition set is established or not according to the logical operation relation of all conditions in the sub-condition set, judging whether the judgment result is turned over or not, if the judgment result is turned over, sending a notification to the corresponding condition set blocking thread, and if the judgment result is not turned over, not sending the notification;
after the condition set blocking thread in the intermediate operation layer object receives the notice of all the subscribed sub-condition sets, judging whether the condition set is satisfied according to the logical operation relation of each sub-condition set in the condition set, if the condition set is satisfied, sending the notice to the corresponding event blocking thread, and if the condition set is not satisfied, not sending the notice;
the event is used for receiving a notice that the dependency condition set is established through the event blocking thread, if the notice is received, the corresponding equipment is controlled to execute the corresponding action, and if the notice is not received, the equipment is not controlled to execute.
3. The method of claim 2, wherein if the control logic of the process flow needs to be updated, the logic network description is updated accordingly, and the control system is updated according to the updated logic network description.
4. A method of operating a control system for a decoupled process flow according to claim 3, wherein the updating of the control system comprises the following:
adding objects and corresponding matching relationships: creating a new object, creating a corresponding subscription-notification relationship according to the matching relationship of the new object, and establishing network connection;
delete object and corresponding match relationship: canceling the subscription-notification relationship between the deleted object and the object with the matching relationship with the deleted object, cutting off the corresponding network connection, and finally deleting the deleted object;
change target: and replacing the object to be changed and updating the corresponding subscription-notification relationship.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110485449.1A CN112965454B (en) | 2021-04-30 | 2021-04-30 | Self-adaptive construction method and operation method of control system of decoupling process flow |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110485449.1A CN112965454B (en) | 2021-04-30 | 2021-04-30 | Self-adaptive construction method and operation method of control system of decoupling process flow |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN112965454A CN112965454A (en) | 2021-06-15 |
| CN112965454B true CN112965454B (en) | 2022-03-15 |
Family
ID=76281244
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202110485449.1A Active CN112965454B (en) | 2021-04-30 | 2021-04-30 | Self-adaptive construction method and operation method of control system of decoupling process flow |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN112965454B (en) |
Family Cites Families (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05225283A (en) * | 1992-02-14 | 1993-09-03 | Hitachi Ltd | Gate logic generating method |
| US6647301B1 (en) * | 1999-04-22 | 2003-11-11 | Dow Global Technologies Inc. | Process control system with integrated safety control system |
| US9454370B2 (en) * | 2014-03-14 | 2016-09-27 | International Business Machines Corporation | Conditional transaction end instruction |
| CN104317259B (en) * | 2014-09-19 | 2017-12-01 | 东北大学 | A kind of method for establishing PLC/DCS platform device logical models |
-
2021
- 2021-04-30 CN CN202110485449.1A patent/CN112965454B/en active Active
Also Published As
| Publication number | Publication date |
|---|---|
| CN112965454A (en) | 2021-06-15 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Baldassari et al. | PROTOB: An object oriented methodology for developing discrete event dynamic systems | |
| CN100437587C (en) | Service processing method and device based on data base | |
| CN102520925B (en) | AADL2TASM (Architecture Analysis and Design Language-to-Timed Abstract State Machine) model transformation method | |
| Cota et al. | A modification of the process interaction world view | |
| Berkenkötter et al. | The HybridUML profile for UML 2.0 | |
| Kaiser et al. | A bi-level language for software process modeling | |
| CN112965454B (en) | Self-adaptive construction method and operation method of control system of decoupling process flow | |
| CN109067562A (en) | Dynamic configuration update method and system, server and medium based on intelligent pointer | |
| CN112015528B (en) | Industrial control system software control flow construction and analysis method | |
| Bodeveix et al. | Formal methods meet domain specific languages | |
| Baldassari et al. | PROTOB a hierarchical object-oriented CASE tool for distributed systems | |
| CN113031964B (en) | Big data application management method, device, equipment and storage medium | |
| CN104317971A (en) | Real-time system parameter data non-blocking updating and access method | |
| Flon et al. | Consistent and complete proof rules for the total correctness of parallel programs | |
| CN107765655B (en) | Method, system and readable medium for extending MES function by message routing system | |
| CN114036182A (en) | Data query method, computer equipment and storage medium | |
| Delaval et al. | Distributed execution of modular discrete controllers for data center management | |
| CN113296809A (en) | Declarative universal Kubernetes tuning method | |
| Cohen et al. | On verification of refinements of timed distributed algorithms | |
| KR100289058B1 (en) | Process definition and control method of workflow management system | |
| CN112199219A (en) | Cross-language operation remote calling method | |
| CN106775864B (en) | Implementation method of service manager supporting on-demand loading based on Autofac | |
| CN114048196B (en) | Workflow system data processing method, device, equipment and storage medium | |
| CN110413317B (en) | Flow interface calling method based on configuration | |
| CN112667324B (en) | Method and device for calling command class in command mode |
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 | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |