JPH08115356A - Specification editing device - Google Patents

Abstract

PURPOSE: To output function specifications which are a message sequence chart between a design object and hardware devices as an editing result by inputting a message sequence between the hardware devices as the requested specifications of a real-time system. CONSTITUTION: This device is equipped with a screen display part 100, an editing and execution control part 101, a requested specification information file 102, a design object information file 103, a design rule information file 104, and a function specification information file 105, and the operation specifications of the design object required to functionally realize services in the requested specification information file are edited at the screen display part by using the design object information file and design rule information file and the editing result is outputted as the function specifications of the services to the function specification information file. Further, the operation of the edited function specifications of the service is executed and displayed at the screen display part.

Description

Detailed Description of the Invention

[0001]

BACKGROUND OF THE INVENTION 1. Field of the Invention The present invention relates to a specification editing device for designing the function of a real-time system.

[0002]

2. Description of the Related Art As a result of editing by a conventional specification editing device, a message sequence diagram (hereinafter referred to as a required specification message sequence diagram) is used to exchange messages between hardware devices constituting a real-time system. Was displayed. The real-time system is a system that provides services (for example, extension connection, three-way call, etc.) according to a predetermined processing procedure, and the message sequence is used to realize the above-mentioned real-time system. Is a time-sequential description of messages transmitted / received between devices and / or functions that are used.

An example of the message sequence diagram for the required specifications is shown in FIG. FIG. 2 shows a multifunction telephone 1 and a multifunction telephone 2 (Multi-Function-Teleph).
on: MFT) and private branch exchange (Private-Br)
anch-eXchange: PBX), and a Of
Exchanges of messages such as f-Hook and ring-back-tone are displayed in time series.

A technique relating to a specification editing device for designing the function of a real-time system is disclosed in Japanese Patent Laid-Open No. 4-1883.
30 and Japanese Patent Application Laid-Open No. 4-311241.

[0005]

However, the above-mentioned message sequence diagram for required specifications describes the relationship between humans and devices, or the relationship between devices and devices. There is an inconvenience that the designer cannot use it as a design specification to be realized. In other words, the designer
Unless the design information for each functional unit required to realize the system (for example, Tone function and Path function in PBX) is edited separately, the interface specification between functions cannot be obtained. The more complicated it is, the more sophisticated design knowledge is required, and the more time and effort is spent on the design.

[0006] A main object of the present invention is to provide a specification editing apparatus capable of easily editing a message sequence diagram for functional specifications required for functional design of a real-time system.

Another object of the present invention is to easily edit a message sequence diagram for functional specifications from a message sequence diagram for functional specifications in order to prevent user's design mistake. It is to provide a specification editing device.

[0008]

SUMMARY OF THE INVENTION In order to provide a device for displaying a message sequence diagram for the functional specifications of a real-time system, the present invention provides an interface between hard-devices constituting the real-time system. First storage means for storing required specification information describing a system specification, second storage means for storing design object information describing a design object which is a function inside the system necessary for the real-time system, and the first storage means. The required specification information and the design object information are appropriately extracted from one storage means and the second storage means to determine a common interface portion between the hard device and the design object, and the real time is determined. Editing means for editing the message sequence between the hard devices including the design objects required for the system; And a display means for displaying the editing results from the editing means.

Further, the present invention provides an easy-to-use specification editing device for preventing a user's design mistake when editing a message sequence diagram for functional specifications from a message sequence diagram for required specifications. In order to realize the real-time system, storage means for storing design information necessary for realizing a real-time system, control means for processing the stored information, input means for the control means, and output from the control means are provided. In a specification editing device comprising display means for displaying, the display means comprises a first area for displaying at least one or more hard devices constituting the real-time system, and at least two required for the real-time system. A second area that displays the functions inside the system above,
At least one sent and received between functions within the system
And a third area for displaying one or more messages,
The storage means is means for storing information about the first area, information about the second area, and information about the third area, and the input means displays in the second area. And a second selection means for selecting any one of the messages displayed in the fourth area. The means first controls the storage means and the display means so as to display the first area and the second area, and then the two functions of any two systems are controlled by the first selecting means. When it is determined that the selection has been made, the storage means and the display means are controlled so as to display the first area, the second area, and the third area, and the second selection means allows any One message Control to display the signal flow between the hardware device in the first area and the function in the second area, and between the selected function and the selected function. The means to do

