首页>
外国专利>
METHOD AND SYSTEM FOR INCONSISTENCY RESOLUTION WITH CYCLE DETECTION IN A MODEL-DRIVEN SOFTWARE ENVIRONMENT
METHOD AND SYSTEM FOR INCONSISTENCY RESOLUTION WITH CYCLE DETECTION IN A MODEL-DRIVEN SOFTWARE ENVIRONMENT
展开▼
机译:在模型驱动的软件环境中循环检测不确定性的方法和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and system for inconsistency resolution in a model-driven software development environment are provided. A method includes performing a safety analysis for resolutions in response to detected inconsistencies to determine whether the resolution, if implemented, will lead to a resolution cycle when applied to a given inconsistency. The determination includes processing a resolution tree for the inconsistency and, using a resolution strategy tree, for each resolution that resolves an inconsistency, analyzing whether beginning with the resolution, it is possible to resolve all the inconsistencies subsequently introduced as side effects without a resolution cycle occurring. The analysis includes traversing the resolution strategy tree, whereby all resolution strategies derived by traversing the resolution strategy tree lead to a resolution cycle if the resolution strategy tree is infinite. The method includes categorizing the resolution that resolves the inconsistency and applying a resolution for the inconsistency based upon the resolution category.
展开▼