Registro:
| Documento: | Tesis de Grado |
| Título: | Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos |
| Título alternativo: | Implementation and study of an algorithm for general multiparty compatibility check between guarded communicating finite state machines |
| Autor: | Iglesias, Axel Javier |
| Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
| Publicación en la web: | 2025-06-12 |
| Fecha de defensa: | 2016 |
| Fecha en portada: | 2016 |
| Grado Obtenido: | Grado |
| Título Obtenido: | Licenciado en Ciencias de la Computación |
| Departamento Docente: | Departamento de Computación |
| Director: | López Pombo, Carlos Gustavo |
| Director Asistente: | Vissani, Ignacio |
| Jurado: | Galeotti, Juan Pablo; Roldán, Christian Hugo |
| Idioma: | Español |
| Palabras clave: | SOFTWARE ORIENTADO A SERVICIOS; COMUNICACION ASINCRONICA; COMMUNICATING FINITE STATE MACHINES; DISCOVERY; CONTRATOSSERVICE ORIENTED SOFTWARE; ASYNCHRONOUS COMMUNICATION; CONTRACTS |
| Formato: | PDF |
| Handle: |
http://hdl.handle.net/20.500.12110/seminario_nCOM000651_Iglesias |
| PDF: | https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000651_Iglesias.pdf |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/seminario/document/seminario_nCOM000651_Iglesias |
| Ubicación: | Dep.COM 000651 |
| 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. Iglesias, Axel Javier. (2016). Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de http://hdl.handle.net/20.500.12110/seminario_nCOM000651_Iglesias |
Resumen:
En el paradigma de Service Oriented Computing la estructura de los sistemas es intrínsecamente dinámica. Las piezas de software ejecutan sobre infraestructuras de hardware globalmente distribuidas y utilizan servicios externos para alcanzar sus objetivos de negocio. La búsqueda (discovery) y la conexión (binding) con estos servicios externos debe llevarse a cabo en tiempo de ejecución. Esta tarea es llevada a cabo por un middleware dedicado. Uno de los aspectos para poder determinar si un servicio es capaz de satisfacer los requerimientos del consumidor es el de interoperabilidad. En este plano las CFSMs y las coreografías aparecen como formalismos adecuados para especificar los aspectos inter operacionales esperados/provistos por un servicio sobre un canal particular. Si bien las CFSMs proveen un mecanismo adecuado para realizar el chequeo de interoperabilidad, hay otros aspectos funcionales que no son capturados en este formalismo. Para superar esta limitación estamos trabajando en una extensión a las CFSMs que contemple a los datos intercambiados y que permita expresar condiciones sobre los mismos. Estas condiciones deben ahora tenerse en cuenta a la hora de determinar si un conjunto de participantes son compatibles. Para ello está en desarrollo un algoritmo capaz de llevar a cabo este chequeo. Un paso crucial del chequeo es la construcción del sistema sincronico. Un LTS que representa el comportamiento ideal esperado de la ejecución paralela de los distintos participantes de una comunicación. El algoritmo de síntesis del sistema sincrónico depende del criterio de equivalencia entre estados dado. En este trabajo damos un criterio de equivalencia que, bajo ciertas condiciones, es correcto y hace que que el algoritmo de síntesis converja. Asimismo diseñamos e implementamos dicho algoritmo con el objetivo de sentar las bases para continuar el desarrollo e investigación futura. Finalmente se analizaron casos de estudio y rendimiento de la implementación con resultados satisfactorios.
Abstract:
In the Service Oriented Computing paradigm systems have an intrinsically dynamic structure. Software runs over globally distributed hardware and uses external services to achieve business goals. Service discovery and binding have to be done at runtime. This task is performed by a dedicated middleware. Interoperability is one aspect needed to be able to determine if a service consumer’s requirements can be satisfied. CFSMs and choreographies are appropriate formalisms to specify service channel’s expected interoperable behaviour. However, other functional behaviours are not captured by these tools. To overcome this limitation, we propose a CFSM extension that takes into account exchanged data and conditions over this data. A new algorithm that considers this new formalism to check the interoperability is under development. One key step in this algorithm is the synthesis of the synchronous transition system that models the ideal synchronous behaviour of the communicating partners. This algorithm depends upon a criterion to establish the equivalence between states. In this work we give an equivalence criterion that, under certain restrictions, is correct and makes the algorithm convergent. We also design and implement that algorithm with the goal of setting a base for further research and development. Finally, we create study cases to analyze the behaviour and performance with satisfactory results.
Citación:
---------- APA ----------
Iglesias, Axel Javier. (2016). Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000651_Iglesias
---------- CHICAGO ----------
Iglesias, Axel Javier. "Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2016.https://hdl.handle.net/20.500.12110/seminario_nCOM000651_Iglesias
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000651_Iglesias.pdf
Distrubución geográfica
