Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/149260
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Planas, Elena | - |
dc.contributor.other | Universitat Oberta de Catalunya (UOC). Estudis d'Informàtica, Multimèdia i Telecomunicació | - |
dc.date.accessioned | 2023-12-04T09:41:44Z | - |
dc.date.available | 2023-12-04T09:41:44Z | - |
dc.date.issued | 2009-06-10 | - |
dc.identifier.citation | Planas, E. (2009). A framework for verifying UML behavioral models. CAiSE Doctoral Consortium. | - |
dc.identifier.issn | 1613-0073MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/149260 | - |
dc.description.abstract | MDD and MDA approaches require capturing the behavior of UML models in sufficient detail and precision so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics were added to the UML specification as the fundamental unit of behavior specifications. Actions are the basis for defining the fine-grained behavior of operations, activity diagrams, interaction diagrams and state machines. Unfortunately, most of the current proposals devoted to the verification of behavioral models tend to skip the analysis of the actions they may include. The main goal of this PhD is to cover this gap by proposing a new verification framework aimed at verifying action-based behavioral specifications. In particular, we plan to describe several correctness properties of these specifications, develop a set of verification techniques based on the static analysis of the actions included in the actionbased behavioral specifications for verifying these properties and integrate our techniques with other existing verification approaches. | en |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | en |
dc.publisher | CEUR-WS.org | - |
dc.relation.ispartof | CEUR Workshop Proceedings, 2009, 479 | - |
dc.relation.uri | https://ceur-ws.org/Vol-479/paper11.pdf | - |
dc.rights | CC BY | - |
dc.title | A Framework for verifying UML behavioral models | en |
dc.type | info:eu-repo/semantics/conferenceObject | - |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | - |
dc.gir.id | AR/0000004915 | - |
Aparece en las colecciones: | Articles cientÍfics Articles |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
A_Framework_for_verifying_UML_behavioral_models.pdf | 334,45 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Los ítems del Repositorio están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.