JPH10320187A - System modeling method and data communication method - Google Patents

Abstract

(57) [Summary] [Problem] There is a problem that data communication cannot be performed between events of a device model, and the obtained system model becomes complicated. SOLUTION: Data used by a model is defined in a variable declaration section 3 of a state transition model 2, transmission / reception data is defined in a communication variable definition section 7 of a cooperative event, and the models are combined based on the cooperative relation. Enables data communication between model events.

Description

DETAILED DESCRIPTION OF THE INVENTION

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a method for generating a system model of a system composed of devices by using a device model for modeling devices and the like and a device model obtained by the modeling. And a data communication method for transmitting and receiving information between device models connected in the system model.

[0002]

2. Description of the Related Art State transition models have been widely used to model systems. A typical state transition model is a Petri net. Petri nets are visual and mathematical modeling tools applicable to many systems, especially for modeling information processing systems characterized by concurrent, asynchronous, nondeterministic, and stochastic behavior. It has been used as a powerful tool in the past.

FIG. 14 is an explanatory diagram showing a system modeled using a Petri net as a conventional state transition model. In the figure, Pi (i = 1,
..., 6) is a place, Ti (i =
1, ..., 4) are transitions that fire according to the firing rules, arcs are represented by arrows from place to transition or transition to place,
The tokens represented by black circles in the place are tokens. The token moves on the place as the transition fires, thereby representing a state transition.

[0004] The conventional example shown in the explanatory diagram of FIG. 14 is a simple example of a Petri net, in which two parallel processes are performed after a certain process is performed. This is an example in which a system that performs another process is modeled.

Next, the operation will be described. In the example of the system model shown in the explanatory diagram of FIG. 14, first, processing of a place P1 having a token is performed, and when the processing of the place P1 ends, a transition T1 can be fired.
When the transition T1 fires, the token is removed from the place P1, and the token is added to the places P2 and P3. And the place P where the token was added
2. Processing is performed at P3. Next, when the processing of the place P2 is completed, the transition T2 can be fired, the token is removed from the place P2, and the token is added to the place P4. Then, the processing is performed in the place P4 to which the token has been added.

Similarly, when the processing of the place P3 is completed, the transition T3 can be fired, the token is removed from the place P3, and the token is added to the place P5. And place P5 where the token was added
Is performed. Finally, when the processing of both places P4 and P5 where the token exists is completed, the transition T4 can be fired. When transition T4 fires, tokens are removed from places P4 and P5,
A token is added to place P6. Then, the processing of the place P6 is performed, and the operation of the system ends.

As another conventional method of system modeling,
For example, there has been proposed a method of individually modeling devices constituting a production system and combining them to create a model of the entire production system. (Furusawa, Yoshikawa, Tsujido, Fujita: "Development of production system modeling method based on state transition model", Proc. Of the Japan Society of Precision Engineering Autumn Meeting, pp. 359-360, 1996).

FIG. 15 is an explanatory diagram showing a conventional state transition model that can combine models obtained for each device. In this conventional state transition model, places are represented by circles, events are represented by pentagonal and hexagonal arrowheads, and arcs are represented by arrows. In the conventional example shown in FIG.
8 shows a case where the eye and the robot operate in cooperation with each other. The conveyor has a stopped state and an operating state. The robot has an idle state and a state of transporting a work. When a workpiece is transferred between a conveyor and a robot, the conveyor and the robot must perform a cooperative operation. Conveyor and robot models are linked where they cooperate. Based on the cooperative relationship definition, an associated event indicating the completion of arrival of the work on the conveyor and a start event indicating the start of the operation of the robot are associated with each other.
The two device models are connected so as to connect two events. Thus, a cooperative operation in which the robot starts operating after the conveyor has finished transporting the work can be represented as a model.

[0009]

However, in the conventional Petri net as a state transition model, there is no function of creating models individually and combining them. Therefore, it is necessary to create a model of the entire system from the beginning, and there is a problem that it is difficult to model a large-scale system. Further, even when a part of the system is changed, it is necessary to modify the model of the entire system, and there is a problem that the system cannot be easily changed. Furthermore, the conventional state transition model that can combine the already proposed device models also has the following problems (1) and (2).

