Transformação da Modelação BPMN para REO

Os sistemas de software actuais est o a aumentar tremendamente de tamanho. Este facto torna a verifica o e valida o destes sistemas uma tarefa cada vez mais dif cil. N o s a dimens o dos sistemas aumenta, como tamb m necess rio desenvolver e suportar um n mero crescente de funcionalidades e formalismos para modelar e analisar aplica es reais. Cada sistema representado sob a forma de um modelo. Existem muitas nota es de modela o dispon veis, como BPMN (Business Process Modeling Notation), UML, BPEL (Business Process Execution Language), etc. A BPMN capaz de representar todos os aspectos de um processo empresarial de grande dimens o. Por conseguinte, a BPMN uma norma emergente para representar processos empresariais e, indiretamente, sistemas de software. A BPMN uma nota o visual de modela o de processos que pode ser facilmente compreendida pelos analistas de neg cio. Mas a BPMN est atrasada em rela o sem ntica formal dos sistemas. No momento da verifica o de um determinado sistema, estas nota es de modeliza o n o s o suficientes para garantir a corre o sem ntica do sistema. Assim, para a verifica o e valida o de sistemas, de acordo com a abordagem proposta, o modelo BPMN do sistema convertido em modelo REO e, consequentemente, em mCLR, uma linguagem de especifica o formal.