DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/6926

Ítem no disponible en accés obert per política de l'editorial

Arxiu Descripció MidaFormat
Planas.pdf507,18 kBAdobe PDF Accés restringit

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.
Títol: Verifying action semantics specifications in UML behavioral models
Autor: Planas Hortal, Elena; Cabot Sagrera, Jordi Veure Producció científica UPC; Gómez Seoane, Cristina Veure Producció científica UPC
Editorial: Springer Verlag
Data: 2009
Tipus de document: Conference report
Resum: 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.
ISBN: 978-3-642-02143-5
URI: http://hdl.handle.net/2117/6926
Versió de l'editor: http://www.springerlink.com/content/47501277p0466w27/
Apareix a les col·leccions:MPI - Modelització i processament d´informació. Ponències/Comunicacions de congressos
Departament d'Enginyeria de Serveis i Sistemes d'Informació. Ponències/Comunicacions de congressos
Altres. Enviament des de DRAC
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

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.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius