-
公开(公告)号:JPH09233150A
公开(公告)日:1997-09-05
申请号:JP4015396
申请日:1996-02-27
Applicant: TOSHIBA CORP
Inventor: UNO SHINTARO , KAGAYA SATOSHI
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.
-
公开(公告)号:JPH0556103A
公开(公告)日:1993-03-05
申请号:JP21536191
申请日:1991-08-27
Applicant: TOSHIBA CORP
Inventor: KANAJI KATSUYUKI , KAGAYA SATOSHI
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.
-
公开(公告)号:JPH04123156A
公开(公告)日:1992-04-23
申请号:JP24356090
申请日:1990-09-13
Applicant: TOSHIBA CORP
Inventor: KAGAYA SATOSHI , KACHI KOICHI
IPC: G06F13/00
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.
-
公开(公告)号:JPH10149287A
公开(公告)日:1998-06-02
申请号:JP17618197
申请日:1997-07-01
Applicant: TOSHIBA CORP
Inventor: TAWARA YASUYUKI , OSUGA AKIHIKO , NAGAI YASUO , KAGAYA SATOSHI , HOIDEN SHINICHI , IRIE YUTAKA , HATTORI MASANORI
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.
-
公开(公告)号:JPH05216641A
公开(公告)日:1993-08-27
申请号:JP2144792
申请日:1992-02-06
Applicant: TOSHIBA CORP
Inventor: KANAJI KATSUYUKI , KAGAYA SATOSHI
IPC: G06F9/06
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.
-
公开(公告)号: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.
-
公开(公告)号:JPH04137036A
公开(公告)日:1992-05-12
申请号:JP25941990
申请日:1990-09-28
Applicant: TOSHIBA CORP
Inventor: KAGAYA SATOSHI , KACHI KOICHI , KISHI MIHOKO
IPC: G06F9/06
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.
-
公开(公告)号:JPH1155263A
公开(公告)日:1999-02-26
申请号:JP21209597
申请日:1997-08-06
Applicant: TOSHIBA CORP
Inventor: KATAOKA YOSHIO , SEKI TOSHIBUMI , KAGAYA SATOSHI , NAKAMURA HITOYA , NAMIOKA YASUO , IIDA HARUHIKO , SHIOTANI HIDEAKI , HASHIMOTO KEISUKE , TANAKA TAKESHI
Abstract: PROBLEM TO BE SOLVED: To provide communication equipment allowing easy and sure re- constitution of a communication network. SOLUTION: Based in the resource assignment request by a user, a resource assignment changing part 103 assigns a communication resource by referring to a resource assignment situation storage part 104 and a resource assignment constraint storage part 106, and returns the assignment of the resource so that the original constraint can the automatically fulfilled at the time of ending the request. Thus, the assignment of the resource of the communication network can be dynamically and automatically attained. Also, a resource assignment visualizing part 101 generates a communication distance space by using an arbitrary terminal on a network as a reference, and visualizes the above space by a proper expressing means as necessary so that a user or a manager can visually apply a necessary quality request while visually confirming the quality information of the communication network. Therefore, the re-constitution of the high quality communication network can be easily attained.
-
公开(公告)号:JPH10322393A
公开(公告)日:1998-12-04
申请号:JP12854297
申请日:1997-05-19
Applicant: TOSHIBA CORP
Inventor: KAGAYA SATOSHI , SEKI TOSHIBUMI , IIDA HARUHIKO , HASHIMOTO KEISUKE , TANAKA TAKESHI , NAMIOKA YASUO , KATAOKA YOSHIO , NAKAMURA HITOYA , SHIOTANI HIDEAKI
IPC: H04L12/721 , H04L12/00 , H04L12/711 , H04L12/801 , H04L12/911 , H04L12/56
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.
-
公开(公告)号:JPH10303932A
公开(公告)日:1998-11-13
申请号:JP4605698
申请日:1998-02-26
Applicant: TOSHIBA CORP
Inventor: SEKI TOSHIBUMI , HASHIMOTO KEISUKE , TANAKA TAKESHI , NAMIOKA YASUO , KAGAYA SATOSHI , IIDA HARUHIKO , KATAOKA YOSHIO , NAKAMURA JINYA , SHIOTANI HIDEAKI
IPC: G06F13/00 , H04L12/28 , H04L12/815 , H04L12/863 , H04L12/865 , H04L12/917 , H04L12/927 , H04N7/173 , H04N21/2385 , H04N21/262 , H04Q3/00
Abstract: PROBLEM TO BE SOLVED: To efficiently allocate communication resources by allocating a band for a communication path that transfers in accordance with the content of communication information. SOLUTION: In a server 100, a variation band priority deciding part 105 retrieves an evaluation value that corresponds to an index which is added by a packet index adding part 104 from an index storing part and decides priority of each data flow. A variation band width allocating part 106 allocates a band to each data flow from the priority of each data flow. In a router 200, an index developing part 204 uses an index of a received packet, retrieves an evaluation value from the index storing part 203 and calculates an evaluation value of each data flow. A variation band priority deciding part 205 decides the priority of each data flow by using the evaluation value. A variation band width allocating part 206 allocates each data flow from the priority of each data flow.
-
-
-
-
-
-
-
-
-