SEQUENCE CHART GENERATING DEVICE
    1.
    发明专利

    公开(公告)号:JPH09233150A

    公开(公告)日:1997-09-05

    申请号:JP4015396

    申请日:1996-02-27

    Applicant: TOSHIBA CORP

    Abstract: PROBLEM TO BE SOLVED: To generate a sequence chart including a signal state or the like on the way of transmission efficiently by storing a mark to a part at which occurrence of a transmission line fault is predicted onto a normal system sequence chart and inserting a quasi-normal system sequence chart to the position. SOLUTION: A sequence chart is given to an input section 21 to input a normal system in a communication protocol to a description section 22. Data of corresponding protocol description from a charge generating section 24 are read from a database 25. A mark is given to a part where occurrence of a transmission line fault is predicted in the chart described by the normal system protocol and the result is stored in the database 25. When no signal is received due to occurrence of a fault, a quasi-normal system is given to a quasi-normal description section 23. After analysis of protocol logic, when the quasi-normal system is inserted to the normal system, the mark is detected from the chart and the quasi-normal system protocol is inserted to the position. As a result the description of the quasi-normal system is set formally similarly to the case with the normal system.

    PROTOCOL DESIGN DEVICE
    2.
    发明专利

    公开(公告)号:JPH0556103A

    公开(公告)日:1993-03-05

    申请号:JP21536191

    申请日:1991-08-27

    Applicant: TOSHIBA CORP

    Abstract: PURPOSE:To set the design of a protocol and verification work to be efficient and to improve reliability and decoding ability. CONSTITUTION:A process related diagram description part 1 generating a process related diagram where the connection relation of processes is described, a process abstracting part 8 substituting the plural processes in the process related diagram for abstracted dummy processes, a protocol description part 2 generating the sequence chart of the protocol from the process related diagram, a protocol verification means 3 verifying the protocol in the chart, a protocol development part 9 substituting the protocol of the dummy process substituted in the process abstracting part 8 for the protocol of the real process are provided. The protocol description part 2 and the protocol verification means 3 sequentially execute refinement of the substituted dummy processes by the process abstracting part 8, and the protocol development part 9 substitutes them for the protocol of the real process.

    PROTOCOL VERIFYING SYSTEM
    3.
    发明专利

    公开(公告)号:JPH04123156A

    公开(公告)日:1992-04-23

    申请号:JP24356090

    申请日:1990-09-13

    Applicant: TOSHIBA CORP

    Abstract: PURPOSE:To improve the efficiency of a protocol design work by replacing a process group which does not communicate with an external environment with a condition branch symbol obtained by describing an operation of its process group by abstract language, at the time of expressing a protocol by a sequence chart. CONSTITUTION:At the time of expressing a protocol by a process related diagram, it is classified into a process group which communicates with an external environment and a process group which does not communicate with the external environment, and the process group which does not communicate with the external environment and a channel between processes X, Y for constituting this process group are abstracted. Subsequently, at the time of expressing the protocol by a sequence chart, the process group which does not communicate with the external environment is replaced with a condition branch symbol obtained by describing an operation of its process group by abstract language. Accordingly, thereafter, at the time of executing a verification of the process X by a prescribed verification algorithm, the calculation quantity is decreased, and also, when a logical error is detected, it will suffice that a part of a protocol design is corrected. In such a way, the efficiency of a protocol design work is improved.

    INFORMATION PROCESSOR, ITS METHOD AND RECORDING MEDIUM

    公开(公告)号:JPH10149287A

    公开(公告)日:1998-06-02

    申请号:JP17618197

    申请日:1997-07-01

    Applicant: TOSHIBA CORP

    Abstract: PROBLEM TO BE SOLVED: To allow the information processor to flexibly correspond to a change in the constitutional elements of software and to improve fault resistance against a circuit fault. SOLUTION: Local information to be used for an access to each constitutional element is stored in local information storage means 1(1L, 1R) for respective nodes L, R and updated by updating means 2(2L, 2R). Plan generation elements 5(5L, 5R) generate plans expressing actions to be executed by an agent to satisfy an inputted request description as a set of plural actions based on agent information and local information. Plan execution means 5(5L, 5R) attain the operation of the agent on respective nodes L, R based on respective actions in the generated plan and agent management parts 7(7L, 7R) move the agent between the nodes L, R based on 'GO' action in the plan. Also in the node to which the agent is moved, replanning or the generation of a slave agent is executed as needed at the time of the failure or the like of plan execution.

    GRAPHICAL USER INTERFACE CONTROL PROGRAM GENERATOR

    公开(公告)号:JPH05216641A

    公开(公告)日:1993-08-27

    申请号:JP2144792

    申请日:1992-02-06

    Applicant: TOSHIBA CORP

    Abstract: PURPOSE:To automatically generate a GUT control program in the integrated CASE environment and to simplify a program correction. CONSTITUTION:The system is provided with a state transition description analysis section 141 generating a GUT control program by analyzing the state transition diagram of the software development process stored in a state transition diagram database 11 and starting a GUI screen setting section 142, processing command setting section 143, and screen transition destination setting section 144 for each state. The setting section 142 sets the program part for displaying the GUT screen capable of selecting the event corresponding to the state transition changeable from the objective state. The setting section 143 sets the program part to call a CASE tool corresponding to the event in case any event is selected on the GUT screen. The setting section 144 sets the program part to be jumped to the transition state after the execution of the called supporting tool processing.

    SOFTWARE DESIGNING DEVICE
    6.
    发明专利

    公开(公告)号:JPH056272A

    公开(公告)日:1993-01-14

    申请号:JP15826991

    申请日:1991-06-28

    Applicant: TOSHIBA CORP

    Inventor: KAGAYA SATOSHI

    Abstract: PURPOSE:To prepare a minimized state transition diagram without redundancy and to efficiently prepare a satisfactory program without redundancy by automatically and surely removing the overlapping of transition information in the state transition diagram having tree structure. CONSTITUTION:An edition part 2 edits graphic information inputted from an input part 1 and prepares the state transition diagram having the tree structure. An equivalent state judgement part 3 successively compares transition information groups concerning the two arbitrary states and when these groups are equal, it is judged that the two states are equivalent. While remaining the transition information group concerning one state judged as the equivalent state, a transition information reduction part 4 erases the transition information group concerning the other state and replaces a state number in the remaining state transition diagram. Thus, the minimized state transition diagram is automatically generated by repeating such a processing until no equivalent state exists.

    SOFTWARE COMPONENT SYNTHESIZER
    7.
    发明专利

    公开(公告)号:JPH04137036A

    公开(公告)日:1992-05-12

    申请号:JP25941990

    申请日:1990-09-28

    Applicant: TOSHIBA CORP

    Abstract: PURPOSE:To improve the generating efficiency and decoding capability of a software request specification by providing a state component offering means which retrieves an adaptive state component by collating the descriptive content of an inputted software request specification with specification information preserved in a data base, and assembles a retrieved state component in the software request specification. CONSTITUTION:The state component and its specification information are generated by a state component generating means 7 and a specification generating means 4 in advance, and they are preserved in the data bases 1-3. After that, when the descriptive input of the software request specification using a state transition diagram is inputted from a developer via an input means 10, the state component offering means 9 collates the descriptive content of the request specification with the specification information preserved in the data bases 1-3, and retrieves the adaptive state component, and automatically assembles it in the software request specification. Therefore, the state component in which a software component is assembled in the state transition diagram introducing hierarchy can be set as a unit in use when the software request specification is generated. Thereby, it is possible to improve the generating efficiency and the decoding capability of the software request specification.

    COMMUNICATION EQUIPMENT AND COMMUNICATION METHOD

    公开(公告)号:JPH10322393A

    公开(公告)日:1998-12-04

    申请号:JP12854297

    申请日:1997-05-19

    Applicant: TOSHIBA CORP

    Abstract: PROBLEM TO BE SOLVED: To provide the communication equipment by which sophisticated communication based on a request of the user is conducted on an optimum communication channel from the standpoint of a data transmission efficiency. SOLUTION: The communication equipment uses a user request relating to data transmission obtained by a user request acquisition section 101, a transmission capacity of a network obtained by a network map 105 of its own and other nodes and information of a load state at each point of time to decide a communication channel, then an optimum communication channel decision section 104 decides the optimum communication channel from the standpoint of the data transmission efficiency, and a data transmission prediction time obtained by a transmission time calculation section 109 is informed to the user via a processing process display section 111, then the user friendly communication equipment is provided.

Patent Agency Ranking