Ir para o conteúdo

Léxicos

Introdução

Este documento apresenta a especificação dos léxicos do sistema Loterias Caixa utilizando a técnica LAL (Léxico Ampliado da Linguagem). Os léxicos têm como objetivo definir de forma precisa e não ambígua os termos e conceitos do domínio do aplicativo, garantindo um vocabulário comum entre desenvolvedores, stakeholders e usuários finais, seguindo a metodologia apresentada no material da disciplina.

Metodologia

Foi utilizada a técnica LAL (Léxico Ampliado da Linguagem) conforme apresentado por Serrano e Serrano (2010) para especificação dos símbolos do domínio. Cada léxico é composto pelos seguintes elementos:

  • Símbolo: Nome do termo/conceito do domínio
  • Tipo: Classificação em Verbo, Objeto ou Estado
  • Noção: Definição denotativa do termo
  • Impacto: Descrição conotativa dos efeitos no sistema

Modelo Usado

Tabela 1 - Modelo de Léxico LAL

Item Descrição
Símbolo Nome do termo ou conceito do domínio
Tipo Classificação: Verbo (ação), Objeto (entidade) ou Estado (condição)
Noção Definição e significado do termo no contexto do sistema
Impacto Efeitos, comportamentos e consequências do termo no sistema

Tabela de Contribuição

Tabela 2 - Contribuição nos Léxicos

Aluno Léxicos Criados
João Pedro L01 (Não implementado obrigatório), L02 (Não implementado obrigatório), L05, L06, L07, L08, L09, L10, L11, L12, L13, L14, L15, L16 e L17
Rivadalvio Joaquim L03 (Não implementado obrigatório), L04 (Não implementado obrigatório),L18, L19, L20, L21, L22, L23, L24, L25, L26, L27, L28, L29 e L30

Validação com o Usuário (Léxicos)

Participante Função Data Horário Local
João Pedro e Rivadalvio Joaquim Integrantes do grupo, responsáveis por coordenar a validação com o usuário. 12/10/2025 11:20 Presencial, residência
José da Silva 59 anos, funcionário público e usuário do app Loterias Caixa, responsável por validar os cenários desenvolvidos para o artefato. 12/10/2025 11:20 Presencial, residência

Léxicos

L01 – Aviso de Limite Diário

Autor: João Pedro

Tabela 3: Controle de Limite Diário de Apostas

Item Descrição
Símbolo Aviso de Limite Diário
Tipo Verbo
Noção Funcionalidade que monitora e alerta o usuário quando ele se aproxima ou atinge o valor máximo de apostas permitido para um período de 24 horas
Impacto - Sistema emite notificação visual e sonora
- Exibe pop-up informativo com opções de continuar ou parar
- Bloqueia novas apostas se o limite for atingido
- Registra o evento no histórico de controle financeiro
Rastreabilidade RF30

L02 – Tela Personalizável

Autor: João Pedro

Tabela 4: Personalização da Tela Inicial

Item Descrição
Símbolo Tela Personalizável
Tipo Objeto
Noção Interface inicial do aplicativo que permite ao usuário reorganizar ícones e atalhos conforme suas preferências e padrões de uso frequente
Impacto - Aprende automaticamente as funcionalidades mais acessadas
- Permite personalização manual através de arrastar e soltar
- Salva configurações localmente no dispositivo
- Adapta a interface dinamicamente ao comportamento do usuário
Rastreabilidade RF33

L03 – Termo de Responsabilidade

Autor: Rivadalvio Joaquim

Tabela 5: Termo de Esclarecimento sobre Riscos

Item Descrição
Símbolo Termo de Responsabilidade
Tipo Estado
Noção Documento obrigatório que explica de forma clara e acessível os riscos envolvidos nas apostas, incluindo probabilidades reais e orientações sobre jogo consciente
Impacto - Exibido antes da confirmação de qualquer aposta
- Apresenta informações em linguagem simples e compreensível
- Exige confirmação explícita do usuário através de checkbox
- Armazena aceitação no sistema para fins de auditoria
Rastreabilidade RNF20

L04 – Modo de Acessibilidade

Autor:Rivadalvio Joaquim

Tabela 6: Modo Acessibilidade

Item Descrição
Símbolo Modo de Acessibilidade
Tipo Estado
Noção Configuração especial da interface que amplia elementos visuais, aumenta contraste e simplifica a navegação para usuários idosos ou com deficiência visual
Impacto - Aumenta significativamente o tamanho de fontes e botões
- Ativa esquema de cores de alto contraste
- Simplifica a estrutura de menus e navegação
- Oferece suporte a leitores de tela e navegação por voz
Rastreabilidade RF34

L05 – Interface Simplificada