[0010]

That is, the specification editing apparatus of the present invention for displaying the message sequence diagram for the functional specifications of the real-time system performs the following processing operations.

The required specification information including the interface specification between the hard disk devices stored in the first storage means is, for example, MFT1, M in the case of the real-time system shown in FIG.
Hardware device information describing FT2 and PBX, and Off
-Design object information that describes the internal functions of the real-time system and is stored in the second storage means, which is composed of message information transmitted and received between hard devices such as Hook, Dial-tone, and Dial. Taking the extension connection in the real-time system shown in Fig. 4 as an example, as shown in Fig. 4, Dial-tone or Ring-bac is used.
Tone function for issuing k-Tone, Path function for requesting securement of line in PBX, Tone function and P
Off-Hook, Dial-to, and function information including a Service function for softly controlling the ATH function and the like, and a Subscriber function serving as an interface of a message transmitted from the terminal side of the MFT1 or MFT2.
It is composed of message information transmitted and received between functions such as ne and connect-req.

The specification editing apparatus of the present invention transmits the message information Off-Hook from the transmission destination MFT1 to the transmission source PBX based on the required specification information stored in the first storage means. Determine the condition. Next, the specification editing device, based on the design object information stored in the second storage means and any input from the user, in the PBX that is the transmission source, has the Subscriber function that is the interface of the PBX in the PBX. , The Service function becomes the destination in the PBX, and the transmitted message is Off-Ho.
Judge that it is ok. The interface between the hardware device and the function (design object) is determined in the PBX by determining that the message transmitted between the hardware devices is the same as the message transmitted between the design objects based on the required specification information. Is the destination of the Su
It is possible to output a message sequence between a hardware device and a function by determining that it is a bscriber function.

That is, the specification editing apparatus of the present invention appropriately extracts and selects the required specification information and the design object information, and determines the interface portion between the hardware device and the function, thereby establishing the interface between the hardware device and the function. It is possible to output a message sequence between them.

Further, the specification editing apparatus of the present invention uses the message sequence diagram for required specifications to display the message for functional specifications.
In editing the sequence diagram, the following processing operations are performed in order to prevent a user's design mistake.

The specification editing apparatus of the present invention first uses the first area and the second area to visually identify the hardware devices and functions necessary for creating the functional specifications of the real-time system. Screen display.

Next, the specification editing device of the present invention, when the function displayed on the screen is selected by the second selecting means,
A message that can be transmitted / received between the selected functions is displayed using the third area.

Further, when the message displayed on the screen is selected by the third selecting means, the specification editing device of the present invention determines whether or not there is a hardware device related to the selected function, and also selects the selected function. Determine if and the associated hardware device can be an interface in a real-time system.

When it is determined from the above-mentioned determination result that the hardware device and the selected function can be connected, the selected function between the hardware device in the first area and the function in the second area is selected. The message sequence of the real-time system is described by using an arrow or the like between the function and the function.

That is, the specification editing apparatus of the present invention makes it possible to edit the function specification message sequence by a simple input such as selecting the required function and the required service by properly using the screen display.

Further, the specification editing apparatus of the present invention can prevent further erroneous input from the user by performing editing in consideration of the design rule describing the operation rule of the design object (function inside the system).

[0021]

Embodiments of the present invention will now be described in detail with reference to the drawings.

