Title page for 82345008


[Back to Results | New Search]

Student Number 82345008
Author Jong-Yih Kuo(q)
Author's Email Address No Public.
Statistics This thesis had been viewed 255 times. Download 11 times.
Department Computer Science and Information Engineering
Year 1997
Semester 2
Degree Ph.D.
Type of Document Doctoral Dissertation
Language zh-TW.Big5 Chinese
Title Trade-Off Analysis for Imprecise Requirements
Date of Defense
Page Count 126
Keyword
  • Fuzzy Logic
  • Imprecise Requirements
  • Nonfunctional Requirements
  • Requirements Engineering
  • Software Engineering
  • Trade-off Analysis
  • Abstract A major challenge in requirements engineering of complex systems
    isthat the requirements to be captured are imprecise in nature
    andusually conflicting with each other. Balzer et al. have
    arguedthat informality is an inevitable (and ultimately
    desirable) featureof the specification process. Borgida et al.
    have further elaboratedthat a good requirement modeling approach
    should take the problem ofdescribing nature kinds into account,
    which usually runs the risk ofbeing vague and subject to
    contradiction. However, most of the existing work on
    requirements modeling are limited in dealing with this problem.
    Traditional requirements modeling approaches (formal or
    informal) either require the requirements be stated precisely or
    completely exclude this problem out of the scope of the modeling
    activity. Knowledge-based software engineering indirectly
    addresses problems caused by the vagueness in the specification
    process by converting domain-specific informal requirements into
    formal ones. To alleviate these problem, we propose a framework,
    including a canonical form in test-score semantics to formulate
    soft functional and nonfunctional requirements, a front-end
    analysis to make easy the identification and specification of
    implicit user requirements, and a requirements trade-off
    analysis to formally analyze and model conflicts between
    requirements. A faceted requirement classification scheme is
    proposed for analyzing heterogeneous requirements. The
    representation of vague requirements is based on Zadeh's
    canonical form in test-score semantics and an extension of the
    notion of soft conditions. The front-end analysis approach is
    presented to specify vague requirements and identify implicit
    user requirements. First, functional requirements are arranged
    into a function-subfunction hierarchy based on functional
    decomposition approach; whereas, nonfunctional requirements are
    decomposed into two types of hierarchy: a classification
    hierarchy through IS-A relationship, and an aggregation
    hierarchy using IS-PART-OF relationship. Second, constraint
    networks are built from the hierarchies. Propagation rules are
    then applied to derive implicit requirements. Finally, the
    derived requirements are represented using Zadeh's canonical
    forms. The trade-off among vague requirements are analyzed by
    identifying therelationships between requirements which could be
    either conflicting,irrelevant, cooperative, counterbalance, or
    independent. Parameterizedaggregation operators, fuzzy and / or,
    are selected to combineindividual requirements. An extended
    hierarchical aggregationstructure is proposed to establish a
    four-level requirements hierarchyto facilitate requirements and
    criticalities aggregation through thefuzzy and / or operators. A
    compromised overall requirement can be obtained through the
    aggregation of individual requirements basedon the requirements
    hierarchy. The proposed approach provides aframework for
    formally analyzing and modeling conflicts betweenrequirements,
    and for users to better understand relationships amongtheir
    requirements.
    Table of Content
    Reference COVER
    ABSTRACT
    ACKNOWLEDGMENTS
    TABLE OF CONTENTS
    LIST OF FIGURES
    LIST OF TABLES
    CHAPTER I
    I.A Motivation
    I.B Overview of the Research
    I.C Organization of the Dissertation
    CHAPTER II
    II.A Related Literature to the Formal Rpresentation of Functional and Nonfunctiional Requirements
    II.B Related Literature to Front-end Analysis Approach
    II.C Related Literature to Requirements Trade-off Anlysis Approach
    CHAPTER III
    III.A Rwquirements Classification
    III.B Soft Functional Requirements
    III.C Modeling Imprecise Requirements
    III.D Establishing Cinstraint Networks
    III.E Early Validation of User Requirements
    CHAPTER IV.
    IV. Analyzing Soft Requirements
    IV.B An Example : ISOFBEX Expert System
    CHAPTER V
    V.A Requirements Trade-offAnalysis Approach vs Multiple Perspective Specification
    V.B Requirements Trade-off Analysis Approach vs Multi- criteria Decision Making
    V.C Requirements Trade-off Analysis Approach and Pareto Optimality
    CHAPTER VI
    VI.A Summary of the Research
    VI.B Future Research
    REFERENCSE
    APPENDIX
    Advisor
  • Jonathan Lee()
  • Files No Any Full Text File.
    Date of Submission

    [Back to Results | New Search]


    Browse | Search All Available ETDs

    If you have dissertation-related questions, please contact with the NCU library extension service section.
    Our service phone is (03)422-7151 Ext. 57407,E-mail is also welcomed.