Autor: João Pedro

Tabela 7: Interface com Telas Simples

Item Descrição
Símbolo Interface Simplificada
Tipo Estado
Noção Design de interface com poucos textos e elementos visuais, focando na simplicidade e facilidade de uso
Impacto - Reduz complexidade visual para usuários
- Facilita navegação intuitiva
- Diminui tempo de aprendizado
- Melhora experiência do usuário
Rastreabilidade RNF17, RF17

L06 – Comprovante de Aposta

Autor: João Pedro

Tabela 8: Comprovante Digital de Apostas

Item Descrição
Símbolo Comprovante de Aposta
Tipo Objeto
Noção Documento digital que comprova a realização de uma aposta, contendo números selecionados, valor e identificação única
Impacto - Gera registro oficial da transação
- Permite verificação posterior
- Serve como comprovante para resgate
- Armazena em "Minhas Apostas"
Rastreabilidade RF01, RF25

L07 – Multi-modalidade de Apostas

Autor: João Pedro

Tabela 9: Múltiplas Opções de Apostas

Item Descrição
Símbolo Multi-modalidade de Apostas
Tipo Estado
Noção Capacidade do sistema de oferecer diferentes tipos de loterias (Mega-Sena, Lotofácil, Quina, etc.) e apostas esportivas
Impacto - Expande opções para o usuário
- Permite diversificação de apostas
- Atende diferentes preferências
- Aumenta engajamento do usuário
Rastreabilidade RF21, RF33

L08 – Acompanhamento de Jogos

Autor: João Pedro

Tabela 10: Acompanhamento de Jogos e Resultados

Item Descrição
Símbolo Acompanhamento de Jogos
Tipo Verbo
Noção Funcionalidade que permite ao usuário acompanhar eventos esportivos e resultados de loterias em tempo real através do aplicativo
Impacto - Fornece informações atualizadas
- Mantém usuário engajado
- Permite verificação de resultados
- Oferece notificações em tempo real
Rastreabilidade RNF21

L09 – Modo Claro/Escuro

Autor: João Pedro

Tabela 11: Alternância entre Modo Claro e Escuro

Item Descrição
Símbolo Modo Claro/Escuro
Tipo Estado
Noção Configuração de interface que permite alternar entre temas claro e escuro para melhor conforto visual em diferentes condições de iluminação
Impacto - Melhora experiência visual
- Reduz fadiga ocular
- Adapta-se ao ambiente do usuário
- Oferece personalização
Rastreabilidade RF06

L10 – Imagem Explicativa

Autor: João Pedro

Tabela 12: Imagens para Explicação de Funcionalidades

Item Descrição
Símbolo Imagem Explicativa
Tipo Objeto
Noção Elemento visual que auxilia na compreensão de funcionalidades através de ilustrações, screenshots ou ícones descritivos
Impacto - Facilita aprendizado de funcionalidades
- Reduz necessidade de textos longos
- Melhora usabilidade para todos os públicos
- Auxilia usuários com dificuldade de leitura
Rastreabilidade RNF02

L11 – Consulta de Ganhos

Autor: João Pedro

Tabela 13: Consulta de Ganhos e Resultados

Item Descrição
Símbolo Consulta de Ganhos
Tipo Verbo
Noção Funcionalidade que permite ao usuário verificar valores ganhos em apostas, histórico de prêmios e saldo disponível
Impacto - Fornece transparência financeira
- Permite controle de ganhos
- Facilita planejamento de resgates
- Mantém usuário informado
Rastreabilidade RF18

L12 – Autenticação Segura

Autor: João Pedro

Tabela 14: Sistema de Autenticação Segura

Item Descrição
Símbolo Autenticação Segura
Tipo Verbo
Noção Processo de verificação de identidade do usuário através de CPF, senha ou biometria para acesso às funcionalidades do aplicativo
Impacto - Garante segurança da conta
- Previne acesso não autorizado
- Protege dados pessoais
- Cumpre requisitos legais
Rastreabilidade RF15

L13 – Perfil do Usuário

Autor: João Pedro

Tabela 15: Perfil Personalizado do Usuário

Item Descrição
Símbolo Perfil do Usuário
Tipo Objeto
Noção Área personalizada do aplicativo que contém dados do usuário, histórico de apostas, configurações e preferências
Impacto - Centraliza informações do usuário
- Permite personalização
- Facilita gestão de conta
- Oferece acesso rápido a dados
Rastreabilidade RF23

L14 – Logout Seguro

Autor: João Pedro

Tabela 16: Logout Seguro do Sistema

