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
id UNACIONAL2_55f1db3aa76b07e980de70345592d602
oai_identifier_str oai:repositorio.unal.edu.co:unal/41448
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Goncalves, Marlene8aa471a2-d2c6-4587-8bee-8fbd97e8d43e300Rodríguez, Rosseline3e63b9b1-67de-4f30-af4c-f2f608f6c31d300Tineo, Leonid73a45ea6-1cd2-4681-800e-7ad2b69b38a43002019-06-28T10:02:05Z2019-06-28T10:02:05Z2012https://repositorio.unal.edu.co/handle/unal/41448http://bdigital.unal.edu.co/31545/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.application/pdfspaUniversidad Nacional de Colombia Sede Medellínhttp://revistas.unal.edu.co/index.php/dyna/article/view/30732Universidad Nacional de Colombia Revistas electrónicas UN DynaDynaDyna; Vol. 79, núm. 173 (2012); 15-24 DYNA; Vol. 79, núm. 173 (2012); 15-24 2346-2183 0012-7353Goncalves, Marlene and Rodríguez, Rosseline and Tineo, Leonid (2012) Formal method to implement fuzzy requirements. Dyna; Vol. 79, núm. 173 (2012); 15-24 DYNA; Vol. 79, núm. 173 (2012); 15-24 2346-2183 0012-7353 .Formal method to implement fuzzy requirementsArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTformal specificationsfuzzy queriesfuzzy termsrelational calculussoftware development methodologySQLf.ORIGINAL30732-111296-1-PB.pdfapplication/pdf868099https://repositorio.unal.edu.co/bitstream/unal/41448/1/30732-111296-1-PB.pdf65e50af4a0e62d56c01d0f5a798e5f2fMD5130732-156770-1-PB.htmltext/html51790https://repositorio.unal.edu.co/bitstream/unal/41448/2/30732-156770-1-PB.htmld4d2825653e292b3780e0683b9a6afb6MD52THUMBNAIL30732-111296-1-PB.pdf.jpg30732-111296-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg9012https://repositorio.unal.edu.co/bitstream/unal/41448/3/30732-111296-1-PB.pdf.jpg0ab4eba7e01d103036ccca3b55708765MD53unal/41448oai:repositorio.unal.edu.co:unal/414482023-02-02 23:05:42.958Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Formal method to implement fuzzy requirements
title Formal method to implement fuzzy requirements
spellingShingle Formal method to implement fuzzy requirements
formal specifications
fuzzy queries
fuzzy terms
relational calculus
software development methodology
SQLf.
title_short Formal method to implement fuzzy requirements
title_full Formal method to implement fuzzy requirements
title_fullStr Formal method to implement fuzzy requirements
title_full_unstemmed Formal method to implement fuzzy requirements
title_sort Formal method to implement fuzzy requirements
dc.creator.fl_str_mv Goncalves, Marlene
Rodríguez, Rosseline
Tineo, Leonid
dc.contributor.author.spa.fl_str_mv Goncalves, Marlene
Rodríguez, Rosseline
Tineo, Leonid
dc.subject.proposal.spa.fl_str_mv formal specifications
fuzzy queries
fuzzy terms
relational calculus
software development methodology
SQLf.
topic formal specifications
fuzzy queries
fuzzy terms
relational calculus
software development methodology
SQLf.
description 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.
publishDate 2012
dc.date.issued.spa.fl_str_mv 2012
dc.date.accessioned.spa.fl_str_mv 2019-06-28T10:02:05Z
dc.date.available.spa.fl_str_mv 2019-06-28T10:02:05Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/41448
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/31545/
url https://repositorio.unal.edu.co/handle/unal/41448
http://bdigital.unal.edu.co/31545/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/dyna/article/view/30732
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Dyna
Dyna
dc.relation.ispartofseries.none.fl_str_mv Dyna; Vol. 79, núm. 173 (2012); 15-24 DYNA; Vol. 79, núm. 173 (2012); 15-24 2346-2183 0012-7353
dc.relation.references.spa.fl_str_mv Goncalves, Marlene and Rodríguez, Rosseline and Tineo, Leonid (2012) Formal method to implement fuzzy requirements. Dyna; Vol. 79, núm. 173 (2012); 15-24 DYNA; Vol. 79, núm. 173 (2012); 15-24 2346-2183 0012-7353 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacional de Colombia Sede Medellín
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/41448/1/30732-111296-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/41448/2/30732-156770-1-PB.html
https://repositorio.unal.edu.co/bitstream/unal/41448/3/30732-111296-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv 65e50af4a0e62d56c01d0f5a798e5f2f
d4d2825653e292b3780e0683b9a6afb6
0ab4eba7e01d103036ccca3b55708765
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089662252187648