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/6932

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

Arxiu Descripció MidaFormat
Albert.pdf2,08 MBAdobe PDF Accés restringit

Citació: Albert, M. [et al.]. Automatic generation of basic behavior schemas from UML class diagrams. "Software and systems modeling", 01 Gener 2010, vol. 9, núm. 1, p. 47-67.
Títol: Automatic generation of basic behavior schemas from UML class diagrams
Autor: Albert, Manoli; Cabot Sagrera, Jordi Veure Producció científica UPC; Gómez Seoane, Cristina Veure Producció científica UPC; Pelechano, Vicente
Data: 1-gen-2010
Tipus de document: Article
Resum: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema consisting of a set of system operations that the user may execute to update the system state. To be useful, such a set must be complete (i.e. through these operations, users should be able to modify the population of all elements in the class diagram) and executable (i.e. for each operation, there must exist a system state over which the operation can be successfully applied). A manual specification of these operations is an error-prone and time-consuming activity. Therefore, the aim of this paper is to present a strategy for the automatic generation of a basic behavior schema. Operations in the schema are drawn from the static aspects of the domain as defined in the UML class diagram and take into account possible dependencies among them to ensure the completeness and executability of the operations.We believe our approach is especially useful in a Model-Driven Development setting, where the full implementation of the system is derived from its specification. In this context, our approach facilitates the definition of the behavioral specification and ensures its quality obtaining, as a result, an improved code generation phase.
ISSN: 1619-1366
URI: http://hdl.handle.net/2117/6932
DOI: 10.1007/s10270-008-0108-x
Apareix a les col·leccions:MPI - Modelització i processament d´informació. Articles de revista
Departament d'Enginyeria de Serveis i Sistemes d'Informació. Articles de revista
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