(1) There is a problem that data exchanged between device models cannot be handled. In the conventional state transition model, since data cannot be handled between device models, all information that needs to be managed as a model has to be represented as a model state. For example, FIG.
In the conventional example shown in FIG. 5, when there are three types of workpieces and the transfer destination of the robot is changed according to the type of workpiece, the conventional state transition model cannot hold information on the type of workpiece as data. In order to distinguish the type of work, it is necessary to branch and model the sequence for each type of work, and there is a problem that the sequence becomes complicated. FIG.
FIG. 6 is an explanatory diagram showing a conventional example in which a sequence is branched and modeled for each type of work in order to distinguish the above-described types of work. As described above, in the related art, it is necessary to create a behavior sequence having a similar configuration for each type of work, which is a complicated model as in the conventional example shown in FIG. In addition, in the system model, a mechanism that not only holds data but also uses its value and can easily change the value is required.

(2) There is a problem that data communication cannot be performed between device models. Even if data could be handled in each device model, there was a need to be able to transmit and receive that data to and from other devices. For example, when there are three types of workpieces, and the transfer destination of the robot is changed according to the type of workpiece, in order for the robot to perform an operation according to the type of workpiece, information on the type of workpiece held on the conveyor side is required. Must be obtained by the robot. However, the conventional state transition model has a problem that data communication between device models cannot be represented as a model.

SUMMARY OF THE INVENTION The present invention has been made to solve the above-described problems. Even if the system to be modeled is a large-scale system composed of a large number of devices, a system model to be obtained can be obtained. Without complicating
In addition, a system comprising devices that require data communication with each other is easily modeled without complicating the configuration, and a system modeling method and a data communication method capable of expressing data transmission and reception between device models are obtained. Aim.

[0013]

According to a first aspect of the present invention, there is provided a system modeling method, comprising: a variable declaration section for defining variables used in a model; and a model definition for defining state transitions of devices constituting the system. Express the control sequence of the device by using the state transition model composed of the parts, connect the models of the device to each other, obtain the value corresponding to the variable described in the variable declaration section from the data storage area, and Is to generate a system model that controls the operation of
Using the variables declared in the variable declaration section, create a state transition model that can execute the operations etc. described in the variable declaration section,
The system model is created by combining the obtained models.

According to a second aspect of the present invention, there is provided a data communication system comprising a variable declaration section for defining a variable in which a state transition model is used and a model definition section for defining a state transition of a device or a system constituting the system. The model definition part has an event part that defines the event of the device or system,
The event part has a communication variable definition part that defines a variable to be communicated at the time of firing of the event, and is a coupling part that cooperates between a plurality of state transition models having the event having the communication variable definition part, and a variable declaration. The data can be communicated with each other by using a communication unit and a communication variable definition unit, and when an event occurs, the data is transmitted and received at a connection portion of a plurality of models.

In the data communication method according to the third aspect of the present invention, in a connection part between a plurality of state transition models, a value of a variable to be transmitted defined in a communication variable definition part in a certain event part is changed in another event part. Received in the variable of the reception target defined in the communication variable definition part of, execute data communication in the connection part between multiple state transition models, when the event occurs,
In the connection part of the plurality of models, the value of the variable to be transmitted defined by the communication variable definition part in the event part is transferred to the reception variable defined by the communication variable definition part.

According to a fourth aspect of the present invention, there is provided a data communication method wherein a variable to be transmitted and a variable to be received are defined by a communication variable definition section in each event section relating to a plurality of events, and there is a plurality of state transition models. A plurality of data communications relating to a variable to be transmitted and a variable to be received are performed between a plurality of state transition models via one event coupling part, and when an event occurs, a communication variable definition of the event in the coupling part of the plurality of models when an event occurs A plurality of data are simultaneously communicated from the transmission target variable defined in the section to the reception target variable.

According to a fifth aspect of the present invention, there is provided a data communication system in which a value of a variable to be transmitted and a variable to be received defined by a communication variable definition section in a certain event section are used in a connection between a plurality of state transition models. The bidirectional data communication is executed at a connection between a plurality of state transition models by using a variable to be received and a variable to be transmitted defined by a communication variable definition unit in another event unit.

[0018]