FIG. 1 is a functional block diagram showing an embodiment of the specification editing apparatus. In FIG. 1, 100 is a terminal device for inputting and displaying figures and texts using a mouse and icons, and a keyboard, 101 is the required specification information file 102, the design object information file 103 and the The design rule information file 104 is input, and the input required specification information file 102 and the design object information file 103 are edited based on the design rule information file 104, and the functional specification information file 1
This is an editing / execution control unit that outputs 05. The editing / execution control unit 100 can also execute display of the output functional specification information file 105 on the terminal device 100. 102 is a har which constitutes a real-time system
A requirement specification information file whose constituent elements are a message sequence for requirement specifications between devices, 103 is a design object information file whose constituent elements are design objects required for a real-time system, and 104 is a decision between design objects. The design rule information file having the operation rules and the related information between the hard device and the design object as constituent elements, and 105 is a functional specification between the hard device and the design object that constitute the real-time system. It is a functional specification information file having a message sequence as a constituent element.

2 to 9 show the required specification information file 102, the design object information file 103, and the design rule information file when the specification editing apparatus of the present invention edits the functional specifications of the real-time system including the hard apparatus PBX. The structures of the 104 and the functional specification information file 105 are specifically shown.

First, the required specification information file 102 will be described with reference to FIGS. 2 and 3.

FIG. 2 shows an example of a message sequence for requirement specifications stored in the requirement specification information file 102. The service specifications include MFT1 (201) to MFT.
2 (203) shows the case of extension connection. MFT1 (2
01), PBX (202), and MFT2 (203) are hardware devices of the real-time system, OFF_HOOK (2
04), DIAL_TONE, DIAL, RING_B
ACK_TONE, RINGING_SIGNAL (2
Reference numeral 05) shows various messages transmitted and received among the hard devices MFT1, PBX, and MFT2. The requirement specification information file 102 stores a message sequence for requirement specifications for each service specification.

FIG. 3 shows an example of a file structure for storing the required specification message sequence shown in FIG. 2 in the required specification information file 102. This file is created for each required specification name service (301), and has a transmission source hard1 (302) and a transmission destination hard2 (30).
3), a message mess sent from the source to the destination
age (304) and flag 1/0 indicating execution / non-execution
(305) (Assign 1 when executed and 0 when not executed).

In the case of this embodiment, the required specification information file 1
02 sends a message Off-Hook from MFT1 to PBX as shown in FIG.
2 up to the transmission of the message ringing-signal is described in time series.

Next, the design object information file 103 will be described with reference to FIG.

FIG. 4 shows a design object information file 1
It is an example of the design object contained in 03. In this design object information file 103, functional design is performed with four design objects when extension connection is performed.
Tone function that issues al-tone and Ring-back-Tone, and Pa that requests to secure the line in the PBX.
th function, Service function for softly controlling the above Tone function and Path function, and MFT1 and MFT2
And a Subscriber function that serves as an interface for messages transmitted from the terminal side.

FIG. 5 shows a display example of the terminal device 100,
It represents the processing order of signals between a hardware device and a design object or between design objects on a screen. In other words, the screen of the terminal device 100 displays a message from the state 501 in which the design object is not sending a message.
When the message is sent to the state 502, an arrow is added from the message source to the destination to indicate the signal processing order.

Next, a design rule will be described with reference to FIGS. 6, 7 and 8.
The rule information file 104 will be described.

FIG. 6 shows an example of the structure of a file representing the relationship between design objects contained in the design rule information file 104. This design rule information file 104 is
It describes a message transmitted and received between design objects, and is composed of a transmission source object 1 (601), a transmission destination object 2 (602), and a transmission message name message 603.

FIG. 7 shows an example of the structure of files included in the design rule information file 104. A sequence file 701 and a paired file 704 for a message 603 transmitted / received between the design objects shown in FIG. 6 will be described. The sequence file 701 defines a message message 1 (702) to be transmitted before and a message 2 (703) to be transmitted after that. The pair file (704) is the message that should be sent immediately before.
age3 (705) and the message that is always sent immediately after that
Define the page4 (706). By providing the order file 701 and the paired file 704, it is possible to prompt the user to perform an appropriate design.

