Dissertação - Modelagem do agente de contrato eletrônico na fase de formação de contratos no sistema de comércio inteligente