Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden
La Ingeniería de Software utiliza modelos de procesos de desarrollo de software y un conjunto de técnicas y metodologías para definir, analizar y diseñar sistemas de información. Una de esas técnicas es el Lenguaje Unificado de Modelado (UML). UML se caracteriza por ser un lenguaje semiformal, gener...
- Autores:
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2019
- Institución:
- Universidad Católica de Pereira
- Repositorio:
- Repositorio Institucional - RIBUC
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.ucp.edu.co:10785/9921
- Acceso en línea:
- https://revistas.ucp.edu.co/index.php/entrecienciaeingenieria/article/view/758
http://hdl.handle.net/10785/9921
- Palabra clave:
- Rights
- openAccess
- License
- Derechos de autor 2019 Entre Ciencia e Ingeniería
| id |
RepoRIBUC2_4381758a1a8ee004bfda440483407e2c |
|---|---|
| oai_identifier_str |
oai:repositorio.ucp.edu.co:10785/9921 |
| network_acronym_str |
RepoRIBUC2 |
| network_name_str |
Repositorio Institucional - RIBUC |
| repository_id_str |
|
| spelling |
2022-06-01T19:08:51Z2022-06-01T19:08:51Z2019-08-03https://revistas.ucp.edu.co/index.php/entrecienciaeingenieria/article/view/758http://hdl.handle.net/10785/9921La Ingeniería de Software utiliza modelos de procesos de desarrollo de software y un conjunto de técnicas y metodologías para definir, analizar y diseñar sistemas de información. Una de esas técnicas es el Lenguaje Unificado de Modelado (UML). UML se caracteriza por ser un lenguaje semiformal, generando problemas de ambigüedad, claridad y consistencia. Algunos investigadores intentan formalizarlo mediante Lógica de predicados de primer orden, teoría de conjuntos, lenguajes controlados y/o restringidos y metamodelado; sin embargo, estos acercamientos no son suficientes debido a que se suelen enfocar en un solo diagrama y únicamente en la sintaxis, dejando de lado la semántica. En este artículo se presenta un conjunto de reglas que permiten la representación de las primitivas conceptuales de UML mediante lógica de predicados de primer orden, así como un caso de estudio, partiendo de una descripción de los requisitos de un sistema en el lenguaje controlado UN-Lencep.application/pdfspaUniversidad Católica de Pereirahttps://revistas.ucp.edu.co/index.php/entrecienciaeingenieria/article/view/758/749Derechos de autor 2019 Entre Ciencia e Ingenieríahttps://creativecommons.org/licenses/by-nc/4.0/deed.es_EShttps://creativecommons.org/licenses/by-nc/4.0/deed.es_ESinfo:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Entre ciencia e ingeniería; Vol 4 No 7 (2010); 47 - 61Entre Ciencia e Ingeniería; Vol. 4 Núm. 7 (2010); 47 - 61Entre ciencia e ingeniería; v. 4 n. 7 (2010); 47 - 612539-41691909-8367Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer ordenArtículo de revistahttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionZapata Jaramillo, Carlos MarioTamayo Osorio, Paula AndreaMeneses Piedrahita, NathaliaPublication10785/9921oai:repositorio.ucp.edu.co:10785/99212025-01-27 19:00:21.873https://creativecommons.org/licenses/by-nc/4.0/deed.es_ESDerechos de autor 2019 Entre Ciencia e Ingenieríametadata.onlyhttps://repositorio.ucp.edu.coRepositorio Institucional de la Universidad Católica de Pereira - RIBUCbdigital@metabiblioteca.com |
| dc.title.spa.fl_str_mv |
Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden |
| title |
Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden |
| spellingShingle |
Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden |
| title_short |
Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden |
| title_full |
Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden |
| title_fullStr |
Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden |
| title_full_unstemmed |
Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden |
| title_sort |
Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden |
| description |
La Ingeniería de Software utiliza modelos de procesos de desarrollo de software y un conjunto de técnicas y metodologías para definir, analizar y diseñar sistemas de información. Una de esas técnicas es el Lenguaje Unificado de Modelado (UML). UML se caracteriza por ser un lenguaje semiformal, generando problemas de ambigüedad, claridad y consistencia. Algunos investigadores intentan formalizarlo mediante Lógica de predicados de primer orden, teoría de conjuntos, lenguajes controlados y/o restringidos y metamodelado; sin embargo, estos acercamientos no son suficientes debido a que se suelen enfocar en un solo diagrama y únicamente en la sintaxis, dejando de lado la semántica. En este artículo se presenta un conjunto de reglas que permiten la representación de las primitivas conceptuales de UML mediante lógica de predicados de primer orden, así como un caso de estudio, partiendo de una descripción de los requisitos de un sistema en el lenguaje controlado UN-Lencep. |
| publishDate |
2019 |
| dc.date.issued.none.fl_str_mv |
2019-08-03 |
| dc.date.accessioned.none.fl_str_mv |
2022-06-01T19:08:51Z |
| dc.date.available.none.fl_str_mv |
2022-06-01T19:08:51Z |
| 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.coar.none.fl_str_mv |
http://purl.org/coar/resource_type/c_6501 |
| dc.type.coarversion.none.fl_str_mv |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.driver.none.fl_str_mv |
info:eu-repo/semantics/article |
| dc.type.version.none.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| format |
http://purl.org/coar/resource_type/c_6501 |
| status_str |
publishedVersion |
| dc.identifier.none.fl_str_mv |
https://revistas.ucp.edu.co/index.php/entrecienciaeingenieria/article/view/758 |
| dc.identifier.uri.none.fl_str_mv |
http://hdl.handle.net/10785/9921 |
| url |
https://revistas.ucp.edu.co/index.php/entrecienciaeingenieria/article/view/758 http://hdl.handle.net/10785/9921 |
| dc.language.none.fl_str_mv |
spa |
| language |
spa |
| dc.relation.none.fl_str_mv |
https://revistas.ucp.edu.co/index.php/entrecienciaeingenieria/article/view/758/749 |
| dc.rights.spa.fl_str_mv |
Derechos de autor 2019 Entre Ciencia e Ingeniería https://creativecommons.org/licenses/by-nc/4.0/deed.es_ES |
| dc.rights.uri.spa.fl_str_mv |
https://creativecommons.org/licenses/by-nc/4.0/deed.es_ES |
| dc.rights.accessrights.spa.fl_str_mv |
info:eu-repo/semantics/openAccess |
| dc.rights.coar.spa.fl_str_mv |
http://purl.org/coar/access_right/c_abf2 |
| rights_invalid_str_mv |
Derechos de autor 2019 Entre Ciencia e Ingeniería https://creativecommons.org/licenses/by-nc/4.0/deed.es_ES http://purl.org/coar/access_right/c_abf2 |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.publisher.spa.fl_str_mv |
Universidad Católica de Pereira |
| dc.source.eng.fl_str_mv |
Entre ciencia e ingeniería; Vol 4 No 7 (2010); 47 - 61 |
| dc.source.spa.fl_str_mv |
Entre Ciencia e Ingeniería; Vol. 4 Núm. 7 (2010); 47 - 61 |
| dc.source.por.fl_str_mv |
Entre ciencia e ingeniería; v. 4 n. 7 (2010); 47 - 61 |
| dc.source.none.fl_str_mv |
2539-4169 1909-8367 |
| institution |
Universidad Católica de Pereira |
| repository.name.fl_str_mv |
Repositorio Institucional de la Universidad Católica de Pereira - RIBUC |
| repository.mail.fl_str_mv |
bdigital@metabiblioteca.com |
| _version_ |
1834112743865581568 |