english Icono del idioma   español Icono del idioma  

  1. Colibri
  2. Facultad de Ingeniería
  3. Instituto de Computación
  4. Reportes Técnicos
Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12008/3500 How to cite
Full metadata record
DC FieldValueLanguage
dc.contributor.authorVignaga, Andréses
dc.date.accessioned2014-12-02T16:07:03Z-
dc.date.available2014-12-02T16:07:03Z-
dc.date.issued2003es
dc.date.submitted20141202es
dc.identifier.citationVIGNAGA, A. "An OCL - based semantics of system state modification primitives". Reportes Técnicos 03-18. UR. FI – INCO, 2003.es
dc.identifier.issn0797-6410es
dc.identifier.urihttp://hdl.handle.net/20.500.12008/3500-
dc.description.abstractAn 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.extent19 p.es
dc.format.mimetypeapplication/pdfes
dc.languageines
dc.publisherUR. FI – INCO.es
dc.relation.ispartofReportes Técnicos 03-18es
dc.rightsLas 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.subjectSEMANTICSes
dc.subjectSYSTEM STATE MODIFICATION PRIMITIVESes
dc.subjectOCLes
dc.subjectUMLes
dc.subjectUSE TOOLes
dc.titleAn OCL - based semantics of system state modification primitiveses
dc.typeReporte técnicoes
dc.rights.licenceLicencia Creative Commons Atribución – No Comercial – Sin Derivadas (CC BY-NC-ND 4.0)es
Appears in Collections:Reportes Técnicos - Instituto de Computación

Files in This Item:
File Description SizeFormat  
TR0318.pdf277,27 kBAdobe PDFView/Open
Show simple item record


This item is licensed under a Creative Commons License Creative Commons