Registro:
| Documento: | Tesis de Grado |
| Título: | Un verificador de escenarios arquitectónicos en tiempo de ejecución usando redes de petri coloreadas = A verifier of runtime architectural scenarios using colored petri nets |
| Autor: | Gómez, Germán Aníbal; Oks, Marcelo |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2012 |
| Fecha en portada: | 30 Mayo 2012 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | Braberman, Víctor Adrián |
| Director Asistente: | Uchitel, Sebastián |
| Jurado: | D'Ippolito, Nicolás Roque; Moscato, Mariano Miguel |
| Idioma: | Inglés |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000736_GomezOks |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000736_GomezOks.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000736_GomezOks |
| Ubicación: | Dep.COM 000736 |
| Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Gómez, Germán Aníbal; Oks, Marcelo. (2012). Un verificador de escenarios arquitectónicos en tiempo de ejecución usando redes de petri coloreadas = A verifier of runtime architectural scenarios using colored petri nets. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000736_GomezOks |
Resumen:
Esta tesis se basa en el proyecto DiscoTect desarrollado por David Garlan y su grupo de investigadores de la de la Universidad de Carnegie Mellon cuyo objetivo es descubrir la vista C&C (de componentes y conectores) de la arquitectura actual de un sistema en ejecución. Para ello definen reglas de mapeo en el lenguaje DiscoStep que convierten eventos de ejecución en eventos de arquitectura con los cuales se va construyendo la arquitectura del sistema. Dada una vista C&C de la arquitectura de un sistema en ejecución, pueden plantearse diferentes escenarios en términos de los constructos de esta vista respecto de la configuración actual de la arquitectura. Un escenario podría especificar las cantidades de componentes y conectores, el número y tipo de conexiones entre componentes, la ejecución de una componente particular, etc. En nuestra tesis desarrollamos una técnica que permite saber si un determinado escenario arquitectónico en términos de componentes y conectores, se cumple en base a las reglas de mapeo definidas en DiscoStep para una arquitectura. Y en caso afirmativo, encontramos la traza mínima de eventos de ejecución que deben ocurrir en el sistema en ejecución para que así sea.
Abstract:
This thesis is based on the DiscoTect project developed by David Garlan and his group of researchers from Carnegie Mellon University whose aim was to discover the C&C (components and connectors) view of the current architecture of a running system. To do that they define mapping rules in the DiscoStep language that transform runtime events into architecture events which are used to build the system architecture Given a C&C architectural view of the architecture of a running system, we could state different scenarios in terms of the constructs of this view respect to the current configuration of the architecture. A scenario may specify the amount of components and connectors, the number and type of connections between components, the execution of a component, etc. In our thesis we developed a technique to know if a given architecture scenario, in terms of components and connectors, is fulfilled based on the DiscoStep mapping rules of an architecture. And if this is the case, we find the minimum trace of runtime events that should happen in the running system to do so.
Citación:
---------- APA ----------
Gómez, Germán Aníbal; Oks, Marcelo. (2012). Un verificador de escenarios arquitectónicos en tiempo de ejecución usando redes de petri coloreadas = A verifier of runtime architectural scenarios using colored petri nets. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000736_GomezOks
---------- CHICAGO ----------
Gómez, Germán Aníbal; Oks, Marcelo. "Un verificador de escenarios arquitectónicos en tiempo de ejecución usando redes de petri coloreadas = A verifier of runtime architectural scenarios using colored petri nets". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2012.https://hdl.handle.net/20.500.12110/seminario_nCOM000736_GomezOks
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000736_GomezOks.pdf
Distrubución geográfica
