Autómatas para la vinculación parcial de servicios

• Autores: Davidovich Caballero, Ezequiel
• Año de publicación: 2020
• Idioma: español castellano
• Tipo de recurso: tesis de grado
• Colaborador/a o director/a de tesis: López Pombo, Carlos Gustavo; Vissani, Ignacio
• Materia: AUTOMATAS; CFSM; SOC; GMC; FORMALISMOS; AUTOMATA; CFSM; SOC; GMC; FORMALISMS
• Institución: Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales

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.