Computer System Model Validation via Self-Containment Checks
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing automatic design techniques for ICT systems fail to appropriately model the design target, leading to inefficiencies and potential design failures due to unclear grammatical specifications and the difficulty in determining appropriate modeling.
Innovation Solution
An information processing device and method that determines whether a computer system model satisfies configuration element specifications through self-containment checks, ensuring that all elements can be concretized into a concrete configuration.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Productivity
If automatic design techniques are used to derive system configuration from requirements, then design efficiency is improved, but modeling accuracy deteriorates due to unclear grammatical specifications
Solution Approach 1:
The patent applies preliminary action by defining grammatical specifications before the automatic design process begins. The specification language is prepared in advance with clear rules for modeling configuration elements, their attributes, and relationships. This preliminary preparation ensures that when the automatic design system processes requirements, it does so with well-defined modeling guidelines, thereby maintaining both efficiency and accuracy.
Solution Approach 2:
The patent implements feedback mechanisms where the automatic design system checks generated models against the predefined grammatical specifications. This feedback loop allows the system to validate whether the derived configuration models satisfy the required grammatical rules, enabling correction of modeling errors and ensuring accuracy while maintaining automated design efficiency.
2Adaptability or versatility
If multiple graph rewriting methods are used to concretize system requirements, then design flexibility is improved, but design reliability deteriorates due to potential design failures
Solution Approach 1:
The patent applies parameter changes by systematically varying parameters such as the order of graph rewriting operations, the selection of rewriting rules, and the configuration of design constraints. By exploring different parameter combinations, the system can identify which rewriting sequences lead to successful designs and which cause failures, thereby maintaining reliability while preserving flexibility through multiple valid approaches.
Solution Approach 2:
The system incorporates feedback mechanisms that evaluate the results of graph rewriting operations and provide information back to the design process. When a rewriting sequence leads to a valid configuration, the system learns from this success and can reuse or adapt the approach. When failures occur, the feedback allows the system to adjust its strategy, ensuring that only reliable design paths are pursued while maintaining the ability to explore flexible solutions.
Data Source
AI summary
An information processing device includes: a specification determination unit that determines whether a model of a computer system satisfies a specification for configuration elements included in a definition of the model based on self-containment of the configuration elements; and an output unit that outputs a result of the determination as to whether the model of the computer system satisfies the specification.