Matches in SemOpenAlex for { <https://semopenalex.org/work/W2130786069> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2130786069 abstract "Models lie at the heart of the emerging Model-driven Engineering approach. In order to guarantee precise, consistent and correct models, there is an urgent need for efficient reasoning methods for verifying model correctness. This paper extends and strengthens our previous work on efficient recognition of finite satisfiability problems in UML class diagrams with constrained generalization sets. First, algorithm FiniteSat is simplified into a single stage process, yielding a more compact linear inequality system. The main contribution of the paper is a method for propagation of disjoint constraints within complex class hierarchy structures, which meaningfully extends the scope of the FiniteSat algorithm. The method relies on a thorough analysis of the interaction between disjoint constraints and the structure of class hierarchy. It is recommended as a pre-processing stage, and being an anytime algorithm, even partial application is useful." @default.
- W2130786069 created "2016-06-24" @default.
- W2130786069 creator A5062420517 @default.
- W2130786069 creator A5064805255 @default.
- W2130786069 date "2009-03-01" @default.
- W2130786069 modified "2023-09-26" @default.
- W2130786069 title "Efficient recognition of finite satisfiability in UML class diagrams: Strengthening by propagation of disjoint constraints" @default.
- W2130786069 cites W111894459 @default.
- W2130786069 cites W118881 @default.
- W2130786069 cites W1490197784 @default.
- W2130786069 cites W1517020659 @default.
- W2130786069 cites W1549670460 @default.
- W2130786069 cites W167313423 @default.
- W2130786069 cites W1864273712 @default.
- W2130786069 cites W2027510748 @default.
- W2130786069 cites W2054120401 @default.
- W2130786069 cites W2080057244 @default.
- W2130786069 cites W2131566236 @default.
- W2130786069 cites W2140678095 @default.
- W2130786069 cites W2159090554 @default.
- W2130786069 cites W2159835652 @default.
- W2130786069 cites W80737574 @default.
- W2130786069 doi "https://doi.org/10.1109/mbse.2009.5031714" @default.
- W2130786069 hasPublicationYear "2009" @default.
- W2130786069 type Work @default.
- W2130786069 sameAs 2130786069 @default.
- W2130786069 citedByCount "8" @default.
- W2130786069 countsByYear W21307860692013 @default.
- W2130786069 countsByYear W21307860692014 @default.
- W2130786069 countsByYear W21307860692018 @default.
- W2130786069 countsByYear W21307860692021 @default.
- W2130786069 crossrefType "proceedings-article" @default.
- W2130786069 hasAuthorship W2130786069A5062420517 @default.
- W2130786069 hasAuthorship W2130786069A5064805255 @default.
- W2130786069 hasConcept C11413529 @default.
- W2130786069 hasConcept C118615104 @default.
- W2130786069 hasConcept C134306372 @default.
- W2130786069 hasConcept C145644426 @default.
- W2130786069 hasConcept C154945302 @default.
- W2130786069 hasConcept C162324750 @default.
- W2130786069 hasConcept C168773769 @default.
- W2130786069 hasConcept C177148314 @default.
- W2130786069 hasConcept C199360897 @default.
- W2130786069 hasConcept C202446494 @default.
- W2130786069 hasConcept C2777212361 @default.
- W2130786069 hasConcept C2777904410 @default.
- W2130786069 hasConcept C31170391 @default.
- W2130786069 hasConcept C33923547 @default.
- W2130786069 hasConcept C34447519 @default.
- W2130786069 hasConcept C41008148 @default.
- W2130786069 hasConcept C45340560 @default.
- W2130786069 hasConcept C55439883 @default.
- W2130786069 hasConcept C80444323 @default.
- W2130786069 hasConceptScore W2130786069C11413529 @default.
- W2130786069 hasConceptScore W2130786069C118615104 @default.
- W2130786069 hasConceptScore W2130786069C134306372 @default.
- W2130786069 hasConceptScore W2130786069C145644426 @default.
- W2130786069 hasConceptScore W2130786069C154945302 @default.
- W2130786069 hasConceptScore W2130786069C162324750 @default.
- W2130786069 hasConceptScore W2130786069C168773769 @default.
- W2130786069 hasConceptScore W2130786069C177148314 @default.
- W2130786069 hasConceptScore W2130786069C199360897 @default.
- W2130786069 hasConceptScore W2130786069C202446494 @default.
- W2130786069 hasConceptScore W2130786069C2777212361 @default.
- W2130786069 hasConceptScore W2130786069C2777904410 @default.
- W2130786069 hasConceptScore W2130786069C31170391 @default.
- W2130786069 hasConceptScore W2130786069C33923547 @default.
- W2130786069 hasConceptScore W2130786069C34447519 @default.
- W2130786069 hasConceptScore W2130786069C41008148 @default.
- W2130786069 hasConceptScore W2130786069C45340560 @default.
- W2130786069 hasConceptScore W2130786069C55439883 @default.
- W2130786069 hasConceptScore W2130786069C80444323 @default.
- W2130786069 hasLocation W21307860691 @default.
- W2130786069 hasOpenAccess W2130786069 @default.
- W2130786069 hasPrimaryLocation W21307860691 @default.
- W2130786069 hasRelatedWork W130450716 @default.
- W2130786069 hasRelatedWork W136416930 @default.
- W2130786069 hasRelatedWork W1516382534 @default.
- W2130786069 hasRelatedWork W1539567407 @default.
- W2130786069 hasRelatedWork W1589917456 @default.
- W2130786069 hasRelatedWork W1592466211 @default.
- W2130786069 hasRelatedWork W1729360112 @default.
- W2130786069 hasRelatedWork W1994293250 @default.
- W2130786069 hasRelatedWork W2023712066 @default.
- W2130786069 hasRelatedWork W2031497472 @default.
- W2130786069 hasRelatedWork W2102329872 @default.
- W2130786069 hasRelatedWork W2120003145 @default.
- W2130786069 hasRelatedWork W2125161077 @default.
- W2130786069 hasRelatedWork W2167995904 @default.
- W2130786069 hasRelatedWork W2174332830 @default.
- W2130786069 hasRelatedWork W2176981155 @default.
- W2130786069 hasRelatedWork W2274929058 @default.
- W2130786069 hasRelatedWork W2963025011 @default.
- W2130786069 hasRelatedWork W2963483933 @default.
- W2130786069 hasRelatedWork W900043438 @default.
- W2130786069 isParatext "false" @default.
- W2130786069 isRetracted "false" @default.
- W2130786069 magId "2130786069" @default.
- W2130786069 workType "article" @default.