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
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 |