DETAILED DESCRIPTION OF THE PREFERRED EMBODIMENTS One embodiment of the present invention will be described below. Embodiment 1 FIG. FIG. 1 is an explanatory diagram showing a system model obtained by using a system modeling method and a data communication method according to a first embodiment of the present invention, and FIG. 2 is a system modeling method and a data communication method according to an embodiment of the present invention. FIG. 3 is a structural diagram showing a state transition model capable of handling data used in the present embodiment. In the figure, reference numeral 1 denotes a data storage area for storing variable values used in each device model, which is composed of a plurality of data areas. I have. Reference numeral 2 denotes a state transition model obtained by modeling each device or system, and includes a variable declaration unit 3 and a model definition unit 4. The model definition unit 4 has a configuration including a plurality of sets each including an event unit 5 and an input place / output place 6.

The system modeling method and the data communication method according to this embodiment are, for example, in a system composed of devices A and B shown in FIG. This enables data communication between the device models A and B. That is, in a system composed of the device A and the device B, the value of the variable X of the device A is received as the variable Y of the device B in the event connection part of the model of the device A and the model of the device B, and thereby the Modeling data communication between the device A and the device B.

Next, the operation will be described. As shown in the explanatory diagram of FIG. 1, information on a variable for communicating data (communication variable) is added to the event to be combined. The model on the transmitting side (device A side) obtains the value from the storage area of the data to be transmitted based on the information of the communication variable described in the event to be combined, and passes the value to the model on the receiving side. In the model on the receiving side, based on the information of the communication variables described in the event to be combined, a storage area for the received data is obtained,
The received data is stored in a predetermined data area in the data storage area 1.

A state transition model 2 shown in FIG. 2 expresses the behavior of a device or a system. In order to enable handling of data in the state transition model 2, the state transition model 2 used in the system modeling method and the data communication method of this embodiment expresses the variable declaration unit 3 and the state transition of the device or system. It is composed of at least one or more model definition units 4 that enumerate information for each event, that is, an event unit 5 and an input place / output place 6. Specifically, as shown in FIG. Input place 1, output place 1),. . . , (Event n, input place n, output place n).

The variable declaration section 3 declares variables used in the device model. The state transition of the device is represented by an event section 5 in the model definition section 4 and an input place / output place 6 for the event. There may be a plurality of input places / output places 6, in which case all of them are listed (input place 1, output place 1, ... input place n, output place n, etc.). The input place / output place 6 are both defined as the same input / output place structure. Enumerate and define information representing these state transitions for all events in the model. When a plurality of models defined by the state transition model 2 are combined, it is assumed that the combined model also has the structure of the state transition model 2. Further, the combined model has a configuration in which the variable declaration sections of all the combined models are integrated.

FIG. 3 is a configuration diagram showing the variable declaration section 3 in the state transition model 2 shown in FIG. This variable declaration part 3
In, for each variable used in the model, the variable name, variable type, and initial value of the variable are described. Variable types are, for example, INT (integer), REAL (real number), BO
OL (TRUE / FALSE). If it is not necessary to set the initial value of the variable, the setting of the initial value may be omitted. For all variables declared by the variable declaration section 3, data areas corresponding to the types of the variables are secured in the data storage area 1, respectively.

FIG. 4 is a structural diagram showing an input place / output place 6 in the state transition model 2 shown in FIG.
Each of the input place and the output place has a structure in which a set of a place name and a corresponding variable operation definition unit are listed (place name 1, variable operation definition unit 1,...).
Place name n, variable operation definition part n). Here, the variable operation definition part is a part that defines an operation to be executed when a token exists in a place. For example, when a token exists in the place of “run” indicating that a workpiece is being conveyed by the conveyor in the system model shown in FIG. 15 and when the motor of the conveyor is turned ON, the “run” of the conveyor is referred to as “run”. For example, a definition such as “Motor: = TRUE” is described in the variable operation definition section corresponding to the place. There may be a plurality of input places for one event.

Similarly, there may be a plurality of output places for one event. List the pairs of the place name and the variable operation definition part for the number of existing places. For example, in the system model shown in FIG. 15, the input places for the combined event of the activated event indicating the completion of arrival of the conveyor and the start event indicating the start of the operation of the robot are the run place of the conveyor and the idle place of the robot. In the structure of the input place, two pairs of a place name and a variable operation definition part are listed.