FIG. 8 shows an example of the configuration of an information file showing the relationship between the design object and the hard device contained in the design rule information file 104. The related file 801 is
The design rule information file 104 determines whether or not an arbitrary message may actually be transmitted from the hard device 802 to the design object 803 or from the design object 803 to the hardware device 802.
It is defined by 0 (804). In other words, this file defines the interface between the hardware device and the design object.

Finally, the functional specification information file 105 will be described with reference to FIG.

FIG. 9 is a file configuration example of the functional specification information file 105, which is an example in which the editing result of the specification editing apparatus is described. The functional specification information file 105 includes a transmission source 902, a transmission destination 903, and a message me transmitted from the transmission source to the transmission destination for each functional specification name service 901.
The message 904 is stored in the order in which it was edited.

FIG. 10 shows a display example on the terminal device 100. Reference numeral 1000 denotes a display screen displayed on the object model edit screen, 1001 function screen is a design object edit area, 1002 request screen is a hard device edit area, 1003Service, 1004Su.
bscriber, 1005Tone, 1006Pat
h is a design object that has been edited and arranged, and is 1007M
FT1, 1008PBX, and 1009MFT2 are hard apparatus objects that are edited and arranged, and 1010 is an edited
6 is a monitor screen showing the edited execution status of the requirement specification information input to the execution control unit 101.

FIG. 11 is a menu which is selectively executed by the editing / execution control unit 101 when “edit”, “execute”, and “sequence diagram” are provided as the functions of the specification editing specification device.
3 is a description example of the processing flow of FIG. Waiting for menu selection (11
01), the edit (1102) is executed, the execution display (1103) is executed, and the sequence diagram is selected, the sequence display (11) is executed.
04) is executed, and upon completion of each execution, it again waits for menu selection.

The specification editing device of the present invention edits a message sequence for functional design by appropriately selecting and processing the various files described above.

[Edit] [Execution] [Sequence Diagram]
The processing for is described with reference to the first and second embodiments.

<< Embodiment 1 >> Embodiment 1 shows the processing of the editing / execution control unit 101 when a message sequence for functional design is edited.

FIG. 12 is a processing flow of the editing / execution control unit 101, and FIG. 13 is a screen display corresponding to the processing flow.

First, the editing area 1301 shown in FIG.
When you select "Edit" from, the required specification information file 10
A service name list 1302 is displayed based on 2. Next, when the user selects the service name "extension call" by the input means of the terminal device 100 (step 1201),
The editing / execution control unit 101 uses the required specification information file 102.
Source 302, destination 303 and message stored in
According to the time-series information of the message 304, the message sequence between the hard devices is displayed as unexecuted (step 120).
2). An example of the display is shown at 1303 in FIG.

Next, the Subscriber in the function screen
1304 and Service 1305 are selected with the mouse cursor in the order of the source and the destination (step 1203).
When the editing / execution control unit 101 determines the selection from the mouse cursor, it detects the same source and destination selected based on the design object information file 103 shown in FIG. 6, that is, the Subscriber 1304.
To Service 1305, all the messages that can be transmitted are extracted and displayed (step 1204). An example of the display is shown at 1306 in FIG. The editing / execution control unit 10
When it is determined that the combination corresponding to 1 cannot be extracted, the state of waiting for the selection of the design object is resumed. When the user selects the required message "Off-Hook" by the input means of the terminal device 100 (step 120)
5) Based on the design rule information file shown in FIG. 7, the editing / execution control unit 101 determines whether or not the selected message “Off-Hook” is consistent with the information in the order 701 (step). 1206).

