[email protected] rangelde [email protected] DSC/CCT/UFCG [email protected] [email protected] DSC/CCT/UFCG “Until 2005, the average user will be confronted with at least 5 computing platforms.” [Forrester (1999)] 2 DSC/CCT/UFCG Roteir o Introdução Características do Formalismo CTT Operadores do Formalismo CTT [email protected] [email protected] Tarefas Cooperativas Bibliografia Consultada 3 Introdução I DSC/CCT/UFCG Tarefa Seqüência [email protected] [email protected] de ações executada por um usuário a fim de atingir um dado objetivo em um determinado domínio de aplicação Objetivo Mudança de estado do sistema ou obtenção de informação sobre o estado atual Níveis de abstração Tarefas de alto nível Tarefas básicas Tarefas elementares não passíveis de decomposição 4 Introdução II DSC/CCT/UFCG Modelo da Tarefa Identificação do relacionamento entre as tarefas suportadas pelo sistema [email protected] [email protected] Modelagem de aplicações já existentes ou de novos sistemas Benefícios Aumento do entendimento do domínio do problema Mapeamento das tarefas e do comportamento do usuário ao interagir com o sistema mediante os recursos de sua interface Auxílio na elaboração da documentação 5 Introdução III DSC/CCT/UFCG CTT (ConcurTaskTrees) Formalismo para a modelagem de tarefas concorrentes [email protected] [email protected] Concepção Fabio Paternò (CNUCE-C.N.R. – Itália, 1997) Fundamentação UAN LOTOS http://giove.cnuce.cnr.it/book-task-paterno.pdf http://www.dcs.gla.ac.uk/~murray/huc/bristol-paterno.pdf 6 DSC/CCT/UFCG Características do CTT I Foco em Atividades Concentração do projetista nas atividades desempenhadas pelo usuário [email protected] [email protected] Ocultação de detalhes de baixo nível da implementação na etapa de projeto Estruturação Hierarquizada Decomposição do problema em partes menores Granularidade variável Elevação do nível de reuso 7 Características do CTT II DSC/CCT/UFCG Sintaxe Gráfica Maior facilidade indivíduos de interpretação por [email protected] [email protected] Estrutura hierárquica Árvore top-down Riqueza de Operadores Temporais Maior flexibilidade na descrição do modo de realização das tarefas 8 DSC/CCT/UFCG Características do CTT III Alocação de Tarefas Agente Quem realiza a tarefa Tarefa do Usuário [email protected] [email protected] Realização na totalidade pelo usuário Tarefa de Interação Interação do usuário com o sistema, iniciada pelo usuário Tarefa do Sistema Realização pelo sistema, sem a participação do usuário Tarefa Abstrata Tarefa mais complexa 9 DSC/CCT/UFCG Características do CTT IV Objetos e Atributos das Tarefas Identificação dos objetos a manipulados na realização da tarefa serem [email protected] [email protected] Objetos: internos ou perceptíveis Informações sobre a tarefa Tipo Seleção, edição, monitoração Plataforma Desktop, PDA, celular Freqüência de uso Baixa, média, alta Pré e Pós-condições Tempo estimado para a realização 10 DSC/CCT/UFCG Características do CTT V Comparação com Outros Formalismos Característica GOMS UAN CTT MAD GTA Independência de Ordem Interrupção Concorrência [email protected] [email protected] Sequenciamento Opcional Apenas CPM-GOMS Iteração Alocação Objetos Desempenho Pré & Pós-condições 11 DSC/CCT/UFCG Operadores do Formalismo CTT I Operadores Binários [email protected] [email protected] Operador Símbolo Seleção [] Independência de Ordem | =| Concorrência ||| Sincronização |[]| Habilitação >> Habilitação com Passagem de Informação []>> Desabilitação [> Suspensão/ Reativação |> 12 DSC/CCT/UFCG Operadores do Formalismo CTT II Operadores Unários Operador Iteração Infinita [email protected] [email protected] Opcional Símbolo * [nome] 13 Operadores do Formalismo CTT III DSC/CCT/UFCG Seleção ([]) Especificação de que duas tarefas estão [email protected] [email protected] habilitadas, porém quando uma é iniciada a outra é desabilitada 14 DSC/CCT/UFCG Operadores do Formalismo CTT IV Independência de Ordem (|=|) [email protected] [email protected] Especificação de que duas tarefas devem ser executadas, porém quando uma delas é iniciada seu término deve ocorrer antes do início da outra 15 DSC/CCT/UFCG Operadores do Formalismo CTT V Concorrência (|||) [email protected] [email protected] Especificação de que as tarefas podem ser executadas em qualquer ordem ou simultaneamente, podendo uma delas ser iniciada sem que a outra tenha sido finalizada 16 DSC/CCT/UFCG Operadores do Formalismo CTT VI Sincronização (|[]|) [email protected] [email protected] Tarefas concorrentes comunicantes: tarefas concorrentes que podem sincronizar em um determinado ponto para trocar informações 17 DSC/CCT/UFCG Operadores do Formalismo CTT VII Habilitação (>>) Execução Seqüencial [email protected] [email protected] Especificação de que a segunda tarefa (à direita do operador) só poderá ser iniciada após o término da primeira (à esquerda do operador) 18 DSC/CCT/UFCG Operadores do Formalismo CTT VIII Habilitação com Passagem de Informação ([]>>) [email protected] [email protected] Especificação de que a segunda tarefa será habilitada após o término da primeira, além de que a informação produzida pela primeira tarefa servirá como entrada para a segunda 19 DSC/CCT/UFCG Operadores do Formalismo CTT IX Desabilitação ([>) Interrupção Especificação de que a primeira tarefa é [email protected] [email protected] completamente interrompida pela segunda 20 DSC/CCT/UFCG Operadores do Formalismo CTT X Suspensão/ Reativação (|>) [email protected] [email protected] Especificação de que a primeira tarefa poderá ser interrompida pela segunda e reativada do ponto em que foi suspensa quando a segunda tarefa for finalizada 21 DSC/CCT/UFCG Operadores do Formalismo CTT XI Iteração Infinita (*) Especificação [email protected] [email protected] de tarefa iterativa, cuja execução é repetida indefinidamente, até que a tarefa seja desabilitada por outra tarefa 22 DSC/CCT/UFCG Operadores do Formalismo CTT XII Opcional ([nome]) [email protected] [email protected] Especificação de que a execução da tarefa é opcional e que, assim sendo, as tarefas à esquerda e à direita dos operadores |>, [> e [] não podem ser opcionais 23 DSC/CCT/UFCG Operadores do Formalismo CTT XIII Operadores – Ambigüidade Precedência de Operadores [email protected] [email protected] Maior precedência Unário [] |=| ||| |[]| [> |> >> []>> Menor precedência Introdução de Nova Tarefa 24 Tarefas Cooperativas I DSC/CCT/UFCG Tarefas que implicam a cooperação interativa de múltiplos usuários Identificação dos Papéis no Processo [email protected] [email protected] Interativo Conjunto de tarefas e relacionamentos associados Modelo cooperativo e modelo de cada usuário 25 Tarefas Cooperativas II DSC/CCT/UFCG Tarefas de Conexão Inclusão no modelo cooperativo e no modelo [email protected] [email protected] dos usuários participantes Papéis em Tarefas Cooperativas Consumidor Vendedor 26 DSC/CCT/UFCG Tarefas Cooperativas III [email protected] [email protected] Tarefas Cooperativas – Modelo Cooperativo 27 [email protected] [email protected] DSC/CCT/UFCG Bibliografia Consultada I 1. PATERNÒ, F. (2002), ConcurTaskTrees: An Engineered Approach to Model-based Design of Interactive Systems. Documento eletrônico. Disponível em http://giove.cnuce.cnr.it/book-task-paterno.pdf. 2. PATERNÒ, F; MANCINI, C; MENICONI, S. (1997), ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models. In: Interact'97. Proceedings. Chapman&Hall, July 1997, pp. 362-369. 3. MORI, G; PATERNÒ, F; SANTORO, C. (2002), CTTE: Support for Developing and Analysing Task Models for Interactive System Design. IEEE Transactions on Software Engineering, 28(8), August 2002, pp. 797-813. 28 [email protected] [email protected] DSC/CCT/UFCG Bibliografia Consultada II 1. PATERNÒ, F. (2003), ConcurTaskTrees: An Engineered Approach to Model-based Design of Interactive Systems. Documento eletrônico. Disponível em http://bibserv.isti.cnr.it/Dienst/Repository/2.0/Body/cnr.isti/ 2003-A1-07/pdf?tiposearch=ercim&langver=. 2. PAQUETTE, D. and SCHNEIDER, K. A. (2004), Interaction Templates for Constructing User Interfaces from Task Models. Documento eletrônico. Disponível em http://www.cs.usask.ca/faculty/kas/papers/ CADUI_2004_IT.pdf. 29 DSC/CCT/UFCG José Eustáquio Rangel de Queiroz UNIVERSIDADE FEDERAL DE CAMPINA GRANDE DEPARTAMENTO DE SISTEMAS E COMPUTAÇÃO [email protected] [email protected] GRUPO DE INTERFACES HOMEM-MÁQUINA 30