Checking semantics in UML models: use cases diagrams

Autores
Gómez, Rodolfo; Fillottrani, Pablo Rubén
Año de publicación
2002
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Constraints add to the semantics to UML models in the form of statements which are expected to hold for the model to be considered correct, i.e., to satisfy system requirements. Constraints are considered in the UML metamodel as adornments attached to model elements, and languages like OCL allow for different statements to be expressed. Despite several CASE-like tools are currently supporting UML diagram and constraint definition, as far as we know none of them provides support for verification and maintainance of constraint consistency. Having this kind of facility helps users in the design of UML models, specially when these models are complex and the impact of model evolution is difficult to trace. This work studies how constraint consistency may be compromised when model elements are introduced or modified during system development. Focus is over use case diagrams, which suffice to highlight a number of important issues related with consistency maintenance. We introduce procedures for verifying and maintaining constraint consistency, and illustrate them using a simple constraint specification language. Our goal is to make a first step in the development of tools for automatic verification and mantainance of model semantics.
Eje: Ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Object-Oriented Modeling
Constraints
Semantic Checking
UML
Semantics
SOFTWARE ENGINEERING
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/23106

id SEDICI_572abcc1c899e5962ace7f12a42008f6
oai_identifier_str oai:sedici.unlp.edu.ar:10915/23106
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Checking semantics in UML models: use cases diagramsGómez, RodolfoFillottrani, Pablo RubénCiencias InformáticasObject-Oriented ModelingConstraintsSemantic CheckingUMLSemanticsSOFTWARE ENGINEERINGConstraints add to the semantics to UML models in the form of statements which are expected to hold for the model to be considered correct, i.e., to satisfy system requirements. Constraints are considered in the UML metamodel as adornments attached to model elements, and languages like OCL allow for different statements to be expressed. Despite several CASE-like tools are currently supporting UML diagram and constraint definition, as far as we know none of them provides support for verification and maintainance of constraint consistency. Having this kind of facility helps users in the design of UML models, specially when these models are complex and the impact of model evolution is difficult to trace. This work studies how constraint consistency may be compromised when model elements are introduced or modified during system development. Focus is over use case diagrams, which suffice to highlight a number of important issues related with consistency maintenance. We introduce procedures for verifying and maintaining constraint consistency, and illustrate them using a simple constraint specification language. Our goal is to make a first step in the development of tools for automatic verification and mantainance of model semantics.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI)2002-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf518-529http://sedici.unlp.edu.ar/handle/10915/23106enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:55:20Zoai:sedici.unlp.edu.ar:10915/23106Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:55:20.983SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Checking semantics in UML models: use cases diagrams
title Checking semantics in UML models: use cases diagrams
spellingShingle Checking semantics in UML models: use cases diagrams
Gómez, Rodolfo
Ciencias Informáticas
Object-Oriented Modeling
Constraints
Semantic Checking
UML
Semantics
SOFTWARE ENGINEERING
title_short Checking semantics in UML models: use cases diagrams
title_full Checking semantics in UML models: use cases diagrams
title_fullStr Checking semantics in UML models: use cases diagrams
title_full_unstemmed Checking semantics in UML models: use cases diagrams
title_sort Checking semantics in UML models: use cases diagrams
dc.creator.none.fl_str_mv Gómez, Rodolfo
Fillottrani, Pablo Rubén
author Gómez, Rodolfo
author_facet Gómez, Rodolfo
Fillottrani, Pablo Rubén
author_role author
author2 Fillottrani, Pablo Rubén
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Object-Oriented Modeling
Constraints
Semantic Checking
UML
Semantics
SOFTWARE ENGINEERING
topic Ciencias Informáticas
Object-Oriented Modeling
Constraints
Semantic Checking
UML
Semantics
SOFTWARE ENGINEERING
dc.description.none.fl_txt_mv Constraints add to the semantics to UML models in the form of statements which are expected to hold for the model to be considered correct, i.e., to satisfy system requirements. Constraints are considered in the UML metamodel as adornments attached to model elements, and languages like OCL allow for different statements to be expressed. Despite several CASE-like tools are currently supporting UML diagram and constraint definition, as far as we know none of them provides support for verification and maintainance of constraint consistency. Having this kind of facility helps users in the design of UML models, specially when these models are complex and the impact of model evolution is difficult to trace. This work studies how constraint consistency may be compromised when model elements are introduced or modified during system development. Focus is over use case diagrams, which suffice to highlight a number of important issues related with consistency maintenance. We introduce procedures for verifying and maintaining constraint consistency, and illustrate them using a simple constraint specification language. Our goal is to make a first step in the development of tools for automatic verification and mantainance of model semantics.
Eje: Ingeniería de software
Red de Universidades con Carreras en Informática (RedUNCI)
description Constraints add to the semantics to UML models in the form of statements which are expected to hold for the model to be considered correct, i.e., to satisfy system requirements. Constraints are considered in the UML metamodel as adornments attached to model elements, and languages like OCL allow for different statements to be expressed. Despite several CASE-like tools are currently supporting UML diagram and constraint definition, as far as we know none of them provides support for verification and maintainance of constraint consistency. Having this kind of facility helps users in the design of UML models, specially when these models are complex and the impact of model evolution is difficult to trace. This work studies how constraint consistency may be compromised when model elements are introduced or modified during system development. Focus is over use case diagrams, which suffice to highlight a number of important issues related with consistency maintenance. We introduce procedures for verifying and maintaining constraint consistency, and illustrate them using a simple constraint specification language. Our goal is to make a first step in the development of tools for automatic verification and mantainance of model semantics.
publishDate 2002
dc.date.none.fl_str_mv 2002-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/23106
url http://sedici.unlp.edu.ar/handle/10915/23106
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
518-529
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844615812234608640
score 13.070432