Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3500
Cómo citar
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Vignaga, Andrés | es |
dc.date.accessioned | 2014-12-02T16:07:03Z | - |
dc.date.available | 2014-12-02T16:07:03Z | - |
dc.date.issued | 2003 | es |
dc.date.submitted | 20141202 | es |
dc.identifier.citation | VIGNAGA, A. "An OCL - based semantics of system state modification primitives". Reportes Técnicos 03-18. UR. FI – INCO, 2003. | es |
dc.identifier.issn | 0797-6410 | es |
dc.identifier.uri | http://hdl.handle.net/20.500.12008/3500 | - |
dc.description.abstract | An object oriented system can be manipulated at a conceptual level by system state manipulation primitives. The possible manipulations include either queries or modifications to the state of system. Modification primitives are used to describe the behavior of more complex state manipulations, such as system level operations. A well defined semantics for these primitives is critical for a precise specification of system operations. In this paper, we present the semantics for the most common system state modification primitives. Their semantics will be specified by pre and post-conditions expressed in OCL and using the UML metamodel as the model of systems for the OCL expressions. Every constraint was validated using the USE tool. | es |
dc.format.extent | 19 p. | es |
dc.format.mimetype | application/pdf | es |
dc.language | in | es |
dc.publisher | UR. FI – INCO. | es |
dc.relation.ispartof | Reportes Técnicos 03-18 | es |
dc.rights | Las obras depositadas en el Repositorio se rigen por la Ordenanza de los Derechos de la Propiedad Intelectual de la Universidad De La República. (Res. Nº 91 de C.D.C. de 8/III/1994 – D.O. 7/IV/1994) y por la Ordenanza del Repositorio Abierto de la Universidad de la República (Res. Nº 16 de C.D.C. de 07/10/2014) | es |
dc.subject | SEMANTICS | es |
dc.subject | SYSTEM STATE MODIFICATION PRIMITIVES | es |
dc.subject | OCL | es |
dc.subject | UML | es |
dc.subject | USE TOOL | es |
dc.title | An OCL - based semantics of system state modification primitives | es |
dc.type | Reporte técnico | es |
dc.rights.licence | Licencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0) | es |
Aparece en las colecciones: | Reportes Técnicos - Instituto de Computación |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | ||
---|---|---|---|---|---|
TR0318.pdf | 277,27 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons