Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/149260
Title: | A Framework for verifying UML behavioral models |
Author: | Planas, Elena |
Others: | Universitat Oberta de Catalunya (UOC). Estudis d'Informàtica, Multimèdia i Telecomunicació |
Citation: | Planas, E. (2009). A framework for verifying UML behavioral models. CAiSE Doctoral Consortium. |
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. |
Document type: | info:eu-repo/semantics/conferenceObject |
Issue Date: | 10-Jun-2009 |
Appears in Collections: | Articles cientÍfics Articles |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
A_Framework_for_verifying_UML_behavioral_models.pdf | 334,45 kB | Adobe PDF | View/Open |
Share:
Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.