THE APPROACH TO MEASUREMENT OF REQUIREMENT QUALITY BY APPLICATION OF GENERALIZED PRIORITIZED FUZZY CONSTRAINT SATISFACTION PROBLEM

The requirement quality affects product development at all lifecycle stages, as well as the end product. Poorly defined requirements bring to extended deadlines, increased financial costs, even to project disruption. Current researches related to the good quality of requirements include characteristics of good requirements and the development of new elicitation techniques. Requirement quality evaluation should be tailored both to the professionals and users who defined requirements according to their needs. Therefore, the model is designed for requirement quality measurement based on the characteristics of good requirements by application of the Generalized Prioritized Fuzzy Constraint Satisfaction Problem. The model enables the participation of selected characteristics of good requirements in quality evaluation, according to priorities. The evaluator obtains information if the requirement satisfies the given quality satisfaction threshold based on the degree of fulfillment of selected characteristics of a good requirement. The model is applied to all types of requirements, as well as to the evaluation of requirements at all software development lifecycle stages.

Truth-Preservation under Fuzzy pp-Formulas

How can non-classical logic contribute to the analysis of complexity in computer science? In this paper, we give a step towards this question, taking a logical model-theoretic approach to the analysis of complexity in fuzzy constraint satisfaction. We study fuzzy positive-primitive sentences, and we present an algebraic characterization of classes axiomatized by this kind of sentences in terms of homomorphisms and direct products. The ultimate goal is to study the expressiveness and reasoning mechanisms of non-classical languages, with respect to constraint satisfaction problems and, in general, in modelling decision scenarios.

Agent Negotiation in Water Policy Planning

With the growing demand for water, and many challenges related to water availability, food security, pollution, and environmental degradation, it becomes imperative to establish good water policy planning for a sufficient supply of water consumption. This paper presents a general problem-solving framework for modeling multi-issue agent negotiation in water policy planning via fuzzy constraint processing. All participants involved in water policy planning are modeled as agents. Agent negotiation is formulated as a distributed fuzzy constraint satisfaction problem. Fuzzy constraints are used to define each participant’s professional views and demands. The agent negotiation simulates the interactive process of all participants’ water policy planning. This approach provides a systematic method to reach an agreement that benefits all participants’ water policy planning with a high satisfaction degree of fuzzy constraints, and move towards the deal more quickly since their search focuses only on the feasible solution space. An example application to Negotiation for Water Policy Planning is considered to demonstrate the usefulness and effectiveness of the proposed approach.

Data Model of FRDB with Different Data Types and PFSQL

This chapter introduces a way to extend the relational model with mechanisms that can handle imprecise, uncertain, and inconsistent attribute values using fuzzy logic. It describes details on how the relational model is extended in order to include fuzzy capabilities. In addition, we describe a query language called PFSQL for this fuzzy database model. Besides basic fuzzy capabilities, this query language adds the possibility to specify priorities for fuzzy statements. This appears to be the first implementation that has such capabilities. Also we describe the relations on FRDB (fuzzy relational database) and PFCSP (priority fuzzy constraint satisfaction problems) and GPFCSP (generalized priority fuzzy constraint satisfaction problems), theoretical concepts vital for the implementation of PFSQL. The authors propose several points in which this research and implementation can be continued and extended, contributing to better understanding of fuzzy database concepts and techniques and giving numerous possibilities for further development in this area.

A Tool for Visualizing the Behavior of Fuzzy Constraint Satisfaction Solvers

This paper presents a software tool to intuitively comprehend and analyze fuzzy constraint satisfaction problems (FCSPs) through effective visualization with animation. FCSPs are an extension of constraint satisfaction problems (CSPs), which are used for formulating problems in real-world information systems. Once we formulate a problem as an FCSP, it can be solved (in principle) by any existing general-purpose FCSP solvers developed so far. However, the formulation is sometimes difficult because it requires high abstraction of real-world problems and affects the performance of the solvers. The authors believe that the tool will improve this situation by increasing the visibility of the behavior of the solvers.