FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2045430061> ?p ?o ?g. }

• W2045430061 endingPage "42" @default.
• W2045430061 startingPage "1" @default.
• W2045430061 abstract "Models lie at the heart of the emerging model-driven engineering approach. In order to guarantee precise, consistent, and correct models, there is a need for efficient powerful methods for verifying model correctness. Class diagram is the central language within UML. Its correctness problems involve issues of contradiction, namely the consistency problem, and issues of finite instantiation, namely the finite satisfiability problem. This article analyzes the problem of finite satisfiability of class diagrams with class hierarchy constraints and generalization-set constraints. The article introduces the FiniteSat algorithm for efficient detection of finite satisfiability in such class diagrams, and analyzes its limitations in terms of complex hierarchy structures. FiniteSat is strengthened in two directions. First, an algorithm for identification of the cause for a finite satisfiability problem is introduced. Second, a method for propagation of generalization-set constraints in a class diagram is introduced. The propagation method serves as a preprocessing step that improves FiniteSat performance, and helps developers in clarifying intended constraints. These algorithms are implemented in the FiniteSatUSE tool [BGU Modeling Group 2011b], as part of our ongoing effort for constructing a model-level integrated development environment [BGU Modeling Group 2010a]." @default.
• W2045430061 created "2016-06-24" @default.
• W2045430061 creator A5062420517 @default.
• W2045430061 creator A5064805255 @default.
• W2045430061 date "2013-07-01" @default.
• W2045430061 modified "2023-10-02" @default.
• W2045430061 title "Finite satisfiability of UML class diagrams with constrained class hierarchy" @default.
• W2045430061 cites W1481422796 @default.
• W2045430061 cites W1513861856 @default.
• W2045430061 cites W1550735538 @default.
• W2045430061 cites W1606461502 @default.
• W2045430061 cites W165540832 @default.
• W2045430061 cites W1933205320 @default.
• W2045430061 cites W1974485040 @default.
• W2045430061 cites W1976804980 @default.
• W2045430061 cites W1983336887 @default.
• W2045430061 cites W1996051189 @default.
• W2045430061 cites W1998400029 @default.
• W2045430061 cites W2014341247 @default.
• W2045430061 cites W2016716621 @default.
• W2045430061 cites W2027510748 @default.
• W2045430061 cites W2028316101 @default.
• W2045430061 cites W2032065721 @default.
• W2045430061 cites W2041711775 @default.
• W2045430061 cites W2041990479 @default.
• W2045430061 cites W2052293249 @default.
• W2045430061 cites W2054120401 @default.
• W2045430061 cites W2060440626 @default.
• W2045430061 cites W2070757058 @default.
• W2045430061 cites W2080057244 @default.
• W2045430061 cites W2089381631 @default.
• W2045430061 cites W2091920469 @default.
• W2045430061 cites W2095122966 @default.
• W2045430061 cites W2102888962 @default.
• W2045430061 cites W2103904278 @default.
• W2045430061 cites W2119284483 @default.
• W2045430061 cites W2131566236 @default.
• W2045430061 cites W2145486615 @default.
• W2045430061 cites W2148984584 @default.
• W2045430061 cites W2313760357 @default.
• W2045430061 cites W2945526390 @default.
• W2045430061 cites W3123148474 @default.
• W2045430061 cites W4213179597 @default.
• W2045430061 cites W4243071263 @default.
• W2045430061 doi "https://doi.org/10.1145/2491509.2491518" @default.
• W2045430061 hasPublicationYear "2013" @default.
• W2045430061 type Work @default.
• W2045430061 sameAs 2045430061 @default.
• W2045430061 citedByCount "29" @default.
• W2045430061 countsByYear W20454300612014 @default.
• W2045430061 countsByYear W20454300612015 @default.
• W2045430061 countsByYear W20454300612016 @default.
• W2045430061 countsByYear W20454300612017 @default.
• W2045430061 countsByYear W20454300612018 @default.
• W2045430061 countsByYear W20454300612019 @default.
• W2045430061 countsByYear W20454300612021 @default.
• W2045430061 countsByYear W20454300612022 @default.
• W2045430061 countsByYear W20454300612023 @default.
• W2045430061 crossrefType "journal-article" @default.
• W2045430061 hasAuthorship W2045430061A5062420517 @default.
• W2045430061 hasAuthorship W2045430061A5064805255 @default.
• W2045430061 hasConcept C11413529 @default.
• W2045430061 hasConcept C145644426 @default.
• W2045430061 hasConcept C154945302 @default.
• W2045430061 hasConcept C162324750 @default.
• W2045430061 hasConcept C168773769 @default.
• W2045430061 hasConcept C199360897 @default.
• W2045430061 hasConcept C202446494 @default.
• W2045430061 hasConcept C2777212361 @default.
• W2045430061 hasConcept C2777904410 @default.
• W2045430061 hasConcept C31170391 @default.
• W2045430061 hasConcept C34447519 @default.
• W2045430061 hasConcept C41008148 @default.
• W2045430061 hasConcept C55439883 @default.
• W2045430061 hasConcept C80444323 @default.
• W2045430061 hasConceptScore W2045430061C11413529 @default.
• W2045430061 hasConceptScore W2045430061C145644426 @default.
• W2045430061 hasConceptScore W2045430061C154945302 @default.
• W2045430061 hasConceptScore W2045430061C162324750 @default.
• W2045430061 hasConceptScore W2045430061C168773769 @default.
• W2045430061 hasConceptScore W2045430061C199360897 @default.
• W2045430061 hasConceptScore W2045430061C202446494 @default.
• W2045430061 hasConceptScore W2045430061C2777212361 @default.
• W2045430061 hasConceptScore W2045430061C2777904410 @default.
• W2045430061 hasConceptScore W2045430061C31170391 @default.
• W2045430061 hasConceptScore W2045430061C34447519 @default.
• W2045430061 hasConceptScore W2045430061C41008148 @default.
• W2045430061 hasConceptScore W2045430061C55439883 @default.
• W2045430061 hasConceptScore W2045430061C80444323 @default.
• W2045430061 hasFunder F4320323051 @default.
• W2045430061 hasIssue "3" @default.
• W2045430061 hasLocation W20454300611 @default.
• W2045430061 hasOpenAccess W2045430061 @default.
• W2045430061 hasPrimaryLocation W20454300611 @default.
• W2045430061 hasRelatedWork W1505640243 @default.
• W2045430061 hasRelatedWork W1942476429 @default.
• W2045430061 hasRelatedWork W2028316101 @default.
• W2045430061 hasRelatedWork W2045430061 @default.

• next