The editing / execution control unit 101 executes step 12
If it is determined that the order of the messages is inconsistent in 06, an error message is output (step 120).
7) If it is determined that the order is correct, first, based on the design rule information 104 storing the related information 801 shown in FIG.
There is a hard device associated with the iber 1304, and it is determined whether or not the action flag 804 is 1 (step 120).
8).

The editing / execution control unit 101 executes step 12
When it is determined that the action flag 804 is “0” in 08, the service which is the design object of the next destination is
There is a hard device associated with 1305 and its action flag 8
It is determined whether 04 is 1 (step 1216).

If the action flag 804 is judged to be "1" in step 1208, the editing / execution control unit 101 displays the related hardware device MFT1 and the design object Subscriber 1304 with the message "Off-".
Items linked by an arrow with "Hook" are displayed (step 1209). An example of the display is shown at 1307 in FIG.

That is, when the editing / execution control unit 101 determines that the related hard device exists, the latest time-series message among the flags of the execution / non-execution 305 of the requirement specification information file shown in FIG. Determine what it is.
If the determined message and the message selected in step 1205 are the same, the process of step 1209 is executed by connecting the senders of the hardware devices and the senders of the design objects with an arrow.

Next, the editing / execution control unit 101 determines by the execution / non-execution 305 whether or not the processing is performed in the time series order stored in the requirement specification information file shown in FIG. 3 (step 1210). That is, this step 121
0 prevents the user from making an erroneous input in step 1202 and / or step 1205 or an input that does not follow service specifications. For example, step 12
When the Dial described in 1306 of FIG. 13 is selected in 05, the messages Off-Hook and Dial are displayed in the time series of FIG. 3 described in the requirement specification information file.
The part corresponding to "-tone" indicates an unexecuted state, so the user is notified of the error. By adding such processing, the accuracy of the output result expected by the specification editing device can be improved.

The editing / execution control unit 101 executes step 12
When it is determined that the contents do not match in step 10, the service specification "extension call" selected in step 1201 is added to the functional specification name 901 shown in FIG. In the destination 903, the design object name “Subscriber” of the sender selected in step 1203 and the message name “Off-Hook” selected in the message 904 in step 1205 are described, and in the functional specification information file 105. It is stored (step 1213).

The editing / execution control unit 101 executes step 12
When it is determined that they coincide with each other in FIG. 10, 130 in FIG.
In 9 the arrow line of the first message sequence is changed from non-execution to execution display (step 1211),
The corresponding unexecuted flag in the requirement specification information file 102 is changed to the execution flag (step 1212). In other words, the specification editing device of the present invention uses such a screen display 130.
9 is used to notify that the user is correctly editing based on the message sequence for the requirement specification.

Next, the editing / execution control unit 101 attaches an arrow from the transmission source "Subscriber" selected in step 1203 to the transmission destination "Service", and executes step 1
The message linked with the message "Off-Hook" selected in 205 is displayed on the screen (step 1214). An example of the display is shown at 1308 in FIG. Further, the editing / execution control unit 101 sets the required specification name 901 in the functional specification information file 105 to the service name “Off-Hook” selected in step 1201, and the source 902 to step 120.
The source and destination design object names "Subscriber" and "Service" selected in step 3 and the message name "Off-Hook" selected in step 1205 are output to the message 904 (step 121).
5).

The editing / execution control unit 101 executes step 12
When it is determined that the execution / non-execution flag 305 is “1” in 16, the processing from step 1221 to step 1225 is performed. Note that steps 1221 to 1225
Is almost the same as the above-described steps 1209 to 1213. However, when connecting the hardware device and the design object with an arrow, the editing / execution control unit 101
Is different in that the message is judged to be the earliest in time series among the unexecuted / unexecuted flags of the requirement specification information file shown in FIG.

On the other hand, the edit / execution control unit 101 sets the execution / non-execution flag 305 to "0" in step 1216.
If it is determined that step 1217 and step 121
8 is processed, it is determined based on the pair information 704 shown in FIG. 7 whether or not there is a message paired with the message selected in step 1205 (step 122).
6). The processing of steps 1217 and 1218 is similar to the processing of steps 1214 and 1215 described above.

