Por favor, use este identificador para citar o enlazar este ítem:
https://hdl.handle.net/20.500.12008/3454
Cómo citar
Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.contributor.author | Calegari García, Daniel | es |
dc.contributor.author | Szasz, Nora | es |
dc.date.accessioned | 2014-12-02T16:06:17Z | - |
dc.date.available | 2014-12-02T16:06:17Z | - |
dc.date.issued | 2011 | es |
dc.date.submitted | 20141202 | es |
dc.identifier.citation | CALEGARI GARCÍA, D., SZASZ, N. "An institution for UML 2.0 state machines". Reportes Técnicos 11-02. UR. FI – INCO, 2011. | es |
dc.identifier.issn | 0797-6410 | es |
dc.identifier.uri | http://hdl.handle.net/20.500.12008/3454 | - |
dc.description.abstract | The theory of institutions provides an elegant and robust framework for programming in the large and in particular for compositionality. It can be used to define an heterogeneous environment for the semantic definition of UML, consisting of a family of formalisms which capture various UML sublanguages, and morphisms that represent the expected semantic relationships between them. In this article we present an institution for UML 2.0 State Machines devised for collaborating with the definition of such environment. The semantics behind the institution is based on a previous work which deals with processing simple input events within a transition step. We also extend this semantics for handling sequences of events, and then for considering runs through the state machine | es |
dc.description.abstract | La teoría de instituciones provee un marco robusto y elegante para la programación de alto nivel y en particular para la composicionalidad. Puede ser utilizado para definir un ambiente heterogéneo para la especificación semántica de UML, el cual consiste de una familia de formalismos que capturan varios sublenguajes UML, y morfismos que representan las relaciones semánticas esperadas entre ellos. En este artículo se presenta una institución para el lenguaje de Máquinas de Estado de UML 2.0, ideada para colaborar con la definición del ambiente heterogéneo. La semántica detrás de la institución está basada en trabajos previos. Dicha semántica considera el procesamiento de un evento de entrada en el contexto de una transición de un paso. Adicionalmente extendemos la semántica para manejar secuencias de eventos, y además para considerar corridas a través de la máquina de estado. | es |
dc.format.extent | 45 p. | es |
dc.format.mimetype | application/pdf | es |
dc.language | in | es |
dc.publisher | UR. FI – INCO. | es |
dc.relation.ispartof | Reportes Técnicos 11-02 | 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 | UML 2.0 | es |
dc.subject | Máquinas de Estado | es |
dc.subject | Instituciones | es |
dc.title | An institution for UML 2.0 state machines | 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 | ||
---|---|---|---|---|---|
TR1102.pdf | 493,71 kB | Adobe PDF | Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons