Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos

Autores
Iglesias, Axel Javier
Año de publicación
2016
Idioma
español castellano
Tipo de recurso
tesis de grado
Estado
versión publicada
Colaborador/a o director/a de tesis
López Pombo, Carlos Gustavo
Vissani, Ignacio
Descripción
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.
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.
Fil: Iglesias, Axel Javier. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
Materia
SOFTWARE ORIENTADO A SERVICIOS
COMUNICACION ASINCRONICA
COMMUNICATING FINITE STATE MACHINES
DISCOVERY
CONTRATOS
SERVICE ORIENTED SOFTWARE
ASYNCHRONOUS COMMUNICATION
CONTRACTS
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar
Repositorio
Biblioteca Digital (UBA-FCEN)
Institución
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
OAI Identificador
seminario:seminario_nCOM000651_Iglesias
Acceder
id BDUBAFCEN_c3fea87f05b49c39db2b148683472d29
oai_identifier_str seminario:seminario_nCOM000651_Iglesias
network_acronym_str BDUBAFCEN
repository_id_str 1896
network_name_str Biblioteca Digital (UBA-FCEN)
spelling Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datosImplementation and study of an algorithm for general multiparty compatibility check between guarded communicating finite state machinesIglesias, Axel JavierSOFTWARE ORIENTADO A SERVICIOSCOMUNICACION ASINCRONICACOMMUNICATING FINITE STATE MACHINESDISCOVERYCONTRATOSSERVICE ORIENTED SOFTWAREASYNCHRONOUS COMMUNICATIONCONTRACTSEn 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.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.Fil: Iglesias, Axel Javier. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.Universidad de Buenos Aires. Facultad de Ciencias Exactas y NaturalesLópez Pombo, Carlos GustavoVissani, Ignacio2016info:eu-repo/semantics/bachelorThesisinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_7a1finfo:ar-repo/semantics/tesisDeGradoapplication/pdfhttps://hdl.handle.net/20.500.12110/seminario_nCOM000651_Iglesiasspainfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/arreponame:Biblioteca Digital (UBA-FCEN)instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesinstacron:UBA-FCEN2026-10-01T10:20:06Zseminario:seminario_nCOM000651_IglesiasInstitucionalhttps://digital.bl.fcen.uba.ar/Universidad públicaNo correspondehttps://digital.bl.fcen.uba.ar/cgi-bin/oaiserver.cgiana@bl.fcen.uba.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:18962026-10-01 10:20:09.113Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse
dc.title.none.fl_str_mv Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos
Implementation and study of an algorithm for general multiparty compatibility check between guarded communicating finite state machines
title Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos
spellingShingle Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos
Iglesias, Axel Javier
SOFTWARE ORIENTADO A SERVICIOS
COMUNICACION ASINCRONICA
COMMUNICATING FINITE STATE MACHINES
DISCOVERY
CONTRATOS
SERVICE ORIENTED SOFTWARE
ASYNCHRONOUS COMMUNICATION
CONTRACTS
title_short Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos
title_full Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos
title_fullStr Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos
title_full_unstemmed Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos
title_sort Implementación y estudio de un algoritmo para la comprobación de General Multiparty Compatibility entre Communicating Finite State Machines con datos
dc.creator.none.fl_str_mv Iglesias, Axel Javier
author Iglesias, Axel Javier
author_facet Iglesias, Axel Javier
author_role author
dc.contributor.none.fl_str_mv López Pombo, Carlos Gustavo
Vissani, Ignacio
dc.subject.none.fl_str_mv SOFTWARE ORIENTADO A SERVICIOS
COMUNICACION ASINCRONICA
COMMUNICATING FINITE STATE MACHINES
DISCOVERY
CONTRATOS
SERVICE ORIENTED SOFTWARE
ASYNCHRONOUS COMMUNICATION
CONTRACTS
topic SOFTWARE ORIENTADO A SERVICIOS
COMUNICACION ASINCRONICA
COMMUNICATING FINITE STATE MACHINES
DISCOVERY
CONTRATOS
SERVICE ORIENTED SOFTWARE
ASYNCHRONOUS COMMUNICATION
CONTRACTS
dc.description.none.fl_txt_mv 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.
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.
Fil: Iglesias, Axel Javier. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.
description 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.
publishDate 2016
dc.date.none.fl_str_mv 2016
dc.type.none.fl_str_mv info:eu-repo/semantics/bachelorThesis
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_7a1f
info:ar-repo/semantics/tesisDeGrado
format bachelorThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.12110/seminario_nCOM000651_Iglesias
url https://hdl.handle.net/20.500.12110/seminario_nCOM000651_Iglesias
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
publisher.none.fl_str_mv Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
dc.source.none.fl_str_mv reponame:Biblioteca Digital (UBA-FCEN)
instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN
reponame_str Biblioteca Digital (UBA-FCEN)
collection Biblioteca Digital (UBA-FCEN)
instname_str Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron_str UBA-FCEN
institution UBA-FCEN
repository.name.fl_str_mv Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
repository.mail.fl_str_mv ana@bl.fcen.uba.ar
_version_ 1877857586846367744
score 12.854657

Publicaciones similares