Item Descrição
Símbolo Logout Seguro
Tipo Verbo
Noção Processo de encerramento seguro da sessão do usuário no aplicativo, garantindo que os dados permaneçam protegidos
Impacto - Protege conta em dispositivos compartilhados
- Encerra sessão ativa
- Limpa cache sensível
- Previne acesso indevido
Rastreabilidade RF24

L15 – Cadastro com Dados Pessoais

Autor: João Pedro

Tabela 17: Cadastro com Dados Pessoais

Item Descrição
Símbolo Cadastro com Dados Pessoais
Tipo Verbo
Noção Processo de registro inicial do usuário no aplicativo utilizando informações pessoais como CPF, nome completo e data de nascimento
Impacto - Cria conta única do usuário
- Verifica maioridade (18+ anos)
- Associa apostas ao CPF
- Permite personalização
Rastreabilidade RF22

L16 – Volante Digital

Autor: João Pedro

Tabela 18: Volante Digital para Apostas

Item Descrição
Símbolo Volante Digital
Tipo Objeto
Noção Interface interativa que simula o volante físico de apostas, permitindo seleção de números para as diferentes modalidades de loteria
Impacto - Facilita seleção de números
- Oferece experiência familiar
- Permite limpar e sortear números
- Mostra números selecionados claramente
Rastreabilidade RF26

L17 – Carrinho de Apostas

Autor: João Pedro

Tabela 19: Carrinho para Gestão de Apostas

Item Descrição
Símbolo Carrinho de Apostas
Tipo Objeto
Noção Área temporária que armazena apostas selecionadas pelo usuário antes da confirmação e pagamento
Impacto - Permite revisão antes do pagamento
- Calcula valor total automaticamente
- Oferece opção de remover itens
- Facilita gestão múltiplas apostas
Rastreabilidade RF27, RF28

L18 – Pagamento Integrado

Autor: Rivadalvio Joaquim

Tabela 20: Sistema de Pagamento Integrado

Item Descrição
Símbolo Pagamento Integrado
Tipo Verbo
Noção Sistema de processamento de pagamentos que aceita múltiplas formas, incluindo cartão de crédito/débito e PIX
Impacto - Oferece flexibilidade de pagamento
- Processa transações seguras
- Confirma pagamento instantaneamente
- Integra com sistemas bancários
Rastreabilidade RF25

L19 – Cancelamento de Aposta

Autor: Rivadalvio Joaquim

Tabela 21: Cancelamento de Apostas

Item Descrição
Símbolo Cancelamento de Aposta
Tipo Verbo
Noção Funcionalidade que permite ao usuário cancelar apostas realizadas antes do sorteio ocorrer
Impacto - Oferece flexibilidade ao usuário
- Permite correção de erros
- Devolve valor apostado
- Registra cancelamento no histórico
Rastreabilidade RF29

L20 – Navegação Intuitiva

Autor: Rivadalvio Joaquim

Tabela 22: Navegação Intuitiva

Item Descrição
Símbolo Navegação Intuitiva
Tipo Estado
Noção Característica do sistema que permite navegação fluida entre telas com número mínimo de toques/interações
Impacto - Reduz esforço do usuário
- Acelera realização de tarefas
- Melhora experiência geral
- Facilita aprendizado
Rastreabilidade RNF19

L21 – Desempenho de Carregamento

Autor: Rivadalvio Joaquim

Tabela 23: Desempenho de Carregamento

Item Descrição
Símbolo Desempenho de Carregamento
Tipo Estado
Noção Capacidade do sistema de carregar e exibir informações rapidamente, mesmo em condições de rede limitadas
Impacto - Melhora experiência do usuário
- Reduz tempo de espera
- Mantém engajamento
- Funciona em diferentes condições de rede
Rastreabilidade RNF17

L22 – Confiabilidade do Sistema

Autor: Rivadalvio Joaquim

Tabela 24: Confiabilidade do Sistema

Item Descrição
Símbolo Confiabilidade do Sistema
Tipo Estado
Noção Característica do sistema de operar sem falhas ou encerramentos inesperados durante o uso normal
Impacto - Garante continuidade das operações
- Previne perda de dados
- Mantém confiança do usuário
- Oferece experiência estável
Rastreabilidade RNF18

L23 – Expiração de Sessão

Autor: Rivadalvio Joaquim

Tabela 25: Expiração de Sessão

Item Descrição
Símbolo Expiração de Sessão
Tipo Verbo
Noção Mecanismo de segurança que encerra automaticamente a sessão do usuário após período de inatividade
Impacto - Protege conta contra acesso não autorizado
- Cumpre requisitos de segurança
- Notifica usuário antes do encerramento
- Oferece renovação de sessão
Rastreabilidade RNF20

L24 – Interface Autoexplicativa

Autor: Rivadalvio Joaquim

