Matches in SemOpenAlex for { <https://semopenalex.org/work/W98349213> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W98349213 endingPage "230" @default.
- W98349213 startingPage "197" @default.
- W98349213 abstract "The paper is addressed to the actual problem of verification of large-scale data models applied in various industrial areas and specified using popular general-purpose object-oriented languages, such as EXPRESS, UML/OCL. Main benefits of information modeling languages (high expressiveness, declarative nature, advanced set of syntactic units) negatively affect the process of automatic verification of the specifications. The known approaches are based on reduction of the original complex problem to some well-known mathematical statement and its solution by existing methods. The performed analytical survey of the existing methods for model verification demonstrates that they cannot be used for solving the problem because of their high computational complexity. A combined method for verification of large-scale data models is proposed in the paper. The method is based on sequential reduction to the several mathematical problem statements: linear programming, constraint satisfaction problem (CSP), Boolean satisfiability (SAT). Usage of the combined method allows to avoid efficiency issues peculiar to the known approaches. At the first step the polynomial complexity methods of integer linear programming are applied to the original large-scale problem and localize the search region for solution by detection of the necessary amount of objects. At the next steps constraints imposed onto relatively small groups of objects can be considered individually, which allows to reduce significantly dimension of the problem. The key problem of estimation of the number of instances intended for generation of correct object collection and its reduction to an integer linear programming problem is investigated in detail. The performed experiments demonstrate prospectivity of the combined computational strategy and efficiency of the proposed method for verification of large-scale data models. The work is supported by RFBR (grant 13-07-00390)." @default.
- W98349213 created "2016-06-24" @default.
- W98349213 creator A5025867968 @default.
- W98349213 creator A5035894987 @default.
- W98349213 creator A5089191874 @default.
- W98349213 date "2014-01-01" @default.
- W98349213 modified "2023-09-27" @default.
- W98349213 title "A combined method for verification of large-scale data models" @default.
- W98349213 doi "https://doi.org/10.15514/ispras-2014-26(2)-9" @default.
- W98349213 hasPublicationYear "2014" @default.
- W98349213 type Work @default.
- W98349213 sameAs 98349213 @default.
- W98349213 citedByCount "0" @default.
- W98349213 crossrefType "journal-article" @default.
- W98349213 hasAuthorship W98349213A5025867968 @default.
- W98349213 hasAuthorship W98349213A5035894987 @default.
- W98349213 hasAuthorship W98349213A5089191874 @default.
- W98349213 hasBestOaLocation W983492131 @default.
- W98349213 hasConcept C111335779 @default.
- W98349213 hasConcept C11413529 @default.
- W98349213 hasConcept C126255220 @default.
- W98349213 hasConcept C137631369 @default.
- W98349213 hasConcept C154945302 @default.
- W98349213 hasConcept C162324750 @default.
- W98349213 hasConcept C173404611 @default.
- W98349213 hasConcept C177264268 @default.
- W98349213 hasConcept C199360897 @default.
- W98349213 hasConcept C199622910 @default.
- W98349213 hasConcept C202532154 @default.
- W98349213 hasConcept C2524010 @default.
- W98349213 hasConcept C33923547 @default.
- W98349213 hasConcept C41008148 @default.
- W98349213 hasConcept C44616089 @default.
- W98349213 hasConcept C49937458 @default.
- W98349213 hasConcept C539667460 @default.
- W98349213 hasConcept C56086750 @default.
- W98349213 hasConcept C80444323 @default.
- W98349213 hasConceptScore W98349213C111335779 @default.
- W98349213 hasConceptScore W98349213C11413529 @default.
- W98349213 hasConceptScore W98349213C126255220 @default.
- W98349213 hasConceptScore W98349213C137631369 @default.
- W98349213 hasConceptScore W98349213C154945302 @default.
- W98349213 hasConceptScore W98349213C162324750 @default.
- W98349213 hasConceptScore W98349213C173404611 @default.
- W98349213 hasConceptScore W98349213C177264268 @default.
- W98349213 hasConceptScore W98349213C199360897 @default.
- W98349213 hasConceptScore W98349213C199622910 @default.
- W98349213 hasConceptScore W98349213C202532154 @default.
- W98349213 hasConceptScore W98349213C2524010 @default.
- W98349213 hasConceptScore W98349213C33923547 @default.
- W98349213 hasConceptScore W98349213C41008148 @default.
- W98349213 hasConceptScore W98349213C44616089 @default.
- W98349213 hasConceptScore W98349213C49937458 @default.
- W98349213 hasConceptScore W98349213C539667460 @default.
- W98349213 hasConceptScore W98349213C56086750 @default.
- W98349213 hasConceptScore W98349213C80444323 @default.
- W98349213 hasIssue "2" @default.
- W98349213 hasLocation W983492131 @default.
- W98349213 hasOpenAccess W98349213 @default.
- W98349213 hasPrimaryLocation W983492131 @default.
- W98349213 hasVolume "26" @default.
- W98349213 isParatext "false" @default.
- W98349213 isRetracted "false" @default.
- W98349213 magId "98349213" @default.
- W98349213 workType "article" @default.