Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/1311
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Cabot, Jordi | - |
dc.contributor.author | Gómez Seoane, Cristina | - |
dc.contributor.other | Universitat Oberta de Catalunya | - |
dc.date.accessioned | 2010-02-16T11:56:34Z | - |
dc.date.available | 2010-02-16T11:56:34Z | - |
dc.date.issued | 2007 | - |
dc.identifier.citation | CABOT, J.; GÓMEZ, C. (2007). "Deriving Operation Contracts from UML Class Diagrams". Lecture Notes in Computer Science. 4735, pp. 196-210. | - |
dc.identifier.issn | 0302-9743MIAR | - |
dc.identifier.issn | 1611-3349MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/1311 | - |
dc.description.abstract | Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve 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). Manual specification of these operations is an error-prone and time-consuming activity. Therefore, the goal of this paper is to automatically provide a basic set of system operations that verify these two properties. Operations are drawn from the elements (classes, attributes, etc) of the class diagram and take into account the possible dependencies between the different change events (i.e. inserts/updates/deletes) that may be applied to them. Afterwards, the designer could reuse our proposal to build up more complex operations. | en |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.relation.ispartofseries | Lecture Notes in Computer Science | - |
dc.rights | The original publication is available at http://www.springerlink.com/content/t649604v47288271 | - |
dc.subject.lcsh | UML (Computer science) | en |
dc.title | Deriving Operation Contracts from UML Class Diagrams | - |
dc.type | info:eu-repo/semantics/article | - |
dc.audience.mediator | Theme areas::Computer Science, Technology and Multimedia | en |
dc.subject.lemac | UML (Informàtica) | ca |
dc.subject.lcshes | UML (Informática) | es |
dc.identifier.doi | 10.1007/978-3-540-75209-7_14 | - |
dc.gir.id | AR/0000001254 | - |
Aparece en las colecciones: | Articles cientÍfics Articles |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Cabot_LNCS07_Deriving.pdf | 192,26 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Los ítems del Repositorio están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.