Tabela 26: Interface Autoexplicativa

Item Descrição
Símbolo Interface Autoexplicativa
Tipo Estado
Noção Design de interface onde elementos visuais são acompanhados por textos explicativos para facilitar compreensão
Impacto - Reduz necessidade de ajuda externa
- Facilita uso para todos os públicos
- Melhora acessibilidade
- Acelera aprendizado
Rastreabilidade RNF19

L25 – Multiplataforma

Autor: Rivadalvio Joaquim

Tabela 27: Disponibilidade Multiplataforma

Item Descrição
Símbolo Multiplataforma
Tipo Estado
Noção Capacidade do aplicativo de estar disponível e funcionar em diferentes sistemas operacionais e lojas oficiais
Impacto - Amplia acesso aos usuários
- Oferece consistência entre plataformas
- Facilita download e instalação
- Mantém atualizações sincronizadas
Rastreabilidade RF01, AD01

L26 – Integração com Sistemas Existentes

Autor: Rivadalvio Joaquim

Tabela 28: Integração com Sistemas Existentes

Item Descrição
Símbolo Integração com Sistemas Existentes
Tipo Estado
Noção Capacidade do aplicativo de se conectar e utilizar infraestrutura e dados dos sistemas já existentes da Caixa
Impacto - Garante consistência de dados
- Oferece experiência unificada
- Utiliza infraestrutura confiável
- Facilita manutenção
Rastreabilidade RF02, AD02

L27 – Funcionalidade Completa

Autor: Rivadalvio Joaquim

Tabela 29: Funcionalidade Completa

Item Descrição
Símbolo Funcionalidade Completa
Tipo Estado
Noção Característica do aplicativo de oferecer todas as funcionalidades disponíveis nos canais físicos e no site
Impacto - Elimina necessidade de deslocamento
- Oferece conveniência total
- Mantém consistência de serviço
- Atende todas as necessidades do usuário
Rastreabilidade RF03, AD03

L28 – Transparência Social

Autor: Rivadalvio Joaquim

Tabela 30: Transparência Social

Item Descrição
Símbolo Transparência Social
Tipo Objeto
Noção Seção do aplicativo que mostra informações sobre repasses sociais e contribuições da loteria para desenvolvimento social
Impacto - Oferece transparência sobre uso dos recursos
- Mostra impacto social das apostas
- Fortalece confiança do usuário
- Cumpre função educativa
Rastreabilidade RF07, AD07

L29 – Aposta Rápida

Autor: Rivadalvio Joaquim

Tabela 31: Aposta Rápida

Item Descrição
Símbolo Aposta Rápida
Tipo Verbo
Noção Funcionalidade que cria automaticamente uma aposta com base nas preferências e histórico do usuário
Impacto - Acelera processo de aposta
- Personaliza experiência
- Oferece conveniência
- Mantém padrões de preferência
Rastreabilidade RNF02, AD09

L30 – Sistema de Resgate

Autor: Rivadalvio Joaquim

Tabela 32: Sistema de Resgate

Item Descrição
Símbolo Sistema de Resgate
Tipo Verbo
Noção Conjunto de regras e processos para resgate de prêmios através dos canais oficiais da Caixa
Impacto - Define procedimentos de resgate
- Garante segurança das transações
- Oferece múltiplos canais
- Cumpre regulamentações
Rastreabilidade RNF03, AD10

Referências Bibliográficas

SERRANO, Milene; SERRANO, Maurício. Requisitos - Aula 10. Disponível em: https://aprender3.unb.br/pluginfile.php/3210627/mod_resource/content/1/Aula%2010.pdf. Acesso em: 11/10/2025.

LÉXICOS. [S. l.], 2023. Disponível em: https://requisitos-de-software.github.io/2023.1-BilheteriaDigital/modelagem/lexicos. Acesso em: 12 out. 2025.

Bibliografia

SERRANO, Milene; SERRANO, Maurício. Requisitos - Aula 10. Disponível em: https://aprender3.unb.br/pluginfile.php/3210627/mod_resource/content/1/Aula%2010.pdf. Acesso em: 11/10/2025.

Versionamento

Versão Data Autor Descrição Revisor
1.0 12/10/2025 João Pedro e Rivadalvio Joaquim Criação dos 4 léxicos iniciais usando LAL Luan Vinícius
1.1 12/10/2025 João Pedro e Rivadalvio Joaquim Expansão para 30 léxicos cobrindo todos os requisitos principais Luan Vinícius
1.2 12/10/2025 João Pedro Vídeos da validação implementados, adição da referência e bibliografia Rivadalvio Joaquim
1.3 21/10/2025 João Pedro Correção dos IDs de referência à requisitos Rivadalvio Joaquim