Next, the variable operation definition unit 8 used for processing data in the state transition model 2 will be described. The variable operation definition unit 8 includes a part that defines an operation expression to be executed using a variable and a variable to which the operation result is assigned. This definition is made in each input place / output place 6 of the state transition model 2. The operation defined for the place is executed only once when the token arrives at the place. Each variable operation definition unit 8 describes an operation expression using a variable or a numerical value and a variable to which the operation result is substituted.

FIG. 5 is an explanatory diagram showing a description example of the variable operation definition section 8 in the input place / output place 6 shown in FIG. 4. In FIG. 5, X0 and X1 are INT types, M0 and M.
1, M2 is a BOOL type. For example, substituting the product of the value of X0 and 5 for X1 is described as “X1:
= X0 * 5 ". The definition in the variable operation definition section 8 is performed by listing such assignment statements.
For example, they are separated by the symbol ";".

FIG. 6 is a structural diagram showing the event part 5 in the state transition model 2 shown in FIG. Event part 5
It has a structure in which a plurality of sets each including an event name, an event firing condition expression, and a communication variable definition unit 7 are enumerated. Here, the event firing conditional expression is a conditional expression that is a trigger that causes an event. The communication variable definition unit 7 is a part that defines variables to be communicated when an event is fired. An event triggered by an event of another model cannot be fired by the event itself, so that an event firing conditional expression is not defined.

All events linked by a cooperative relationship are defined as one event structure. A list of event names, event firing conditional expressions, and communication variable definition sections 7 is listed for the number of connected events. For example, in the system model shown in FIG.
Since the event “driven” and the event “start” of the robot are combined, the portion is represented by one event structure. Are listed.

The conditional expression that can be defined as the event firing conditional expression is a relational expression having a BOOL value (TRUE or FALSE), a logical expression, or a combination thereof. The conditional expression is expressed using relational operators, logical operators, and parentheses.

FIG. 7 is an explanatory diagram showing an example of an event firing condition expression in the event shown in FIG.
“(X0 <= 5) AND (NOT M1)” is a defined event firing condition, and indicates that the event is fired when X0 is 5 or less and M1 is FALSE. This makes it possible to describe a model that performs state transitions under complicated conditions.

In the system shown in FIG. 15, when a work is conveyed by a conveyor, and a sensor responds when the work arrives at a certain place, and the robot starts operating in response thereto, an event is fired for an event called "arrived" of the conveyor. The conditional expression is, for example, “Se
nsor == TRUE ”.

Next, a data communication system for communicating data between devices will be described. Data communication between devices
This is performed at a predetermined timing. The timing is represented by an event. That is, the data communication between the devices is performed at the connection (cooperation) portion of those device models.

The explanatory diagram of the system model shown in FIG.
Expresses data communication between models. In the case of the system model shown in FIG. 1, data communication can be performed by receiving the value of the variable X of the device A by the variable Y of the device B in the event connection portion between the device A and the device B. By describing the name of the variable declared in the variable declaration section 3 in the state transition model 2 shown in FIG. 2 in the communication variable definition section 7 relating to the event of the connection part, the definition of the variable used in the data communication can be defined. Do.

FIG. 8 is a structural diagram showing the communication variable definition unit 7 in the event shown in FIG. The communication variable definition unit 7 describes a communication identifier for specifying a communication partner, a communication direction (transmission or reception), and a name of a variable to be communicated for all data to be communicated. In the case of the system model shown in FIG. 1, in the connection (cooperation) part of the two models, the communication variable definition unit 7 corresponding to the event of the model of the device A sets the communication identifier to “1”, for example.
, The communication direction is defined as “Send”, and the variable name is defined as “X”. In the communication variable definition unit 7 corresponding to the event of the model of the device B, for example, the communication identifier is defined as “1”, the communication direction is defined as “Recv”, and the variable name is defined as “Y”.

FIG. 9 is an explanatory diagram showing a system model including three devices obtained by using the system modeling method and the data communication method according to this embodiment. In the example of the system model shown in FIG. 1, data communication is performed between the two device models of the device A and the device B. However, according to the system modeling method and the data communication method of the present invention, FIG.
As shown in the figure, when three device models are combined,
As in the case of the system model consisting of one device model,
Data communication between device models can be defined.
In the example of the system model shown in FIG. 9, it is shown that the value of the variable X of the device A is received by the variable Y of the device B and the variable Z of the device C in the event connection part of the three models. As described above, according to the system modeling method and the data communication method of the present invention, even when the number of coupled models further increases, data communication between models can be defined in the same manner as described above. .

