Verifying action semantics specifications in UML behavioral models
Visualitza/Obre
Planas.pdf (507,1Kb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
Cita com:
hdl:2117/6926
Tipus de documentText en actes de congrés
Data publicació2009
EditorSpringer Verlag
Condicions d'accésAccés restringit per política de l'editorial
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. A: International Conference on Advanced Information Systems Engineering. "21st International Conference on Advanced Information Systems Engineering". Amsterdam: Springer Verlag, 2009, p. 125-140.
ISBN978-3-642-02143-5
Versió de l'editorhttp://www.springerlink.com/content/47501277p0466w27/
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Planas.pdf | 507,1Kb | Accés restringit |