Autómatas para la vinculación parcial de servicios

Mostrar todas las versiones(3)

Los sistemas distribuidos resultantes de paradigmas emergentes como service-oriented computing(SOC) y Cloud/Fog computing están transformando al mundo del software, impulsando lo que se denomina economía de API. La idea subyacente de economía de API es la posibilidad de construir software componiend...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Davidovich Caballero, Ezequiel
Otros Autores: López Pombo, Carlos Gustavo
Formato: Tesis de grado publishedVersion
Lenguaje:Español
Publicado: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2020
Materias:
AUTOMATAS
CFSM
SOC
GMC
FORMALISMOS
AUTOMATA
FORMALISMS
Acceso en línea:https://hdl.handle.net/20.500.12110/seminario_nCOM000448_DavidovichCaballero
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id seminario:seminario_nCOM000448_DavidovichCaballero
record_format dspace
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
language Español
orig_language_str_mv spa
topic AUTOMATAS
CFSM
SOC
GMC
FORMALISMOS
AUTOMATA
CFSM
SOC
GMC
FORMALISMS
spellingShingle AUTOMATAS
CFSM
SOC
GMC
FORMALISMOS
AUTOMATA
CFSM
SOC
GMC
FORMALISMS
Davidovich Caballero, Ezequiel
Autómatas para la vinculación parcial de servicios
topic_facet AUTOMATAS
CFSM
SOC
GMC
FORMALISMOS
AUTOMATA
CFSM
SOC
GMC
FORMALISMS
description Los sistemas distribuidos resultantes de paradigmas emergentes como service-oriented computing(SOC) y Cloud/Fog computing están transformando al mundo del software, impulsando lo que se denomina economía de API. La idea subyacente de economía de API es la posibilidad de construir software componiendo servicios externos y registrados previamente en repositorios. Aplicaciones que corren sobre recursos disponibles a nivel global con una infraestructura de comunicación que se reconfiguran en forma dinámica y transparente, a través de un middleware dedicado capaz de descubrir y conectarlas a servicios que puedan cumplir determinados requisitos. En general los aspectos principales del comportamiento de una API son documentados informalmente limitando la posibilidad de lograr la utopía de SOC: la negociación de servicios en forma automática. Un elemento clave para esto es la existencia de lenguajes formales, junto con técnicas asociadas de análisis, capaces de expresar por completo el contrato de comportamiento de una API. Estos formalismos usualmente están definidos de forma que la correctitud se reduce a la ausencia de ciertas configuraciones consideradas erróneas (i.e., deadlock, receptor no especificado, y mensajes huérfanos), que sólo puede sercomprobada con la presencia de todos los participantes involucrados a través de propiedades como Generalized Multiparty Compatibility (GMC). En este trabajo nos abocaremos al estudio de: 1) una nueva clase de Communicating Finite State Machines (CFSMs), llamada Multichannel Communicating Finite State Machines (mCFSMs), que cuenta con una definición explícita de canales de comunicación que permiten, para un participante, la posibilidad de tener más de un canal de comunicación con los otros participantes, 2) una definición de la propiedad de GMC para sistemas de mCFSMs, 3) una clase de Autómatas Finitos de Comunicación Asincrónica (AFCAs) con la capacidad de internalizar la comunicación entre participantes como operaciones de lectura/escritura en buffers internos, permitiendo la composición parcial de AFCAs, y 4) una forma de relacionar un AFCA con su correspondiente mCFSM, facilitando un mecanismo para comprobar la propiedad de GMC para la clase de AFCAs.
author2 López Pombo, Carlos Gustavo
author_facet López Pombo, Carlos Gustavo
Davidovich Caballero, Ezequiel
format Tesis de grado
Tesis de grado
publishedVersion
author Davidovich Caballero, Ezequiel
author_sort Davidovich Caballero, Ezequiel
title Autómatas para la vinculación parcial de servicios
title_short Autómatas para la vinculación parcial de servicios
title_full Autómatas para la vinculación parcial de servicios
title_fullStr Autómatas para la vinculación parcial de servicios
title_full_unstemmed Autómatas para la vinculación parcial de servicios
title_sort autómatas para la vinculación parcial de servicios
publisher Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publishDate 2020
url https://hdl.handle.net/20.500.12110/seminario_nCOM000448_DavidovichCaballero
work_keys_str_mv AT davidovichcaballeroezequiel automatasparalavinculacionparcialdeservicios
AT davidovichcaballeroezequiel automataforpartialbindingofservices
_version_ 1831983604102594560
spelling seminario:seminario_nCOM000448_DavidovichCaballero2025-05-09T18:45:21Z Autómatas para la vinculación parcial de servicios Automata for partial binding of services Davidovich Caballero, Ezequiel López Pombo, Carlos Gustavo Vissani, Ignacio AUTOMATAS CFSM SOC GMC FORMALISMOS AUTOMATA CFSM SOC GMC FORMALISMS Los sistemas distribuidos resultantes de paradigmas emergentes como service-oriented computing(SOC) y Cloud/Fog computing están transformando al mundo del software, impulsando lo que se denomina economía de API. La idea subyacente de economía de API es la posibilidad de construir software componiendo servicios externos y registrados previamente en repositorios. Aplicaciones que corren sobre recursos disponibles a nivel global con una infraestructura de comunicación que se reconfiguran en forma dinámica y transparente, a través de un middleware dedicado capaz de descubrir y conectarlas a servicios que puedan cumplir determinados requisitos. En general los aspectos principales del comportamiento de una API son documentados informalmente limitando la posibilidad de lograr la utopía de SOC: la negociación de servicios en forma automática. Un elemento clave para esto es la existencia de lenguajes formales, junto con técnicas asociadas de análisis, capaces de expresar por completo el contrato de comportamiento de una API. Estos formalismos usualmente están definidos de forma que la correctitud se reduce a la ausencia de ciertas configuraciones consideradas erróneas (i.e., deadlock, receptor no especificado, y mensajes huérfanos), que sólo puede sercomprobada con la presencia de todos los participantes involucrados a través de propiedades como Generalized Multiparty Compatibility (GMC). En este trabajo nos abocaremos al estudio de: 1) una nueva clase de Communicating Finite State Machines (CFSMs), llamada Multichannel Communicating Finite State Machines (mCFSMs), que cuenta con una definición explícita de canales de comunicación que permiten, para un participante, la posibilidad de tener más de un canal de comunicación con los otros participantes, 2) una definición de la propiedad de GMC para sistemas de mCFSMs, 3) una clase de Autómatas Finitos de Comunicación Asincrónica (AFCAs) con la capacidad de internalizar la comunicación entre participantes como operaciones de lectura/escritura en buffers internos, permitiendo la composición parcial de AFCAs, y 4) una forma de relacionar un AFCA con su correspondiente mCFSM, facilitando un mecanismo para comprobar la propiedad de GMC para la clase de AFCAs. Distributed software resulting from emerging paradigms such as service-oriented computing (SOC) and Cloud/Fog computing are transforming the world of software systems, giving impulse to what is called the API’s economy. The underlying idea of it is that it is possible to construct software artifacts by composing services provided by third parties and previously registered in repositories. Applications running over globally available computational resources and communication infrastructure dynamically and transparently reconfigured, at run-time, by the intervention of a dedicated middleware capable of discovering and binding a running application with a certain requirement, to a service capable of fulfilling it. In general the most important aspects of an API’s behaviour are documented informally limiting the possibility of achieving SOC’s utopia: automatic brokering of services. A key element in this quest is the existence of formal languages, together with associated analysis techniques, capable of fully expressing the API behavioral contract. These formalisms are usually defined in a way that correctness of the communication usually reduced to the absence of certain configurations (deadlock, unspecified reception, and orphan message) can only be asserted in the presence of all the participants involved via properties like Generalized Multiparty Ccompatibility (GMC). In this work we study: 1) a new class of CFSMs, called Multichannel Communicating Finite State Machines – mCFSMs, with an explicit definition of the communication channels enabling, for a participant, the possibility of having more than one channel with the other participants 2) a definition of the GMC property for systems of mCFSMs, 3) a class of Asynchronous Finite Communicating Automatas (AFCAs) with the capability of internalising the communication as read / write operations on internal buffers, enabling partial composition of communicating automata, and 4) a method for mapping an AFCA to an mCFSM providing a checking mechanism of the GMC property for the class of AFCA. Fil: Davidovich Caballero, Ezequiel. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2020-11-11 info:eu-repo/semantics/bachelorThesis info:ar-repo/semantics/tesis de grado info:eu-repo/semantics/publishedVersion application/pdf spa info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar https://hdl.handle.net/20.500.12110/seminario_nCOM000448_DavidovichCaballero

Ejemplares similares