Checking semantics in UML models: use cases diagrams

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Gómez, Rodolfo, Fillottrani, Pablo Rubén
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2002
Materias:
Ciencias Informáticas
Object-Oriented Modeling
Constraints
Semantic Checking
UML
Semantics
SOFTWARE ENGINEERING
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23106
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23106
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Object-Oriented Modeling
Constraints
Semantic Checking
UML
Semantics
SOFTWARE ENGINEERING
spellingShingle Ciencias Informáticas
Object-Oriented Modeling
Constraints
Semantic Checking
UML
Semantics
SOFTWARE ENGINEERING
Gómez, Rodolfo
Fillottrani, Pablo Rubén
Checking semantics in UML models: use cases diagrams
topic_facet Ciencias Informáticas
Object-Oriented Modeling
Constraints
Semantic Checking
UML
Semantics
SOFTWARE ENGINEERING
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.
format Objeto de conferencia
Objeto de conferencia
author Gómez, Rodolfo
Fillottrani, Pablo Rubén
author_facet Gómez, Rodolfo
Fillottrani, Pablo Rubén
author_sort Gómez, Rodolfo
title Checking semantics in UML models: use cases diagrams
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
publishDate 2002
url http://sedici.unlp.edu.ar/handle/10915/23106
work_keys_str_mv AT gomezrodolfo checkingsemanticsinumlmodelsusecasesdiagrams
AT fillottranipabloruben checkingsemanticsinumlmodelsusecasesdiagrams
bdutipo_str Repositorios
_version_ 1764820468153450497

Ejemplares similares