Sauro Schaidt,  Eduardo A. P. Santos,  Eduardo de F. R. Loures,  Marco A. Busetti. 

A minimum set of criteria or rules should be imposed on a process to ensure that their implementation achieves the desired goals. The unstructured or loosely structured (or flexible) processes are those that do not require a procedural model that explicitly specify the execution procedure. Declarative languages are more suitable for modeling and implementing this type of process. This paper presents an approach based on Linear Temporal Logic (LTL) to implement a business unstructured process. The steps of modeling and implementation of rules in DECLARE software are presented and discussed. The application of a project management process is presented.

http://www.lbd.dcc.ufmg.br/colecoes/wbpm/2012/003.pdf

Processando consulta.