Uma linguagem para modelagem de processos baseada em semântica de ações

Abstract

Modelos de processos de negócio são criados para descrever, em uma linguagem de fácil acesso, como os processos de uma organização são realizados. Para isso, o processo é visto como uma coleção de atividades que interagem para a realização do objetivo final do processo. Para facilitar o entendimento e a análise de processos deste tipo, a modelagem visual é a mais adequada. Nesta modelagem, as atividades são representadas por unidades de execução e o fluxo de execução do processo é descrito através de um fluxograma, que define a seqüência de execução destas atividades. Os modelos de processos são utilizados como fonte de informação para o diagnóstico de pontos de gargalo que levem à perda de eficiência da organização na realização de suas tarefas. A análise de processos é um procedimento que tem como objetivo realizar ajustes no processo ou até mesmo refazê-lo por completo, visando sempre o aumento de produtividade da organização. A utilização de modelos visuais como ponto de entrada para a análise torna a realização desta tarefa muito subjetiva, uma vez que o impacto de mudanças no processo é apenas sentido quando o mesmo é colocado em prática. Dessa forma, torna-se necessária à utilização de um mecanismo mais formal para a representação do processo que venha possibilitar a análise e a simulação mecanizada destes processos. Neste contexto, este trabalho define a ANBPL (Action Notation Business Process Language), que viabiliza a especificação de processos formalmente. Na definição da semântica desta linguagem foi utilizado o framework de Semântica de Ações, utilizado para a especificação de linguagens de programação. Apesar do caráter textual utilizado para descrever processos, a ANBPL possui uma representação simples, o que a torna de fácil entendimento. Na ANBPL, um processo de negócio é representado como uma coleção de conexões entre atividades, onde operadores são especificados para descrever os diferentes tipos de conexões. Cada operador define uma regra particular para o controle do fluxo de execução das atividades interligadas pelo mesmo