Uma máquina de reducao de grafos extensivel para a implementacao de fluxos de trabalho

Serviços web, Composição de serviços, Máquina de redução de grafos, Big data, BPEL. 

Máquinas de redução de grafos, utilizadas na implementação de
linguagens de programação. Elas permitem executar programas mediant a
transformação de grafos, através da aplicação sucessiva de regras de
redução.
A composição de serviços web permite a criação de novos serviços web a
partir de serviços web já existentes. Linguagens que permitem criar
composições de serviços web com base em fluxos de trabalho, como BPEL
e PEWS, são utilizadas com frequência. No entanto tais linguagens
permitem criar composições utilizando apenas serviços web, o que
dificulta a criação de composições mais elaboradas. Quando operações
que não fazem parte do domínio dos serviços web precisam ser
executadas nas regras de negócio de uma empresa, parte do trabalho é
realizado de forma ad-hoc. Permitir que diferentes operações possam
fazer parte de um mesmo fluxo de trabalho, auxilia a criação de fluxos
de trabalho mais elaborados e automatizados. Esta dissertação pretende
definir uma linguagem para a criação de composições com operações de
serviços web, tarefas de big data ou operações definidas pelo usuário;
definir uma máquina de redução de grafos extensível que permita a
avaliação dos grafos gerados a partir de programas definidos na
linguagem proposta e implementar esta máquina como prova de conceito.
Espera-se que com esta proposta desenvolvedores que já conheçam
linguagens como BPEL possam implementar composições com diferentes
tipos de operações, utilizando o conhecimento prévio, de forma a
aumentar a eficiencia no desenvolvimento de aplicações distribuídas.