Formal method to implement fuzzy requirements

Many user requirements may involve preference criteria linguistically expressed by fuzzy terms in natural language; these requirements are called fuzzy requirements. Database query languages have been extended incorporating fuzzy logic to handle user-preference criteria. To the best of our knowledge...

Full description

Autores:
Goncalves, Marlene
Rodríguez, Rosseline
Tineo, Leonid
Tipo de recurso:
Article of journal
Fecha de publicación:
2012
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/41448
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/41448
http://bdigital.unal.edu.co/31545/
Palabra clave:
formal specifications
fuzzy queries
fuzzy terms
relational calculus
software development methodology
SQLf.
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
Description
Summary:Many user requirements may involve preference criteria linguistically expressed by fuzzy terms in natural language; these requirements are called fuzzy requirements. Database query languages have been extended incorporating fuzzy logic to handle user-preference criteria. To the best of our knowledge, very few of the software development methods consider fuzzy queries. In this work, we propose a database application method which includes conversion rules that translate formal specifications to implementations in the structured query language (SQL) enhanced with fuzzy logic (SQLf). The novelty of our method is the tuple calculus extension in order to express fuzzy queries with formal specification. Also, our method includes conversion rules that translate formal specifications into implementations in SQLf, a fuzzy query language on crisp databases. Additionally, we illustrate how our method was successfully applied in a real case study.