Relaciones entre casos de uso en el lenguaje de modelado unificado

El Unified Modeling Language (UML) es un lenguaje gráfico, semiformal, que ha sido aceptado como estándar para describir sistemas de software orientados a objetos. UML define varios tipos de diagramas que se utilizan para describir diferentes aspectos o vistas de un sistema. En particular, los diagr...

Full description

Autores:
Giandini, Roxana S.
Pons, Claudia F.
Tipo de recurso:
Trabajo de grado de pregrado
Fecha de publicación:
2000
Institución:
Universidad Autónoma de Bucaramanga - UNAB
Repositorio:
Repositorio UNAB
Idioma:
spa
OAI Identifier:
oai:repository.unab.edu.co:20.500.12749/9085
Acceso en línea:
http://hdl.handle.net/20.500.12749/9085
Palabra clave:
Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Software engineering
Analysis
Object oriented design
Graphical modeling languages
Use cases
Formal semantics
Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y la comunicación
Ingeniería de software
Análisis
Diseño orientado a objetos
Desarrollo tecnológico
Diseño orientado a objetos
Lenguajes gráficos de modelado
Casos de uso
Semántica formal
Rights
License
Derechos de autor 2000 Revista Colombiana de Computación
id UNAB2_b559507e1a4ca76e140fa0e0ee20152a
oai_identifier_str oai:repository.unab.edu.co:20.500.12749/9085
network_acronym_str UNAB2
network_name_str Repositorio UNAB
repository_id_str
dc.title.spa.fl_str_mv Relaciones entre casos de uso en el lenguaje de modelado unificado
dc.title.translated.eng.fl_str_mv Relaciones entre casos de uso en el unified modeling language
title Relaciones entre casos de uso en el lenguaje de modelado unificado
spellingShingle Relaciones entre casos de uso en el lenguaje de modelado unificado
Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Software engineering
Analysis
Object oriented design
Graphical modeling languages
Use cases
Formal semantics
Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y la comunicación
Ingeniería de software
Análisis
Diseño orientado a objetos
Desarrollo tecnológico
Diseño orientado a objetos
Lenguajes gráficos de modelado
Casos de uso
Semántica formal
title_short Relaciones entre casos de uso en el lenguaje de modelado unificado
title_full Relaciones entre casos de uso en el lenguaje de modelado unificado
title_fullStr Relaciones entre casos de uso en el lenguaje de modelado unificado
title_full_unstemmed Relaciones entre casos de uso en el lenguaje de modelado unificado
title_sort Relaciones entre casos de uso en el lenguaje de modelado unificado
dc.creator.fl_str_mv Giandini, Roxana S.
Pons, Claudia F.
dc.contributor.author.spa.fl_str_mv Giandini, Roxana S.
Pons, Claudia F.
dc.contributor.orcid.spa.fl_str_mv Giandini, Roxana S. [0000-0001-5703-2300]
Pons, Claudia F. [0000-0003-1149-0976]
dc.contributor.researchgate.spa.fl_str_mv Giandini, Roxana S. [Roxana-Giandini]
dc.subject.none.fl_str_mv Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
topic Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Software engineering
Analysis
Object oriented design
Graphical modeling languages
Use cases
Formal semantics
Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y la comunicación
Ingeniería de software
Análisis
Diseño orientado a objetos
Desarrollo tecnológico
Diseño orientado a objetos
Lenguajes gráficos de modelado
Casos de uso
Semántica formal
dc.subject.keywords.eng.fl_str_mv Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Software engineering
Analysis
Object oriented design
Graphical modeling languages
Use cases
Formal semantics
dc.subject.lemb.spa.fl_str_mv Innovaciones tecnológicas
Ciencias de la computación
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y la comunicación
Ingeniería de software
Análisis
dc.subject.proposal.spa.fl_str_mv Diseño orientado a objetos
Desarrollo tecnológico
Diseño orientado a objetos
Lenguajes gráficos de modelado
Casos de uso
Semántica formal
description El Unified Modeling Language (UML) es un lenguaje gráfico, semiformal, que ha sido aceptado como estándar para describir sistemas de software orientados a objetos. UML define varios tipos de diagramas que se utilizan para describir diferentes aspectos o vistas de un sistema. En particular, los diagramas de Casos de Uso se utilizan para capturar los requerimientos de los sistemas y guiar su proceso de desarrollo. Los distintosCasos de Uso que se definen a lo largo de un proceso de desarrollo no son independientes sino que es posible establecer relaciones entre ellos. Las principales relaciones consideradas por UML son: Generalización (Generalization), Inclusión (Include) yExtensión (Extend). Estas relaciones, tanto como el resto de las construcciones de UML, están definidas semi formalmente, dando lugar a interpretaciones ambiguas e inconsistencias. Este trabajo presenta una formalización de las principales relaciones entre Casos deUso aportando precisión en su definición. Además, con base en esta formalización se estudia la composición de estas relaciones en la etapa de evolución, mostrando en qué casos esta combinación es aplicable y cuándo se producen situaciones conflictivas
publishDate 2000
dc.date.issued.none.fl_str_mv 2000-12-01
dc.date.accessioned.none.fl_str_mv 2020-10-27T00:21:42Z
dc.date.available.none.fl_str_mv 2020-10-27T00:21:42Z
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.none.fl_str_mv info:eu-repo/semantics/article
dc.type.local.spa.fl_str_mv Artículo
dc.type.coar.none.fl_str_mv http://purl.org/coar/resource_type/c_7a1f
dc.type.redcol.none.fl_str_mv http://purl.org/redcol/resource_type/CJournalArticle
format http://purl.org/coar/resource_type/c_7a1f
dc.identifier.issn.none.fl_str_mv 2539-2115
1657-2831
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/20.500.12749/9085
dc.identifier.instname.spa.fl_str_mv instname:Universidad Autónoma de Bucaramanga UNAB
dc.identifier.repourl.none.fl_str_mv repourl:https://repository.unab.edu.co
identifier_str_mv 2539-2115
1657-2831
instname:Universidad Autónoma de Bucaramanga UNAB
repourl:https://repository.unab.edu.co
url http://hdl.handle.net/20.500.12749/9085
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv https://revistas.unab.edu.co/index.php/rcc/article/view/1129/1099
dc.relation.uri.none.fl_str_mv https://revistas.unab.edu.co/index.php/rcc/article/view/1129
dc.relation.references.none.fl_str_mv J. Araújo. Formalizing Sequence Diagrams. In: L. Andrade, A. Moreira, A. Deshpande y StuartKent (ed), Proc. OOPSLA ́98 Wsh., Formalizing UML. Why? How? Vancouver, 1998.
R. Back, L. Petre and I. Porres Paltor. Analysing UML Use Cases as Contract. In: Proceedingsof the UML’99 Second International Conference. Fort Collins, CO, USA, October 28-30/99.Lecture Notes in Computer Science, Springer-Verlag, 1999.
R. Breu et al. Towards a formalization of the unified modeling language. In: ProceedingsECOOP’97., Lecture Notes in Computer Science vol.1241, Springer, 1997.
A. Evans, et al. Towards a core metamodelling semantics of UML. Behavioral specifications of businesses and systems, H,Kilov editor, Kluwer Academic Publishers, 1999.
A. Evans, et al. Developing the UML as a formal modeling notation, In: Proceedings of the UML’98 Beyond the notation, Muller and Bezivin editors, Lecture Notes in Computer Science vol.1618, Springer-Verlag, 1998.
R. Giandini. Documentación y evolución de componentes reusables: Contratos de reuso con semántica de comportamiento. Tesis del Magister en Ingeniería de Software, Universidad Nacional de La Plata, Argentina, http://www-lifia.info.unlp.edu.ar/~giandini.Setiembre 1999.
I. Jacobson. Object-Oriented Development in an Industrial Environment. En: Proceedings OOPSLA’ 87, special issue of SIGPLAN Notices. Vol 22, N°12, pp.183-191, 1987.
I. Jacobson et al. Object-Oriented Software Engineering: A Use Case Driven Approach. AddisonWesley, 1993.
I. Jacobson; I. Booch and G. Rumbaugh J.. The Unified Software Development Process, Addison Wesley. ISBN 0-201-57169-2, 1999
S. Kim; D. Carrington, Formalizing the UML Class Diagrams using Object-Z, In: proceedings UML´99 Conference, Lecture Notes in Computer Sciencie 1723, 1999.
A. Knapp. A formal semantics for UML interactions, In: Proceedings of the UML´99 conference <<UML>>´99 - The Unified Modeling Language. Beyond the Standard. R.France and B.Rumpe editors, , Colorado, USA,. Lecture Notes in Computer Science 1723, Springer. (1999).
OBJECT CONSTRAINT Language. version 1.3, July 1999. Part of Unified Modeling Language (UML) Specification. OMG, http://www.rational.com, 1999
G.Övergaard; K. Palmkvist. A Formal Approach to Use Cases and Their Relationships. In: P. Muller and J. Bézivin editors, Proceedings of the UML’98: Beyond the Notation, Lecture Notes in Computer Cience 1618. Springer-Verlag, 1999.
G. Övergaard. A Formal Approach to Collaborations in the Unified Modeling Language. In: Proceedings of the UML’99 Second International Conference. Fort Collins, CO, USA, October 28-30/99.Lecture Notes in Computer Science, Springer-Verlag, 1999
C. Pons, G. Baum and M. Felder. Foundations of Object-oriented modeling notations in a dynamic logic framework. Fundamentals of Information Systems, Chapter 1. T.Polle, T.Ripke and K.Schewe Editors, Kluwer Academic Publisher, 1999.
dc.rights.none.fl_str_mv Derechos de autor 2000 Revista Colombiana de Computación
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.uri.*.fl_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.uri.none.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/2.5/co/
dc.rights.creativecommons.*.fl_str_mv Attribution-NonCommercial-ShareAlike 4.0 International
rights_invalid_str_mv Derechos de autor 2000 Revista Colombiana de Computación
http://creativecommons.org/licenses/by-nc-sa/4.0/
http://creativecommons.org/licenses/by-nc-nd/2.5/co/
Attribution-NonCommercial-ShareAlike 4.0 International
http://purl.org/coar/access_right/c_abf2
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Autónoma de Bucaramanga UNAB
publisher.none.fl_str_mv Universidad Autónoma de Bucaramanga UNAB
dc.source.none.fl_str_mv Revista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 73-90
institution Universidad Autónoma de Bucaramanga - UNAB
bitstream.url.fl_str_mv https://repository.unab.edu.co/bitstream/20.500.12749/9085/1/2000_Articulo_Relaciones%20entre%20casos%20de%20uso%20en%20el%20lenguaje%20de%20modelado%20unificado.pdf
https://repository.unab.edu.co/bitstream/20.500.12749/9085/2/2000_Articulo_Relaciones%20entre%20casos%20de%20uso%20en%20el%20lenguaje%20de%20modelado%20unificado.pdf.jpg
bitstream.checksum.fl_str_mv 15fafdf7c1568fc16ed732044b07eaff
d5990726af777d461f41c0ced7d0e9a5
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional | Universidad Autónoma de Bucaramanga - UNAB
repository.mail.fl_str_mv repositorio@unab.edu.co
_version_ 1814278002623643648
spelling Giandini, Roxana S.bf7d1285-bd17-455c-8204-949f500f9ab3Pons, Claudia F.18f4b86a-52e1-4bd7-b034-d29bb672f6d8Giandini, Roxana S. [0000-0001-5703-2300]Pons, Claudia F. [0000-0003-1149-0976]Giandini, Roxana S. [Roxana-Giandini]2020-10-27T00:21:42Z2020-10-27T00:21:42Z2000-12-012539-21151657-2831http://hdl.handle.net/20.500.12749/9085instname:Universidad Autónoma de Bucaramanga UNABrepourl:https://repository.unab.edu.coEl Unified Modeling Language (UML) es un lenguaje gráfico, semiformal, que ha sido aceptado como estándar para describir sistemas de software orientados a objetos. UML define varios tipos de diagramas que se utilizan para describir diferentes aspectos o vistas de un sistema. En particular, los diagramas de Casos de Uso se utilizan para capturar los requerimientos de los sistemas y guiar su proceso de desarrollo. Los distintosCasos de Uso que se definen a lo largo de un proceso de desarrollo no son independientes sino que es posible establecer relaciones entre ellos. Las principales relaciones consideradas por UML son: Generalización (Generalization), Inclusión (Include) yExtensión (Extend). Estas relaciones, tanto como el resto de las construcciones de UML, están definidas semi formalmente, dando lugar a interpretaciones ambiguas e inconsistencias. Este trabajo presenta una formalización de las principales relaciones entre Casos deUso aportando precisión en su definición. Además, con base en esta formalización se estudia la composición de estas relaciones en la etapa de evolución, mostrando en qué casos esta combinación es aplicable y cuándo se producen situaciones conflictivasThe Unified Modeling Language (UML) is a graphical, semi-formal language that has been accepted as a standard for describing object-oriented software systems. UML defines several types of diagrams that are used to describe different aspects or views of a system. In particular, Use Case diagrams are used to capture system requirements and guide their development process. The different Use Cases that are defined throughout a development process are not independent, but it is possible to establish relationships between them. The main relations considered by UML are: Generalization (Generalization), Inclusion (Include) and Extension (Extend). These relationships, as well as the rest of the UML constructs, are semi-formally defined, giving rise to ambiguous interpretations and inconsistencies. This work presents a formalization of the main relationships between Use Cases, providing precision in their definition. In addition, based on this formalization, the composition of these relationships in the evolution stage is studied, showing in which cases this combination is applicable and when conflict situations occur.application/pdfspaUniversidad Autónoma de Bucaramanga UNABhttps://revistas.unab.edu.co/index.php/rcc/article/view/1129/1099https://revistas.unab.edu.co/index.php/rcc/article/view/1129J. Araújo. Formalizing Sequence Diagrams. In: L. Andrade, A. Moreira, A. Deshpande y StuartKent (ed), Proc. OOPSLA ́98 Wsh., Formalizing UML. Why? How? Vancouver, 1998.R. Back, L. Petre and I. Porres Paltor. Analysing UML Use Cases as Contract. In: Proceedingsof the UML’99 Second International Conference. Fort Collins, CO, USA, October 28-30/99.Lecture Notes in Computer Science, Springer-Verlag, 1999.R. Breu et al. Towards a formalization of the unified modeling language. In: ProceedingsECOOP’97., Lecture Notes in Computer Science vol.1241, Springer, 1997.A. Evans, et al. Towards a core metamodelling semantics of UML. Behavioral specifications of businesses and systems, H,Kilov editor, Kluwer Academic Publishers, 1999.A. Evans, et al. Developing the UML as a formal modeling notation, In: Proceedings of the UML’98 Beyond the notation, Muller and Bezivin editors, Lecture Notes in Computer Science vol.1618, Springer-Verlag, 1998.R. Giandini. Documentación y evolución de componentes reusables: Contratos de reuso con semántica de comportamiento. Tesis del Magister en Ingeniería de Software, Universidad Nacional de La Plata, Argentina, http://www-lifia.info.unlp.edu.ar/~giandini.Setiembre 1999.I. Jacobson. Object-Oriented Development in an Industrial Environment. En: Proceedings OOPSLA’ 87, special issue of SIGPLAN Notices. Vol 22, N°12, pp.183-191, 1987.I. Jacobson et al. Object-Oriented Software Engineering: A Use Case Driven Approach. AddisonWesley, 1993.I. Jacobson; I. Booch and G. Rumbaugh J.. The Unified Software Development Process, Addison Wesley. ISBN 0-201-57169-2, 1999S. Kim; D. Carrington, Formalizing the UML Class Diagrams using Object-Z, In: proceedings UML´99 Conference, Lecture Notes in Computer Sciencie 1723, 1999.A. Knapp. A formal semantics for UML interactions, In: Proceedings of the UML´99 conference <<UML>>´99 - The Unified Modeling Language. Beyond the Standard. R.France and B.Rumpe editors, , Colorado, USA,. Lecture Notes in Computer Science 1723, Springer. (1999).OBJECT CONSTRAINT Language. version 1.3, July 1999. Part of Unified Modeling Language (UML) Specification. OMG, http://www.rational.com, 1999G.Övergaard; K. Palmkvist. A Formal Approach to Use Cases and Their Relationships. In: P. Muller and J. Bézivin editors, Proceedings of the UML’98: Beyond the Notation, Lecture Notes in Computer Cience 1618. Springer-Verlag, 1999.G. Övergaard. A Formal Approach to Collaborations in the Unified Modeling Language. In: Proceedings of the UML’99 Second International Conference. Fort Collins, CO, USA, October 28-30/99.Lecture Notes in Computer Science, Springer-Verlag, 1999C. Pons, G. Baum and M. Felder. Foundations of Object-oriented modeling notations in a dynamic logic framework. Fundamentals of Information Systems, Chapter 1. T.Polle, T.Ripke and K.Schewe Editors, Kluwer Academic Publisher, 1999.Derechos de autor 2000 Revista Colombiana de Computaciónhttp://creativecommons.org/licenses/by-nc-sa/4.0/http://creativecommons.org/licenses/by-nc-nd/2.5/co/Attribution-NonCommercial-ShareAlike 4.0 Internationalhttp://purl.org/coar/access_right/c_abf2Revista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 73-90Innovaciones tecnológicasCiencia de los computadoresDesarrollo de tecnologíaIngeniería de sistemasInvestigacionesTecnologías de la información y las comunicacionesTIC´sTechnological innovationsComputer scienceTechnology developmentSystems engineeringInvestigationsInformation and communication technologiesICT'sSoftware engineeringAnalysisObject oriented designGraphical modeling languagesUse casesFormal semanticsInnovaciones tecnológicasCiencias de la computaciónIngeniería de sistemasInvestigacionesTecnologías de la información y la comunicaciónIngeniería de softwareAnálisisDiseño orientado a objetosDesarrollo tecnológicoDiseño orientado a objetosLenguajes gráficos de modeladoCasos de usoSemántica formalRelaciones entre casos de uso en el lenguaje de modelado unificadoRelaciones entre casos de uso en el unified modeling languageinfo:eu-repo/semantics/articleArtículohttp://purl.org/coar/resource_type/c_7a1fhttp://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/redcol/resource_type/CJournalArticleORIGINAL2000_Articulo_Relaciones entre casos de uso en el lenguaje de modelado unificado.pdf2000_Articulo_Relaciones entre casos de uso en el lenguaje de modelado unificado.pdfArtículoapplication/pdf116093https://repository.unab.edu.co/bitstream/20.500.12749/9085/1/2000_Articulo_Relaciones%20entre%20casos%20de%20uso%20en%20el%20lenguaje%20de%20modelado%20unificado.pdf15fafdf7c1568fc16ed732044b07eaffMD51open accessTHUMBNAIL2000_Articulo_Relaciones entre casos de uso en el lenguaje de modelado unificado.pdf.jpg2000_Articulo_Relaciones entre casos de uso en el lenguaje de modelado unificado.pdf.jpgIM Thumbnailimage/jpeg7955https://repository.unab.edu.co/bitstream/20.500.12749/9085/2/2000_Articulo_Relaciones%20entre%20casos%20de%20uso%20en%20el%20lenguaje%20de%20modelado%20unificado.pdf.jpgd5990726af777d461f41c0ced7d0e9a5MD52open access20.500.12749/9085oai:repository.unab.edu.co:20.500.12749/90852022-11-25 14:51:33.377open accessRepositorio Institucional | Universidad Autónoma de Bucaramanga - UNABrepositorio@unab.edu.co

Publicaciones similares