Analytic framework for specifying and analyzing imprecise requirements

Xiaoqing Frank Liu, John Yen

Research output: Contribution to journalConference article

33 Citations (Scopus)

Abstract

There are at least three challenges with requirements analysis. First, it needs to bridge informal requirements, which are often vague and imprecise, to formal specification methods. Second, requirements often conflict with each other. Third, existing formal requirement specification methodologies are limited in supporting trade-off analysis between conflicting requirements and identifying the impact of a requirement change to the rest of the system. In this paper, an analytic framework is developed for the specification and analysis of imprecise requirements. In this framework, the elasticity of imprecise requirements is captured using fuzzy logic and the relationships between requirements are formally classified into four categories: conflicting, cooperative, mutually exclusive, and irrelevant. This formal foundation facilitates to infer relationships between requirements for detecting implicit conflicts, to assess the relative priorities of requirements for resolving conflicts, and to assess the effect of a requirement change.

Original languageEnglish (US)
Pages (from-to)60-69
Number of pages10
JournalProceedings - International Conference on Software Engineering
StatePublished - Dec 1 1995
EventProceedings of the 1996 18th International Conference on Software Engineering - Berlin, Ger
Duration: Mar 25 1996Mar 29 1996

Fingerprint

Specifications
Fuzzy logic
Elasticity
Formal specification

All Science Journal Classification (ASJC) codes

  • Software

Cite this

@article{a81383f836a94ff4b7b2778e7da653a8,
title = "Analytic framework for specifying and analyzing imprecise requirements",
abstract = "There are at least three challenges with requirements analysis. First, it needs to bridge informal requirements, which are often vague and imprecise, to formal specification methods. Second, requirements often conflict with each other. Third, existing formal requirement specification methodologies are limited in supporting trade-off analysis between conflicting requirements and identifying the impact of a requirement change to the rest of the system. In this paper, an analytic framework is developed for the specification and analysis of imprecise requirements. In this framework, the elasticity of imprecise requirements is captured using fuzzy logic and the relationships between requirements are formally classified into four categories: conflicting, cooperative, mutually exclusive, and irrelevant. This formal foundation facilitates to infer relationships between requirements for detecting implicit conflicts, to assess the relative priorities of requirements for resolving conflicts, and to assess the effect of a requirement change.",
author = "Liu, {Xiaoqing Frank} and John Yen",
year = "1995",
month = "12",
day = "1",
language = "English (US)",
pages = "60--69",
journal = "Proceedings - International Conference on Software Engineering",
issn = "0270-5257",
publisher = "IEEE Computer Society",

}

Analytic framework for specifying and analyzing imprecise requirements. / Liu, Xiaoqing Frank; Yen, John.

In: Proceedings - International Conference on Software Engineering, 01.12.1995, p. 60-69.

Research output: Contribution to journalConference article

TY - JOUR

T1 - Analytic framework for specifying and analyzing imprecise requirements

AU - Liu, Xiaoqing Frank

AU - Yen, John

PY - 1995/12/1

Y1 - 1995/12/1

N2 - There are at least three challenges with requirements analysis. First, it needs to bridge informal requirements, which are often vague and imprecise, to formal specification methods. Second, requirements often conflict with each other. Third, existing formal requirement specification methodologies are limited in supporting trade-off analysis between conflicting requirements and identifying the impact of a requirement change to the rest of the system. In this paper, an analytic framework is developed for the specification and analysis of imprecise requirements. In this framework, the elasticity of imprecise requirements is captured using fuzzy logic and the relationships between requirements are formally classified into four categories: conflicting, cooperative, mutually exclusive, and irrelevant. This formal foundation facilitates to infer relationships between requirements for detecting implicit conflicts, to assess the relative priorities of requirements for resolving conflicts, and to assess the effect of a requirement change.

AB - There are at least three challenges with requirements analysis. First, it needs to bridge informal requirements, which are often vague and imprecise, to formal specification methods. Second, requirements often conflict with each other. Third, existing formal requirement specification methodologies are limited in supporting trade-off analysis between conflicting requirements and identifying the impact of a requirement change to the rest of the system. In this paper, an analytic framework is developed for the specification and analysis of imprecise requirements. In this framework, the elasticity of imprecise requirements is captured using fuzzy logic and the relationships between requirements are formally classified into four categories: conflicting, cooperative, mutually exclusive, and irrelevant. This formal foundation facilitates to infer relationships between requirements for detecting implicit conflicts, to assess the relative priorities of requirements for resolving conflicts, and to assess the effect of a requirement change.

UR - http://www.scopus.com/inward/record.url?scp=0029493044&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0029493044&partnerID=8YFLogxK

M3 - Conference article

SP - 60

EP - 69

JO - Proceedings - International Conference on Software Engineering

JF - Proceedings - International Conference on Software Engineering

SN - 0270-5257

ER -