The editing / execution control unit 101 executes step 12
If it is determined in step 26 that there is a subsequent message to be paired with, a source design object to be selected, a destination design object to be selected, and a message to be transmitted are displayed and input is prompted (step 122).
7).

When the input is correctly made in step 1227, the process returns to γ shown in FIG. 12 and the same processing is repeated. On the other hand, when the edit / execution control unit 101 determines in step 1226 that there is no subsequent message to be paired with, the edit / execution control unit 101 determines whether or not there is a non-execution flag in the requirement specification information file 102 shown in FIG. 3 (step 122).
8). That is, in this step, the specification editing device determines whether or not all editing of the given service specification has been completed.

The editing / execution control unit 101 executes step 12
If it is determined that there is an unexecuted flag in 28, the process returns to α shown in FIG. 12 and the processing is continued. If it is determined that there is no unexecuted flag, an end message is displayed (step 1229) and the editing ends.

<Embodiment 2> In Embodiment 2, the functional specification information file edited in Embodiment 1 is displayed for execution.

FIG. 14 is a flow description example of the process of the execution display 1103, and FIG. 15 is a screen display example thereof.

First, when the execution start is selected, the service name (functional specification name Service901) is displayed based on the functional specification information file shown in FIG. 9, so that the user can select an arbitrary service name from among them. Select (step 140)
1, 1501 in FIG. 15).

The editing / execution control unit 101 creates a file composed of "source", "destination", and "message" corresponding to the functional specification name Service 901 selected in step 1401 from the functional specification information file 105. It is detected (step 1402).

The editing / execution control unit 101 sequentially extracts "source", "destination", and "message" arranged in time series from the detected file (step 14).
03). If the editing / execution control unit 101 determines that extraction is not possible, an end message is displayed (step 1
404) End.

The editing / execution control unit 101 executes step 14
If it is determined that the data can be extracted in 03, the extracted source object 1 (902) or destination object 2 (9)
02) is determined in the object model editing screen 1000 (step 14).
05).

The editing / execution control unit 101 executes step 14
When it is determined that there is no corresponding hardware device in 05, the design object in the object model edit screen 1000 corresponding to the sender object 1 (902) is connected and displayed by the message message (904) (step 1406, FIG. 15). 1503 or 1504) and returns to step 1403 again.

The editing / execution control unit 101 executes step 14
If it is determined in 05 that there is a corresponding hardware device, the next "source", "destination" and "message" are extracted from the file extracted in step 1402,
The three objects extracted in step 1405 and step 1407 are displayed by sequentially connecting them with respective messages and connecting them with arrows (step 1408, 1502 in FIG. 15).
And 1503), and the process returns to step 1403 again.

By repeating the above processing, it is possible to create a message sequence for a predetermined functional specification.

FIG. 16 shows an example of execution / display of a sequence diagram which is one function of the editing / execution control section. When "Sequence diagram" is selected from the command menu on the object model edit screen 1600 with the mouse cursor, a list of service names is displayed. The user can
When "call extension" is selected from the service names, a list of message sequence names that can be created is displayed. When the user selects "requirement specification" from the displayed message sequence names (1601), the source 302 and the destination 303 corresponding to the service name "extension call" selected from the requirement specification information file 102. , Messe
Requirement specification message based on time series information of message 304
The message sequence diagram shown on the can screen 1603 is displayed.

Similarly, when the user selects "functional specification" from the displayed message sequence names (1
602), the functional specification message sequence based on the time series information of the transmission source 902, the transmission destination 903, and the message 904 corresponding to the service name "extension call" selected from the functional specification information file 105. Message shown on screen 1608
Display the sequence diagram.

[0069]