All data to be transmitted are defined in the communication variable definition unit 7 relating to an event causing an event of another model. In the communication variable definition unit 7 of an event caused by an event of another model, all data to be received are defined so as to correspond to the transmission side. That is, a plurality of data can be transmitted / received by one event connection part. Thus, the operation of passing the value of the variable described in the communication variable definition unit 7 of the event on the transmission side to the variable described in the communication variable definition unit 7 of all the events on the reception side coupled to the event, that is, data communication is performed. It can be carried out.

FIG. 10 is an explanatory diagram showing another system model composed of two devices obtained by using the system modeling method and the data communication method of this embodiment. In the system modeling method and the data communication method according to the present invention, data to be transmitted in the communication variable definition unit 7 for an event causing an event of another model is defined, and the communication variable definition unit for an event caused by an event of another model is defined. It is not necessary to define the data to be received in the communication variable definition unit 7. For example, as shown in FIG.
May be defined, and data to be received may be defined in the communication variable definition unit 7 for an event that causes an event of another model.

In the case of the system model shown in FIG. 10, data communication is performed by receiving the value of the variable Y of the device B by the variable X of the device A at the event connection portion between the devices A and B. As shown in FIG. 10, a variable for data communication is defined by describing the name of the variable declared by the variable declaration section 3 in the communication variable definition section 7 of the event of the model connection part.

The system model shown in FIG.
Although the example of the data communication between the two models of the device B and the device B has been described, the data communication between the models can be similarly defined even if the number of models to be combined further increases.

FIG. 11 is an explanatory diagram showing another system model composed of four devices obtained by using the system modeling method and the data communication method of this embodiment. According to the system modeling method and the data communication method of the present invention, the number of events having data to be transmitted in one event connection portion does not need to be one, and is transmitted as in the example of the system model shown in FIG. Variables may be defined in multiple events, and variables that receive their values may be defined in multiple events. By defining a communication identifier in the communication variable definition unit 7 so that a communication partner can be specified, a plurality of data communications can be performed in one event connection part.

In the case of the example of the system model shown in FIG.
In the event connection part of the four devices A, B, C and D, the value of the variable X of the device A is received as the variable Z of the device C,
Data communication is performed in which the value of the variable Y of the device B is received by the variable W of the device D. In this case, in the coupling (coordination) part of the four models, for example, the communication variable definition unit 7 for the event of the model of the device A defines the communication identifier as “1” and the communication direction as “Send”. The variable name is defined as “X”, the communication variable definition unit 7 for the event of the model of the device C defines the communication identifier as “1”, defines the communication direction as “Recv”, and sets the variable name as “Z”. Is defined. The communication variable definition unit 7 for the event of the model of the device B defines the communication identifier as “2”, defines the communication direction as “Send”, defines the variable name as “Y”,
The communication variable definition unit 7 for the event of the model of the device D defines the communication identifier as “2” and sets the communication direction to “Rec”.
v ”and the variable name is defined as“ W. ”In this manner, one event connection portion can express a plurality of different data communications.

FIG. 12 is an explanatory diagram showing another system model composed of two devices obtained by using the system modeling method and the data communication method of this embodiment. In the system modeling method and the data communication method, as can be understood from the description of each example described above, a plurality of variables may be defined in the communication variable definition unit 7 for one event of the combined model, And the reception variable may be defined together. In the case of the system model example shown in FIG. 12, the value of the variable Y of the device A is received as the variable X of the device A, and the value of the variable Z of the device A is received as the variable W of the device B in the event connection portion between the devices A and B. , Two-way data communication can be performed.

