Problem of Inconsistency and Default Consistency Rules

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F21%3A00351858" target="_blank" >RIV/68407700:21240/21:00351858 - isvavai.cz</a>

Výsledek na webu

<a href="https://ebooks.iospress.nl/volumearticle/57486" target="_blank" >https://ebooks.iospress.nl/volumearticle/57486</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.3233/FAIA210063" target="_blank" >10.3233/FAIA210063</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Problem of Inconsistency and Default Consistency Rules

Popis výsledku v původním jazyce

We investigate inconsistency problem in textual functional requirements specifications. We argue that some sources of inconsistency can be revealed during the very first steps of textual requirements analysis. In this paper, we focus on those facts and rules that domain experts find so obvious that they do not even mention them to the analysts during the discussions about the product to be constructed. However, what is very obvious for stakeholders may not be obvious for analysts. We call such rules default consistency rules. We argue that the lack of the default consistency rules leads to incompleteness in the requirements, and it causes inconsistency with all its unpleasant consequences. In this contribution, we describe our approach to the problem of how the missing information can be both identified in the original requirements and found in external sources. We show a motivational example and explain our method.

Název v anglickém jazyce

Problem of Inconsistency and Default Consistency Rules

Popis výsledku anglicky

We investigate inconsistency problem in textual functional requirements specifications. We argue that some sources of inconsistency can be revealed during the very first steps of textual requirements analysis. In this paper, we focus on those facts and rules that domain experts find so obvious that they do not even mention them to the analysts during the discussions about the product to be constructed. However, what is very obvious for stakeholders may not be obvious for analysts. We call such rules default consistency rules. We argue that the lack of the default consistency rules leads to incompleteness in the requirements, and it causes inconsistency with all its unpleasant consequences. In this contribution, we describe our approach to the problem of how the missing information can be both identified in the original requirements and found in external sources. We show a motivational example and explain our method.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2021

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

New Trends in Intelligent Software Methodologies, Tools and Techniques

ISBN

978-1-64368-194-8

ISSN

0922-6389

e-ISSN

1879-8314

Počet stran výsledku

14

Strana od-do

674-687

Název nakladatele

IOS Press

Místo vydání

Amsterdam

Místo konání akce

online

Datum konání akce

21. 9. 2021

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—