JP-7855121-B1 - Specification creation support system, specification creation support method, and program

JP7855121B1JP 7855121 B1JP7855121 B1JP 7855121B1JP-7855121-B1

Abstract

[Problem] To provide a specification creation support system, specification creation support method, and program that reduce the workload of resolving inconsistencies in specifications. [Solution] The specification creation support system, upon receiving information about the specifications of an information system, inputs a prompt into a large-scale language model instructing the creation or modification of the specifications according to the information about the specifications, obtains the output result from the large-scale language model as a proposed specification, performs a verification process to input the proposed specification into a verification device that outputs verification results to determine whether or not there are inconsistencies in the specifications, obtains the verification results from the verification device, and if the verification results include information indicating inconsistencies in the proposed specification, inputs a prompt into the large-scale language model instructing the modification of the proposed specification based on the verification results, performs a verification process on the output result from the large-scale model as a new proposed specification, and if the verification results indicate that there are no inconsistencies in the proposed specification, outputs the proposed specification as the final specification. [Selection Diagram] Figure 6

Inventors

戸田恵介

Assignees

株式会社日立ソリューションズ西日本

Dates

Publication Date: 20260507
Application Date: 20250602

Claims (7)

Memory for storing programs, A processor that performs processing according to the aforementioned program, The processor executes the program, When information regarding the specifications of an information system is input, including at least one model, the state transitions of the model, and the constraints of the model , a prompt instructing the creation or modification of the specifications according to the information regarding the specifications is input to the large language model, and the output result from the large language model is obtained as a proposed specification. A verification process is performed in which the proposed specifications are input to a verification device that outputs a verification result of whether or not there is a contradiction in the above specifications where the state transitions are performed in violation of the constraints , and the verification results are obtained from the verification device. If the verification results include information indicating inconsistencies in the proposed specification, a prompt including instructions to modify the proposed specification based on the verification results is input to the large-scale language model, the output from the large-scale language model is used as the new proposed specification and the verification process is performed, and if the verification results indicate that there are no inconsistencies in the proposed specification, the proposed specification is output as the final specification. If the verification results include information indicating the differences between the proposed specification before the change and the proposed specification after the change, the user operability of the information system and/or the changes in the information system are used as evaluation indicators for the proposed specification, and a prompt including an instruction to calculate an evaluation value for the revised proposed specification based on the information indicating the differences is input to the large-scale language model. Upon receiving the output result from the large-scale language model as the evaluation value, the system compares the evaluation value with a predetermined threshold to determine whether or not to adopt the modified proposed specification as the final specification. A system to support the creation of specifications.
In the specification creation support system described in claim 1 , The information relating to the above specification includes, with respect to the above specification, information on multiple models, state transitions of the multiple models, constraints of the multiple models, and events between models, The aforementioned processor, Regarding the user's operability, the large-scale language model is input a prompt that includes instructions to increase the evaluation value, where the number of errors in the combination of operations and events generated by those operations is small, up to the point where the objective is achieved. A system to support the creation of specifications.
In the specification creation support system described in claim 1 , The information relating to the above specification includes, with respect to the above specification, information on multiple models, state transitions of the multiple models, constraints of the multiple models, and events between models. The aforementioned processor, Regarding the changes in the information system, the larger the evaluation value is increased the fewer the number of changes in the state transitions and/or the number of changes in the occurrence of the events, the more the prompt is input to the large-scale language model. A system to support the creation of specifications.
In the specification creation support system described in claim 1, The information in the aforementioned specification is specification data that includes, for a new specification, multiple models, state transitions of the multiple models, constraints of the multiple models, and the specification of events between the models. A system to support the creation of specifications.
In the specification creation support system described in claim 1, The information in the aforementioned specifications includes, for a pre-created basic specification, information on additions, modifications, and/or deletions to at least one model, the state transitions of the model, the constraints of the model, and/or events between models. A system to support the creation of specifications.
A method for supporting specification creation performed by an information processing device, When information regarding the specifications of an information system is input, including at least one model, the state transitions of the model, and the constraints of the model , a prompt instructing the creation or modification of the specifications according to the information regarding the specifications is input to the large language model, and the output result from the large language model is obtained as a proposed specification. A verification process is performed in which the proposed specifications are input to a verification device that outputs a verification result of whether or not there is a contradiction in the above specifications where the state transitions are performed in violation of the constraints , and the verification results are obtained from the verification device. If the verification results include information indicating inconsistencies in the proposed specification, a prompt including instructions to modify the proposed specification based on the verification results is input to the large-scale language model, the output from the large-scale language model is used as the new proposed specification and the verification process is performed, and if the verification results indicate that there are no inconsistencies in the proposed specification, the proposed specification is output as the final specification. If the verification results include information indicating the differences between the proposed specification before the change and the proposed specification after the change, the user operability of the information system and/or the changes in the information system are used as evaluation indicators for the proposed specification, and a prompt including an instruction to calculate an evaluation value for the revised proposed specification based on the information indicating the differences is input to the large-scale language model. Upon receiving the output result from the large-scale language model as the evaluation value, the system compares the evaluation value with a predetermined threshold to determine whether or not to adopt the modified proposed specification as the final specification. Methods for supporting specification creation.
On the computer, When information regarding the specifications of an information system is input, including at least one model, the state transitions of the model, and the constraints of the model , a prompt instructing the creation or modification of the specifications according to the information regarding the specifications is input to the large language model, and the output result from the large language model is obtained as a proposed specification. A verification process is performed in which the proposed specifications are input to a verification device that outputs a verification result of whether or not there is a contradiction in the above specifications where the state transitions are performed in violation of the constraints , and the verification results are obtained from the verification device. If the verification results include information indicating inconsistencies in the proposed specification, a prompt including instructions to modify the proposed specification based on the verification results is input to the large-scale language model, the output from the large-scale language model is used as the new proposed specification and the verification process is performed, and if the verification results indicate that there are no inconsistencies in the proposed specification, the proposed specification is output as the final specification. If the verification results include information indicating the differences between the proposed specification before the change and the proposed specification after the change, the user operability of the information system and/or the changes in the information system are used as evaluation indicators for the proposed specification, and a prompt including an instruction to calculate an evaluation value for the revised proposed specification based on the information indicating the differences is input to the large-scale language model. Upon receiving the output result from the large-scale language model as the evaluation value, the system compares the evaluation value with a predetermined threshold to determine whether or not to adopt the modified proposed specification as the final specification. A program to perform a task.

