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...
- 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 |