FRINK Linked Data Fragments server

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

• W59872548 abstract "In the Software Engineering practice, software requirements are one of the earliest artifacts describing a system. Without requirements we cannot verify the quality of a delivered software product. Requirements are mostly textual descriptions. Traceability is considered essential to manage consistency between software development artifacts. Many research focused on the relation between requirements and other artifacts such as design, code and test cases. However, less attention has been paid to the relation between requirements. Goknil et al proposed a requirementsmetamodel. This provides structure to requirements models. This metamodel is distilled from key entities from several requirements engineering approaches described in literature. The main focus of the requirements metamodel is on requirements relations and their types.Furthermore, they provided formal semantics of the requirements relations in first-order logic. This enables reasoning on requirements and consistency checking. To provide a proof of concept for the metamodeling approach proposed by G¨oknil et al. we need an environment to model requirements conforming to the requirements metamodel. And we need a tool that supports first-order logic reasoning over requirements relations. To the best of our knowledge, no requirements management tools exists which are capable of reasoning about requirements relations using formal semantics. Therefore, we developed a tool named TRIC (Tool for Requirements Inference and Consistency checking). TRIC is developed as an Eclipse RCP application. Requirements models are expressed in the Web Ontology Language(OWL), because first-order logic reasoners for OWL exist. Requirements models are stored and retrieved in RDFS/XML notation, enabling interoperability. To establish inference of implicit relations and to enable consistency checkingwe created a mapping between the formalization of requirements relations to OWL syntax and reasoner rules.We evaluated TRIC using an example case of a Course Management System (CMS). We used the requirements for the tool to verify the design and implementation. The modeling of requirements in models conforming to the requirements metamodel is supported. The inference of implicit relations and consistency checking of the model is supported. The analysis of implicit relations is supported by a visualization engine. We investigated the scalability ofthe tool by looking at the time and resource behavior. The time needed for consistency checking increases exponentionally with the number of model elements. The memory consumption seems linear with respect to the model size. TRIC does not support multiple metamodels. More research is needed on customizing the requirements metamodel and the formalization of additional relations. The inconsistencies found by the tool are not related to the contradicting requirements relations. TRIC supports the modeling and analysis of a requirements model. The next step is to support change impact analysis." @default.
• W59872548 created "2016-06-24" @default.
• W59872548 creator A5004267069 @default.
• W59872548 date "2009-01-01" @default.
• W59872548 modified "2023-09-27" @default.
• W59872548 title "Tool support for a metamodeling approach for reasoning about requirements" @default.
• W59872548 cites W128269431 @default.
• W59872548 cites W1490656280 @default.
• W59872548 cites W1494244595 @default.
• W59872548 cites W1514320565 @default.
• W59872548 cites W1526993786 @default.
• W59872548 cites W1543262385 @default.
• W59872548 cites W1562643504 @default.
• W59872548 cites W1569953369 @default.
• W59872548 cites W1577783107 @default.
• W59872548 cites W1579391008 @default.
• W59872548 cites W1624528677 @default.
• W59872548 cites W1992036716 @default.
• W59872548 cites W2022679230 @default.
• W59872548 cites W2051028605 @default.
• W59872548 cites W2100742239 @default.
• W59872548 cites W2102841898 @default.
• W59872548 cites W2117870171 @default.
• W59872548 cites W2118824637 @default.
• W59872548 cites W2124405605 @default.
• W59872548 cites W2126381465 @default.
• W59872548 cites W2138464849 @default.
• W59872548 cites W2141990385 @default.
• W59872548 cites W2153311568 @default.
• W59872548 cites W2153860654 @default.
• W59872548 cites W2171627300 @default.
• W59872548 cites W2339478394 @default.
• W59872548 cites W282963752 @default.
• W59872548 cites W3261618 @default.
• W59872548 cites W5287056 @default.
• W59872548 cites W54185166 @default.
• W59872548 cites W3114027992 @default.
• W59872548 hasPublicationYear "2009" @default.
• W59872548 type Work @default.
• W59872548 sameAs 59872548 @default.
• W59872548 citedByCount "2" @default.
• W59872548 countsByYear W598725482016 @default.
• W59872548 crossrefType "journal-article" @default.
• W59872548 hasAuthorship W59872548A5004267069 @default.
• W59872548 hasConcept C102780508 @default.
• W59872548 hasConcept C115903868 @default.
• W59872548 hasConcept C135475081 @default.
• W59872548 hasConcept C173577280 @default.
• W59872548 hasConcept C199360897 @default.
• W59872548 hasConcept C2777904410 @default.
• W59872548 hasConcept C35084680 @default.
• W59872548 hasConcept C41008148 @default.
• W59872548 hasConcept C45384764 @default.
• W59872548 hasConcept C52913732 @default.
• W59872548 hasConcept C529173508 @default.
• W59872548 hasConcept C59488412 @default.
• W59872548 hasConcept C6604083 @default.
• W59872548 hasConcept C84651959 @default.
• W59872548 hasConcept C86610423 @default.
• W59872548 hasConceptScore W59872548C102780508 @default.
• W59872548 hasConceptScore W59872548C115903868 @default.
• W59872548 hasConceptScore W59872548C135475081 @default.
• W59872548 hasConceptScore W59872548C173577280 @default.
• W59872548 hasConceptScore W59872548C199360897 @default.
• W59872548 hasConceptScore W59872548C2777904410 @default.
• W59872548 hasConceptScore W59872548C35084680 @default.
• W59872548 hasConceptScore W59872548C41008148 @default.
• W59872548 hasConceptScore W59872548C45384764 @default.
• W59872548 hasConceptScore W59872548C52913732 @default.
• W59872548 hasConceptScore W59872548C529173508 @default.
• W59872548 hasConceptScore W59872548C59488412 @default.
• W59872548 hasConceptScore W59872548C6604083 @default.
• W59872548 hasConceptScore W59872548C84651959 @default.
• W59872548 hasConceptScore W59872548C86610423 @default.
• W59872548 hasLocation W598725481 @default.
• W59872548 hasOpenAccess W59872548 @default.
• W59872548 hasPrimaryLocation W598725481 @default.
• W59872548 hasRelatedWork W1528038736 @default.
• W59872548 hasRelatedWork W1568096594 @default.
• W59872548 hasRelatedWork W2000732931 @default.
• W59872548 hasRelatedWork W20426122 @default.
• W59872548 hasRelatedWork W2061352860 @default.
• W59872548 hasRelatedWork W2067996756 @default.
• W59872548 hasRelatedWork W2172903366 @default.
• W59872548 hasRelatedWork W2248982957 @default.
• W59872548 hasRelatedWork W2255947651 @default.
• W59872548 hasRelatedWork W2360192259 @default.
• W59872548 hasRelatedWork W2476805165 @default.
• W59872548 hasRelatedWork W2510893491 @default.
• W59872548 hasRelatedWork W2578318992 @default.
• W59872548 hasRelatedWork W259997475 @default.
• W59872548 hasRelatedWork W2759347564 @default.
• W59872548 hasRelatedWork W3094436964 @default.
• W59872548 hasRelatedWork W319806705 @default.
• W59872548 hasRelatedWork W787921101 @default.
• W59872548 hasRelatedWork W14235511 @default.
• W59872548 hasRelatedWork W349124792 @default.
• W59872548 isParatext "false" @default.
• W59872548 isRetracted "false" @default.
• W59872548 magId "59872548" @default.

• next