Verifying action semantics specifications in UML behavioral models (Extended version)
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/87683
Tipus de documentReport de recerca
Data publicació2009-03
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) were added to the UML specification as the fundamental unit of behavior specification. Actions are the basis for defining the fine-grained behavior of operations, activity diagrams, interaction diagrams and state machines. Unfortunately, current proposals devoted to the verification of behavioral schemas tend to skip the analysis of the actions they may include. The main goal of this paper is to cover this gap by presenting several techniques aimed at verifying AS specifications. Our techniques are based on the static analysis of the dependencies between the different actions included in the behavioral schema. For incorrect specifications, our method returns a meaningful feedback that helps repairing the inconsistency.
CitacióPlanas, E., Cabot, J., Gómez, C. "Verifying action semantics specifications in UML behavioral models (Extended version)". 2009.
Forma partLSI-09-6-R
Col·leccions
- Departament d'Enginyeria de Serveis i Sistemes d'Informació - Reports de recerca [154]
- inSSIDE - integrated Software, Service, Information and Data Engineering - Reports de recerca [41]
- GESSI - Grup d'Enginyeria del Software i dels Serveis - Reports de recerca [32]
- Departament de Ciències de la Computació - Reports de recerca [1.107]
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R09-6.pdf | 375,1Kb | Visualitza/Obre |