As described above, the operation specification of the design object is edited from the required specification of the service of the real-time system (the message sequence diagram between the hard devices) by the edit device capable of editing. This makes it possible to easily obtain the functional specifications of the service (a message sequence diagram between the hard device and the design module).
It is also possible to confirm the operation of the obtained service functional specifications.

[Brief description of drawings]

FIG. 1 is a functional configuration diagram that is a means for realizing the present invention.

FIG. 2 is a display example of a sequence diagram of required specification information which is input information of the present invention.

FIG. 3 is a file configuration example of requirement specification information of the present invention.

FIG. 4 is a display example of design object information to be edited according to the present invention.

FIG. 5 is a display example of a state of a design object.

FIG. 6 is a structural example of a file of relationships between design objects in the design rule information file of the present invention.

FIG. 7 is an example of the configuration of a file showing the order of the relationships between design objects and the pair information in the design rule information file of the present invention.

FIG. 8 is a configuration example of a file showing a relationship between a design object in a design rule information file of the present invention and an object in a requirement specification.

FIG. 9 is a configuration example of a file of functional specification information of the present invention.

FIG. 10 is a display example of the editing / execution control unit of the present invention.

FIG. 11 is a description example of a processing flow of the editing / execution control unit of the present invention.

FIG. 12 is a description example of an editing processing flow which is one function of the editing / execution control unit of the present invention.

FIG. 13 shows an example of execution / display of editing, which is one function of the editing / execution control unit of the present invention.

FIG. 14 is a description example of an execution processing flow that is one function of the editing / execution control unit of the present invention.

FIG. 15 shows an execution / display example of execution which is one function of the editing / execution control unit of the present invention.

FIG. 16 is an execution / display example of execution of a sequence diagram which is one function of the editing / execution control unit of the present invention.

[Explanation of symbols]

100 ... Terminal device, 101 ... Editing / execution control unit, 102
... required specification information file, 103 ... design object information file, 104 ... design rule information file, 105
… Functional specification information file

─────────────────────────────────────────────────── ─── Continuation of the front page (51) Int.Cl. ⁶ Identification number Office reference number FI technical display location H04M 1/00 R H04Q 3/58 101

Claims (3)

[Claims] 1. A first storage means for storing requirement specification information describing interface specifications between hard devices constituting a real-time system, and a design object which is a system internal function required for the real-time system. Is stored in the second storage means, the first storage means and the second storage means, and the required specification information and the design object information are appropriately extracted from the hardware. Editing means for judging a common interface portion between the hardware device and the design object and editing the message sequence between the hardware devices including the design object required for the real-time system; and the editing from the editing means. A specification editing device comprising: a display unit for displaying a result. 2. The design object information comprises behavior specification information of a design object that describes the function inside the real system for each functional unit and design rule information that describes a behavior rule of the design object. The specification editing apparatus according to claim 1, wherein the means edits the design object based on the design rule. 3. A storage means for storing design information necessary to realize a real-time system, a control means for processing the stored information, and an input means for the control means.
A specification editing apparatus comprising: display means for displaying an output from the control means, wherein the display means has a first area for displaying at least one or more hard devices constituting the real-time system; At least 2 required for the system
A second area displaying one or more internal functions of the system, and a third area displaying at least one or more messages transmitted and received between the internal functions of the system; Means for storing information about a first area, information about the second area, and information about the third area, wherein the input means is a function inside the system displayed in the second area. From the message displayed in the fourth area, there is provided a first selecting means for selecting any two from among, and a second selecting means for selecting any one from the messages displayed in the fourth area. When the storage means and the display means are controlled so as to display the first area and the second area, and then it is determined that the arbitrary two internal system functions have been selected by the first selection means. Controlling the storage means and the display means to display the said first area and said second area and said third area,
Further, when it is determined that any one message has been selected by the second selecting means, it is possible to distinguish between the hardware device in the first area and the function in the second area and the selected function and function. A specification editing device, characterized in that it is means for controlling so as to display a signal flow between them.