Model detection method based on information hiding for graph transformation system
A conversion system and information hiding technology, which is applied in the field of computer software engineering development, can solve the problems of unverifiable conversion systems with hierarchical structure graphs, etc., and achieve the effect of alleviating the state space explosion problem, ensuring correctness, and reducing the number of states
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0029] The invention provides a model detection method for a graph conversion system based on information hiding, which cooperates with figure 1 As shown, the technical solution of the present invention will be described in detail below by taking the task scheduling system as an example.
[0030] (1) According to the system requirements and the characteristics of the system, the system is divided into two layers by using the principle of information hiding. The visible part is defined as the first layer, and the internal part is defined as the second layer. The graphs and grammars of the two layers can be created by GROOVE.
[0031] In this embodiment, since the main requirement of the task scheduling system is that when many tasks require resource allocation, the system can allocate resources to the requesting tasks in an orderly manner. At the same time, we believe that after the task requests, the system The task does not need to know how to allocate resources to the task,...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com