Resumo:
A utilização de contratos é uma necessidade do Homem, desde os primórdios da civilização. Atualmente com o surgimento dos contratos eletrônicos e da diversificação de tipos e tamanhos de contratos surge a necessidade de ter um controle maior sobre estes contratos, busca-se uma maneira de se obter informações em tempo real sobre o estado que o contrato se encontra, se houve alguma falha até o momento, ou se há possibilidades de falhas ao meio do caminho e também encontrar o verdadeiro culpado pela falha do contrato. Este monitoramento precisa ser de uma forma genérica e eficiente. Para a realização destas tarefas estes contratos precisam estar em uma representação formal e dentro de um padrão determinado, para que possam ser interpretados por um algorítimo de computador. Implementamos aqui a parte da formalização do contrato e um início a ferramenta de monitoramento destes contratos.