The communication variable definition unit 7 in the event on the transmitting side sometimes defines data other than the data required by the receiving side. In such a case, it is not necessary to define the reception data corresponding to all the transmission data defined in the communication variable definition unit 7 in the event on the transmission side in the communication variable definition unit 7 in the event on the reception side. It is only necessary to define those that correspond to important data. For example, if three models of device A, device B, and device C are combined in one event, the data A
1 and the data A2 are transmitted, and the device B receives the data A1 as the variable B, and the device C receives the data A2 as the variable C. Only need to define the variable B, and it is not necessary to define a variable corresponding to the data A2.
Further, the communication variable definition unit 7 for the event of the device C only needs to define the variable C so as to correspond to the data A2.
It is not necessary to define a variable corresponding to the data A1.

FIG. 13 is an explanatory diagram showing another system model composed of two devices obtained by using the system modeling method and the data communication method of this embodiment. In the system modeling method and the data communication method, it is not always necessary to define the transmission variables for all the variables defined by the communication variable definition unit 7 on the receiving side in the communication variable definition unit 7 of the event of another model. . In this case, an initial value is stored in a reception variable having no corresponding transmission variable. FIG.
In the case of the example of the system model shown in FIG. 3, since the transmission variable corresponding to the reception variable W of the device B is not defined in the communication variable definition part of the event of the model coupling portion, when this event occurs, the variable W Initial value is stored.

Further, in each of the above-described system models, it is not always necessary to store an initial value in a reception variable having no corresponding transmission variable. May store its value.

As described above, according to this embodiment,
Since it is possible to define and use all variables used in the model using the variable declaration unit 3 in the state transition model 2 that defines the behavior of each device constituting the system, the information of the device is used as a state. There is no need to retain the model, and the model can be easily created by simply expressing the structure of the device model or the system model. Further, when the created models are connected based on the cooperative relationship, the communication variable definition unit 7 in the event unit 5 can be used to communicate data at a certain timing through the connected event and to use information between the models. , Furthermore, since multiple data communication can be performed simultaneously through an event that is combined at a certain timing,
A lot of information can be simultaneously used between models.

[0048]

As described above, according to the first aspect of the present invention, the state transition model is a variable declaration section for defining variables used in the model and a model for defining the state transition of the equipment constituting the system. The state transition model is used to represent the control sequence of the device, the model of the device is connected to each other, and the variable values described in the variable declaration section are obtained from the data storage area to obtain the entire system. Since it is configured to generate a system model that controls the operation of the device, it is not necessary to keep the device information as a state, and use the variables declared in the variable declaration section to perform operations etc. described in the variable declaration section. There is an effect that an executable state transition model is created, and the obtained models are combined to easily create a system model without becoming complicated.

According to the second aspect of the present invention, the state transition model comprises a variable declaration section for defining variables to be used and a model definition section for defining state transitions of devices and systems constituting the system. The model definition part in the transition model has an event part that defines an event of a device or a system, and the event part has a communication variable definition part that defines a variable to be communicated when an event is fired. Combine state transition models in a part that cooperates between multiple state transition models that have an event with a part, and use the variable declaration part and communication variable definition part to communicate data with each other in the connection part between the state transition models. It is not necessary to keep the device information as a state because it is configured to be a state that includes data transmission and reception that is performed at the joint of multiple models when an event occurs There is an effect that can be succinctly expressed the transfer model.

According to the third aspect of the present invention, in the connection between the plurality of state transition models, the value of the variable to be transmitted defined by the communication variable definition in one event part is replaced by the communication variable in another event part. Since it is configured to receive by the variable of the reception target defined in the definition part and execute data communication in the connection part between multiple state transition models, when an event occurs, the communication variable definition part of the event in the connection part of multiple models The value of the variable to be transmitted defined in (1) can be passed to the reception variable defined in the communication variable definition section, and there is an effect that information can be mutually used between the models.

According to the fourth aspect of the present invention, the variables to be transmitted and the variables to be received are defined by the communication variable definition section in each event section relating to a plurality of events, and one connection between the plurality of state transition models is defined. Since a plurality of data communications relating to variables to be transmitted and variables to be received are executed between a plurality of state transition models via a portion, when an event occurs, communication of the event is performed in a joint portion of the plurality of models when an event occurs. There is an effect that a plurality of data can be simultaneously communicated from a transmission target variable defined by the variable definition unit to a reception target variable and information can be used mutually.