Description

This disclosure relates to technology that assists in the creation of specifications for information systems. In the development of information systems, the developer gathers the requirements of the client procuring the information system and documents them as system specifications. After both the client and the developer confirm the system specifications, the developer designs and creates the information system according to those specifications. State transition models are sometimes used to describe the specifications of information systems. A state transition model represents each object constituting the information system using a model that describes the possible states an object can be in, the events that occur to the object, and the state transitions resulting from those events. State transition models are described as state transition diagrams or state transition tables. Errors in information system specifications can cause malfunctions in the information system; therefore, verifying system specifications is crucial in system development. Regarding specification verification, an example of a specification verification support device for assisting in the verification of information system specifications is disclosed in Patent Document 1. The specification verification support device disclosed in Patent Document 1 verifies whether any events constituting violations occur in the state transition specifications, which define state transitions due to events for each of multiple models. Japanese Patent Publication No. 2024-104241 This is a block diagram showing one example configuration of the specification creation support system of Example 1.This is a functional block diagram showing one example configuration of the specification creation support device in Example 1.This is a schematic diagram illustrating the specifications of an information system, including the model, events, state transitions, and constraints.This figure shows an example of the format of specification data.Figure 1 is a block diagram showing an example of the hardware configuration of the specification creation support device.This flowchart shows an example of the operation procedure of the specification creation support system in Example 1.Figure 6 shows an example of the process in which an event is added to the basic specifications in step S103.This is a functional block diagram showing one example configuration of the specification creation support device in Example 2. The specification creation support system of this embodiment is a system that assists in the process of resolving inconsistencies in the specifications of an information system. An example of the specification creation support system of this embodiment will be described below with reference to the drawings.