FRINK Linked Data Fragments server

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

• W3100205637 endingPage "225" @default.
• W3100205637 startingPage "189" @default.
• W3100205637 abstract "Goal models have been widely used in computer science to represent software requirements, business objectives, and design qualities. Existing goal modelling techniques, however, have shown limitations of expressiveness and/or tractability in coping with complex real-world problems. In this work, we exploit advances in automated reasoning technologies, notably satisfiability and optimization modulo theories (SMT/OMT), and we propose and formalize: (1) an extended modelling language for goals, namely the constrained goal model (CGM), which makes explicit the notion of goal refinement and of domain assumption, allows for expressing preferences between goals and refinements and allows for associating numerical attributes to goals and refinements for defining constraints and optimization goals over multiple objective functions, refinements, and their numerical attributes; (2) a novel set of automated reasoning functionalities over CGMs, allowing for automatically generating suitable refinements of input CGMs, under user-specified assumptions and constraints, that also maximize preferences and optimize given objective functions. We have implemented these modelling and reasoning functionalities in a tool, named CGM-Tool, using the OMT solver OptiMathSAT as automated reasoning backend. Moreover, we have conducted an experimental evaluation on large CGMs to support the claim that our proposal scales well for goal models with 1000s of elements." @default.
• W3100205637 created "2020-11-23" @default.
• W3100205637 creator A5052098157 @default.
• W3100205637 creator A5073056211 @default.
• W3100205637 creator A5077048075 @default.
• W3100205637 creator A5088301538 @default.
• W3100205637 date "2016-12-24" @default.
• W3100205637 modified "2023-09-26" @default.
• W3100205637 title "Multi-objective reasoning with constrained goal models" @default.
• W3100205637 cites W1022177737 @default.
• W3100205637 cites W1525541389 @default.
• W3100205637 cites W1544041853 @default.
• W3100205637 cites W1548812055 @default.
• W3100205637 cites W1557686760 @default.
• W3100205637 cites W169672073 @default.
• W3100205637 cites W1775889152 @default.
• W3100205637 cites W1875598785 @default.
• W3100205637 cites W197426951 @default.
• W3100205637 cites W1992020298 @default.
• W3100205637 cites W2017739343 @default.
• W3100205637 cites W2019477184 @default.
• W3100205637 cites W2037150704 @default.
• W3100205637 cites W2071720065 @default.
• W3100205637 cites W2074621565 @default.
• W3100205637 cites W2075004139 @default.
• W3100205637 cites W2090777457 @default.
• W3100205637 cites W2095656719 @default.
• W3100205637 cites W2135290919 @default.
• W3100205637 cites W2139460891 @default.
• W3100205637 cites W2142065829 @default.
• W3100205637 cites W2161793592 @default.
• W3100205637 cites W2177007941 @default.
• W3100205637 cites W2301605390 @default.
• W3100205637 cites W2517055641 @default.
• W3100205637 cites W2963060688 @default.
• W3100205637 cites W3098560489 @default.
• W3100205637 cites W4206068681 @default.
• W3100205637 cites W4243719854 @default.
• W3100205637 cites W4248452555 @default.
• W3100205637 doi "https://doi.org/10.1007/s00766-016-0263-5" @default.
• W3100205637 hasPublicationYear "2016" @default.
• W3100205637 type Work @default.
• W3100205637 sameAs 3100205637 @default.
• W3100205637 citedByCount "35" @default.
• W3100205637 countsByYear W31002056372016 @default.
• W3100205637 countsByYear W31002056372017 @default.
• W3100205637 countsByYear W31002056372018 @default.
• W3100205637 countsByYear W31002056372019 @default.
• W3100205637 countsByYear W31002056372020 @default.
• W3100205637 countsByYear W31002056372021 @default.
• W3100205637 countsByYear W31002056372022 @default.
• W3100205637 countsByYear W31002056372023 @default.
• W3100205637 crossrefType "journal-article" @default.
• W3100205637 hasAuthorship W3100205637A5052098157 @default.
• W3100205637 hasAuthorship W3100205637A5073056211 @default.
• W3100205637 hasAuthorship W3100205637A5077048075 @default.
• W3100205637 hasAuthorship W3100205637A5088301538 @default.
• W3100205637 hasBestOaLocation W31002056372 @default.
• W3100205637 hasConcept C115903868 @default.
• W3100205637 hasConcept C134306372 @default.
• W3100205637 hasConcept C154945302 @default.
• W3100205637 hasConcept C164155591 @default.
• W3100205637 hasConcept C165696696 @default.
• W3100205637 hasConcept C168773769 @default.
• W3100205637 hasConcept C177264268 @default.
• W3100205637 hasConcept C182620335 @default.
• W3100205637 hasConcept C195344581 @default.
• W3100205637 hasConcept C199360897 @default.
• W3100205637 hasConcept C2778770139 @default.
• W3100205637 hasConcept C33923547 @default.
• W3100205637 hasConcept C36503486 @default.
• W3100205637 hasConcept C38652104 @default.
• W3100205637 hasConcept C41008148 @default.
• W3100205637 hasConcept C80444323 @default.
• W3100205637 hasConceptScore W3100205637C115903868 @default.
• W3100205637 hasConceptScore W3100205637C134306372 @default.
• W3100205637 hasConceptScore W3100205637C154945302 @default.
• W3100205637 hasConceptScore W3100205637C164155591 @default.
• W3100205637 hasConceptScore W3100205637C165696696 @default.
• W3100205637 hasConceptScore W3100205637C168773769 @default.
• W3100205637 hasConceptScore W3100205637C177264268 @default.
• W3100205637 hasConceptScore W3100205637C182620335 @default.
• W3100205637 hasConceptScore W3100205637C195344581 @default.
• W3100205637 hasConceptScore W3100205637C199360897 @default.
• W3100205637 hasConceptScore W3100205637C2778770139 @default.
• W3100205637 hasConceptScore W3100205637C33923547 @default.
• W3100205637 hasConceptScore W3100205637C36503486 @default.
• W3100205637 hasConceptScore W3100205637C38652104 @default.
• W3100205637 hasConceptScore W3100205637C41008148 @default.
• W3100205637 hasConceptScore W3100205637C80444323 @default.
• W3100205637 hasFunder F4320306087 @default.
• W3100205637 hasIssue "2" @default.
• W3100205637 hasLocation W31002056371 @default.
• W3100205637 hasLocation W31002056372 @default.
• W3100205637 hasLocation W31002056373 @default.
• W3100205637 hasLocation W31002056374 @default.
• W3100205637 hasOpenAccess W3100205637 @default.
• W3100205637 hasPrimaryLocation W31002056371 @default.

• next