According to the fifth aspect of the present invention, at the connection between a plurality of state transition models, the value of the variable to be transmitted and the variable to be received defined by the communication variable definition section in a certain event section are compared with the values of other variables. Using the variables to be received and variables to be transmitted defined in the communication variable definition part in the event part, bidirectional data communication is configured to be executed at the connection between multiple state transition models. This has the effect that many pieces of information can be used at once.

[Brief description of the drawings]

FIG. 1 is an explanatory diagram showing a system model obtained by using a system modeling method and a data communication method according to a first embodiment of the present invention; in particular, an example of data communication between models in a model connection portion; FIG.

FIG. 2 is a structural diagram showing a data-capable state transition model used in a system modeling method and a data communication method according to the first embodiment of the present invention.

FIG. 3 is a configuration diagram showing a variable declaration section in the state transition model shown in FIG. 2;

FIG. 4 is a structural diagram showing an input place / output place in the state transition model shown in FIG. 2;

FIG. 5 is an explanatory diagram showing a description example of a variable operation definition section in the input place / output place shown in FIG. 4;

FIG. 6 is a structural diagram showing an event in the state transition model shown in FIG. 2;

FIG. 7 is an explanatory diagram showing an example of an event firing condition expression in the event shown in FIG. 6;

FIG. 8 is a structural diagram showing a communication variable definition part in the event shown in FIG. 6;

FIG. 9 is an explanatory diagram showing a system model including three devices obtained by using the system modeling method and the data communication method according to the present invention.

FIG. 10 is an explanatory diagram illustrating another system model including two devices obtained by using the system modeling method and the data communication method according to the first embodiment of the present invention.

FIG. 11 is an explanatory diagram showing another system model including four devices obtained by using the system modeling method and the data communication method according to the first embodiment of the present invention.

FIG. 12 is an explanatory diagram showing another system model including two devices obtained using the system modeling method and the data communication method according to the first embodiment of the present invention.

FIG. 13 is an explanatory diagram showing another system model including two devices obtained by using the system modeling method and the data communication method according to the first embodiment of the present invention.

FIG. 14 is an explanatory diagram showing a system modeled using a Petri net as a conventional state transition model.

FIG. 15 is an explanatory diagram showing a conventional state transition model that can combine models obtained for each device.

FIG. 16 is an explanatory diagram showing a complicated conventional system model in which a sequence is branched and modeled for each type of work in order to distinguish the type of work.

[Explanation of symbols]

1 Data storage area, 2 State transition model, 3 Variable declaration section, 4 Model definition section, 5 Event section, 7 Communication variable definition section.

Claims (5)

[Claims] 1. A control sequence of a device is expressed by using a state transition model including a variable declaration unit that defines a variable used in a model and a model definition unit that defines a state transition of a device constituting a system. And combining the model of the device with each other, obtaining a value corresponding to the variable described in the variable declaration section from a data storage area, and generating a system model for controlling the operation of the entire system. System modeling method. 2. A state transition model includes a variable declaration section for defining a variable to be used and a model definition section for defining a device constituting the system and a state transition of the system.
The model definition unit includes an event unit that defines an event of the device or the system. The event unit includes a communication variable definition unit that defines a variable to be communicated when the event is fired. A data communication system, characterized in that data is communicated with each other using the variable declaration unit and the communication variable definition unit at a connection part that cooperates between a plurality of state transition models having an event having a variable definition unit. 3. In a connection part between a plurality of state transition models, a value of a variable to be transmitted defined by a communication variable definition part in a certain event part is replaced by a value of a reception target defined by a communication variable definition part in another event part. 3. The data communication method according to claim 2, wherein the data communication is performed by a variable and the data communication is executed at a connection portion between the plurality of state transition models. 4. A variable to be transmitted and a variable to be received are defined by a communication variable definition part in each event part relating to a plurality of events, and a plurality of state transition models are connected via a certain state transition model coupling part. 3. The data communication method according to claim 2, wherein a plurality of data communications regarding the variable to be transmitted and the variable to be received are executed between the plurality of state transition models. 5. In a connection part between a plurality of state transition models, a value of a transmission target variable and a reception target variable defined in a communication variable definition part in a certain event part and a communication variable definition part in another event part are used. 3. The data communication method according to claim 2, wherein two-way data communication is executed at a connection between the plurality of state transition models using the defined variable to be received and variable to be transmitted.