A Model Checking Method for Graph Transformation System Based on Information Hiding
A conversion system and information hiding technology, which is applied in the field of computer software engineering development, can solve the problems of unverified conversion systems with hierarchical structure diagrams, etc., and achieve the effect of alleviating the problem of state space explosion, reducing the number of states, and ensuring correctness
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0028] 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.
[0029] (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.
[0030] 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