Corroboration Strategy for Web Services Choreography using Revise Buchi Automata

Danapaquiame, N.; Ilavarasan, E.

doi:10.14257/ijunesst.2013.6.5.11

Cited by 1 publication

(1 citation statement)

References 18 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Además en [12], se propone un método basado en CPN que detecta los errores en la fase de diseño y asegura la exactitud de la composición de servicios para un análisis estructural estático y un análisis de comportamiento dinámico, presentando un ejemplo del mapeo entre los elementos de la composición de SW y CPN. Así mismo en [13], se presenta la herramienta WSCVT, la cual utiliza Java para verificar un algoritmo RBSR, en donde el enfoque propuesto se verifica utilizando la herramienta WSCVT y los resultados revelaron un mejor rendimiento en términos de evitar problemas de escasez y accesibilidad. Además se presenta una traducción de los términos de WSCDL en relación a los términos de un RBA.…”

Section: Trabajos Relacionadosunclassified

Mecanismo de transformación de diagramas UML de casos de uso a código WSCDL

Machorro-Cano¹,

Navarro²,

Alor-Hernández³

et al. 2015

RCS

View full text Add to dashboard Cite

Resumen. Los diagramas UML de Casos de Uso definen el comportamiento de un sistema a través de las interacciones de los actores y los procesos, además determinan los requisitos funcionales del sistema. Adicionalmente, las empresas están diseñando sus procesos de negocios mediante la tecnología de servicios Web y UML se ha posicionado como un lenguaje estándar de modelado para el desarrollo de aplicaciones. Por otra parte, con la utilización de las tecnologías de servicios Web y UML, es posible modelar nuevos procesos de negocios más complejos, los cuales requieren de mecanismos para lograr una mejor interoperabilidad a nivel empresarial. Estos mecanismos se logran a través de lenguajes composicionales en servicios Web como WS-CDL el cual se basa en XML. Este trabajo presenta un mecanismo de transformación que permite la generación de código WSCDL a partir de diagramas UML de Casos de Uso y un caso de estudio para ejemplificar su funcionalidad. Palabras clave: mecanismo de transformación, WS-CDL, diagramas de casos de uso.

show abstract

Section: Trabajos Relacionadosunclassified