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
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/23106
Ver los metadatos del registro completo
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 |