Programação por Objectos UML UML 1/87

Transcrição

1 Programação por Objectos UML UML 1/87

2 Análise por UML (1) Um sistema de análise descreve os modelos da aplicação a desenvolver. Aumenta legibilidade (menos informação que o código, permitindo visualizar globalmente a aplicação). Mostra estrutura da aplicação, sem detalhes de implementação. Representação gráfica incrementa clareza semântica. Devido à complexidade, a abordagem OO é descrita por vários modelos, onde cada modelo aborda um aspecto particular. LEEC@IST UML 2/87

3 Análise por UML (2) UML (Unified Modeling Language) resulta da fusão de vários sistemas de análise: Booch (G. Booch) OOSE (I. Jacobson) OMT (J. Rumbaugh) 1ª proposta divulgada em 1997 ( v1.1, v1.3, v1.4, v1.5, Abril v2.0) Ferramentas: Rational Rose Plug-in do eclipse ( ArgoUML ( LEEC@IST UML 3/87

4 Análise por UML (3) UML v2 disponibiliza 13 diagramas, agrupados em: Modelação estrutural (pacotes, classes, objectos, estrutura composicional, componentes, aplicação física). Modelação de comportamento (use case, actividade, máquina de estados, comunicação, sequência de mensagens, temporização, enquadramento das interacções). Em POO são abordados apenas os diagramas centrais do UML, na sequência: conceito representação em UML implementação em Java UML 4/87

5 Classes definição Uma classe é um padrão de objectos, definida por: Identificador Atributos (que definem o estado dum objecto) cujos valores podem ser: tipos primitivos (inteiros, ) referências a outros objectos (identificando relações entre objectos) Métodos (operações que podem alterar o estado do objecto) Os atributos e os métodos são designados por membros da classe. LEEC@IST UML 5/87

6 Classes exemplo (1) Uma conta bancária contém sempre uma quantia e pertence a uma pessoa. A pessoa tem um nome, telefone e um número de BI. Na conta pode ser depositado ou levantado dinheiro. Sempre que entender, o dono pode consultar o saldo da conta. Classes Conta Pessoa Atributos primitivos Conta: quantia (float) Pessoa: nome (string), numtelf (long), numbi (long) LEEC@IST UML 6/87

7 Classes exemplo (2) Atributos referência Conta: dono (instância de uma Pessoa) Métodos Conta: levantamento (parâmetro: quantia a levantar) deposito (parâmetro: quantia a depositar) saldo (retorna: quantia da conta) Pessoa: numtelf (retorna: número de telefone) numbi (retorna: número do Bilhete de Identidade) LEEC@IST UML 7/87

8 Métodos definição (1) Um método é uma sequência de acções, executada por um objecto, que pode alterar ou dar a conhecer o seu estado (valor dos atributos). Enquanto o valor dos atributos reside no objecto, o método reside na classe. Assinatura dum método: identificador do método; identificador e tipo dos parâmetros; valor de retorno. LEEC@IST UML 8/87

9 Métodos definição (2) Os métodos são catalogados em: Construtor: executado na criação do objecto. Têm usualmente o mesmo identificador da classe. Nunca devolvem tipos. Não podem ser chamados. Normalmente usados para inicializar os atributos. Destrutor: executado na destruição do objecto. Modificador: altera valor dos atributos. Selector: dá a conhecer o valor dos atributos, sem os alterar. LEEC@IST UML 9/87

10 Classes UML Representada por um rectângulo, dividido em 3 zonas: Identificador da classe Atributos Métodos Conta # dono: Pessoa # quantia: float = 0 + deposito (valor: float) + levantamento (valor: float) + saldo (): float As zonas dos atributos e métodos são opcionais. Um método e um atributo podem ter o mesmo identificador. LEEC@IST UML 10/87

11 Objectos UML Representado por um rectângulo, dividido em 2 zonas: idobjecto:idclasse (ou apenas :IdClasse) Inicialização dos atributos, um por linha, na forma Id=Init mc: Conta dono = Rui Gustavo Crespo quantia = 1200 LEEC@IST UML 11/87

12 Atributos UML Sintaxe Visib Ident: Tipo [=Init] Visib: visibilidade Ident: identificador do atributo Tipo: tipos de dados podem ser: primitivos (boolean, int, char, float, ) referências a outros objectos Init: inicialização Conta # dono: Pessoa # quantia: float = 0 + deposito (valor: float) + levantamento (valor: float) + saldo (): float LEEC@IST UML 12/87

13 Métodos UML Sintaxe Visib Ident([id:TipoParam [, id:tipoparam]*]) [:TipoRet] Visib: visibilidade Ident: identificador do método id: identificador de parâmetro TipoParam: tipo do parâmetro TipoRet: tipo de retorno Conta # dono: Pessoa # quantia: float = 0 + deposito (valor: float) + levantamento (valor: float) + saldo (): float LEEC@IST UML 13/87

14 Visibilidade de atributos e métodos UML Visibilidade de atributos e métodos representada por um caractere antes do identificador, que determina as permissões de acesso: public: acessível fora da classe (+) private: acessível apenas na classe (-) protected: acessível na classe e suas subclasses (#) package: acessível nas classes do mesmo pacote (~) LEEC@IST UML 14/87

15 Atributos e métodos de classe definição Atributos e métodos podem ser de: instância: um para cada instância da classe classe: um para todas as instâncias da classe LEEC@IST UML 15/87

16 Atributos e métodos de classe UML Representados com sublinhado no diagrama de classe. Conta - numproxconta: integer # dono: Pessoa # quantia: float = 0 # incnumproxconta () + deposito (valor: float) + levantamento (valor: float) + saldo (): float LEEC@IST UML 16/87

17 Estereótipos UML O identificador da classe pode ser precedido por um estereótipo, na forma <<_>>, para adicionar semântica ao símbolo. <<conta à ordem>> Conta <<contador>> -numproxconta: integer <<atributos de conta>> # dono: Pessoa # quantia: float = 0 <<número próxima conta>> # incnumproxconta () <<operações sobre conta>> + deposito (valor: float) + levantamento (valor: float) + saldo (): float Para organizar listas longas de atributos e métodos, podem agrupar-se os atributos e métodos em categorias discriminadas por estereótipos. LEEC@IST UML 17/87

18 Classes genéricas definição Uma classe genérica é uma classe que recebe como argumento outras classes. As classes genéricas são ainda conhecidas como classes parametrizadas. As classes genéricas são muito utilizadas na definição de colecções (conjuntos, listas, pilhas, árvores, etc). UML 18/87

19 Classes genéricas UML Representada em UML com uma caixa a tracejado sobre o canto direito de uma representação UML de uma classe. A caixa a tracejado contém a lista com o nome dos argumentos a passar à classe genérica. Conjunto T Conjunto<T->Conta> + adiciona(elem: T) + remove(elem: T) <<bind>><t->conta> ConjuntoConta LEEC@IST UML 19/87

20 Relações definição Os objectos não vivem isolados e nos programas são estabelecidas relações de cooperação. Uma relação é uma conexão entre elementos. Existem diferentes tipos de relações: Associação: relaciona objectos entre si. Composição/Agregação: relação que denota o todo constítuido por partes. Herança: mecanismo de generalização-especialização de classes. Realização: uma classe implementa a funcionalidade definida numa interface. LEEC@IST UML 20/87

21 Associação UML (1) Uma associação representa uma referência entre objectos. Numa associação são definidos: Identificador termo descritivo da associação. Papeis (role) representados pela associação em cada uma das classes relacionadas. Multiplicidade número de objectos associados em cada instância da associação. UML 21/87

22 Associação UML (2) O identificador e os papeis são opcionais. As associações podem ser de multiplicidade diversa: exactamente um (1). zero ou um (0..1). zero ou mais (0..*). um ou mais (1..*). são permitidas multiplicidades mais complexas, por exemplo, 0..1, 3..4, 6..*, para dizer qualquer número excepto 2 e 5. LEEC@IST UML 22/87

23 Associação UML (3) A associação é representada por uma linha entre as classes associadas. O identificador da associação aparece sobre a associação. Os papéis de cada classe na associação aparecem nos respectivos extremos da associação. A multiplicidade da associação aparece igualmente nos extremos. Pessoa 1..* Emprego 1 empregado empregador Empresa LEEC@IST UML 23/87

24 Associação UML (4) As associações podem ser dirigidas, e nesse caso são representadas por uma seta. A direcção das associações está relacionada com aspectos de implementação. Pessoa reside Endereço LEEC@IST UML 24/87

25 Associação UML (5) As associações podem, elas próprias, transportar informação, sendo nesse caso a classe de associação ligada a tracejado à associação. O identificador da associação passa a ser o nome da classe de associação. Pessoa 1..* 1 Empresa empregado empregador Emprego # vencimento: float # dataentrada: long LEEC@IST UML 25/87

26 Associação UML (6) Por omissão, a associação é: bi-direccional; de um para um; não possui informação extra. LEEC@IST UML 26/87

27 Associação UML (7) Associações ternárias representadas por um diamante não preenchido que liga as diferentes linhas das classes associadas. Quantidade limitepreço 0..* Item 0..* produto 0..* vendedor Empresa ItemCatálogoCompras # preço: float LEEC@IST UML 27/87

28 Agregação/Composição UML (1) A agregação é uma associação, que denota uma relação do todo ser formado por partes. A agregação é dita como sendo uma relação de has-a. Representada como uma associação com um pequeno diamante não preenchido no extremo relativo ao todo. todo partes Empresa 1 * Departamento LEEC@IST UML 28/87

29 Agregação/Composição UML (2) Na composição, o desaparecimento do todo conduz ao desaparecimento das partes. Representada como uma associação com um pequeno diamante preenchido no extremo relativo ao todo. todo partes Empresa 1 * Departamento LEEC@IST UML 29/87

30 Agregação/Composição UML (3) De uma maneira geral tanto a agregação como a composição não têm identificador, pois o significado destas relações está representada pelo próprio par todo-partes. A multiplicidade deve aparecer em ambos os extremos. Quando a multiplicidade é omitida, considera-se que é exactamente 1. LEEC@IST UML 30/87

31 Reflexividade nas relações UML As relações de associação, agregação e composição podem ser reflexivas, com um elemento composto por vários sub-elementos iguais. Empresa 1 * Departamento * 0..1 LEEC@IST UML 31/87

32 Herança definição (1) Princípio Aberto-Fechado Fecho: ao desenhar uma classe, todos os atributos e métodos devem estar desenvolvidos para que o programa possa ser usado sem alterações. Abertura: classes devem estar abertas para extensão, por forma a incorporar alterações com o mínimo impacto no sistema. LEEC@IST UML 32/87

33 Herança definição (2) A herança é um mecanismo em que a subclasse constitui uma especialização da superclasse. A superclasse pode ser vista como generalização das subclasses. A herança é dita como uma relação is-a. As subclasses herdam os atributos e métodos das superclasses. Os métodos herdados podem ser modificados. Novos atributos e métodos podem ser adicionados às subclasses. LEEC@IST UML 33/87

34 Herança definição (3) O polimorfismo ocorre quando há múltipla definição, ou redefinição, de métodos da superclasse nas subclasses, com a mesma assinatura. Em OO o polimorfismo é normalmente implementado através de ligação dinâmica, i.e., o método a ser executado é determinado apenas em tempo de execução (e não em tempo de compilação). LEEC@IST UML 34/87

35 Herança definição (4) Na herança simples cada subclasse tem apenas uma superclasse (directa). Na herança múltipla uma subclasse pode ter mais do que uma superclasse (directa). Problema do diamante Animal Mamífero Ovíparo Monotrémato UML 35/87

36 Herança definição (5) Vantagens da herança: Maior legibilidade, pois as superclasses descrevem os aspectos comuns. Facilita alterações, porque normalmente estas incidem apenas nos aspectos particulares. Promovem reutilização do código das superclasses. Inconvenientes da herança: Obriga à detecção dos aspectos comuns. UML 36/87

37 Herança exemplo (1) Uma conta à ordem não recebe juros. A conta a prazo recebe os juros ao fim do prazo, salvo seja movimentada antes do final do período de imobilização reiniciando-se nessa data o período de imobilização. Subclasses ContaOrdem (superclasse: Conta) ContaPrazo (superclasse: Conta) LEEC@IST UML 37/87

38 Herança exemplo (2) Atributos adicionados ContaOrdem: -- ContaPrazo: juro (tipo float), inicio (tipo long), periodo (tipo int) Métodos alterados ContaOrdem: -- ContaPrazo: levantamento (parâmetro: quantia a levantar) Métodos adicionados ContaOrdem: -- ContaPrazo: vencimentojuro LEEC@IST UML 38/87

39 Herança UML (1) A herança simples é representada por uma seta não preenchida das subclasses para a superclasse. Conta Animal Mamímefo Ovíparo ContaOrdem ContaPrazo LEEC@IST UML 39/87

40 Herança UML (2) A herança múltipla é representada por uma seta não preenchida da subclasse para as superclasses. Mamímefo Ovíparo Monotrémato LEEC@IST UML 40/87

41 Herança UML (3) Classe não extensível: Classe sem superclasses: representada com a propriedade {root} escrita por baixo do identificador da classe. Classe sem subclasses: representada com a propriedade {leaf} escrita por baixo do identificador da classe. Botão BotãoOK {leaf} LEEC@IST UML 41/87

42 Herança UML (4) O UML permite ainda especificar que um determinado método que não pode ser redefinido em subclasses. Tais métodos são representados com a propriedade {leaf} escrita depois da assinatura do método. Conta - numproxconta: integer # dono: Pessoa # quantia: float = 0 # incnumproxconta () + numconta () : integer {leaf} + deposito (valor: float) + levantamento (valor: float) + saldo (): float LEEC@IST UML 42/87

43 Herança UML (5) Visibilidade de atributos e métodos representada por um caractere antes do identificador, que determina as permissões de acesso: public: acessível fora da classe (+) private: acessível apenas na classe (-) protected: acessível na classe e suas subclasses (#) package: acessível nas classes do mesmo pacote (~) LEEC@IST UML 43/87

44 Métodos e classes abstractas definição Um método abstracto é um método que não tem implementação (é apenas um protótipo). Uma classe abstracta é uma classe que não pode ser instanciada. Uma classe que tem pelo menos um método abstracto (definido na própria classe ou herdado de uma superclasse, directa ou indirecta, e não implementado), é uma classe abstracta. LEEC@IST UML 44/87

45 Métodos e classes abstractas UML Os métodos/classes abstractas são representados com a assinatura/identificador em itálico. Conta + levantamento (valor: float) ContaOrdem ContaPrazo + levantamento (valor: float) + levantamento (valor: float) LEEC@IST UML 45/87

46 Excepções definição (1) Frequentemente as aplicações informáticas são sujeitas a situações anómalas: Erros matemáticos (por exemplo, divisões por 0). Dados indicados em formato inválido (por exemplo, inteiro inserido com caracteres inválidos). Tentativa de acesso a uma referência nula. Abertura para leitura de ficheiro inexistente. LEEC@IST UML 46/87

47 Excepções definição (2) Uma excepção é um sinal lançado ao ser identificada uma condição que impede a execução normal do programa. As excepções podem ser tratadas de formas diversas: Termina o programa com mensagem de aviso e impressão do estado (inaceitável para sistemas críticos). Geridas em locais específicos, designados por manipuladores (handlers). LEEC@IST UML 47/87

48 Excepções UML (1) As excepções são representadas como classes com o estereótipo <<exception>>. <<exception>>excepção - causa: string + atribuircausa(causa: string) + causa(): string <<exception>> ElemDuplicado <<exception>> CapacidadeExcedida <<exception>> ElemInexistente LEEC@IST UML 48/87

49 Excepções UML (2) As classes de excepções modelam as excepções que um objecto pode lançar na execução das suas operações. As excepções lançadas são identificadas com uma seta a tracejado com o estereótipo <<send>>. <<exception>> Excepção Conjunto T <<exception>> ElemDuplicado <<exception>> ElemInexistente + adiciona(elem: T) + remove(elem: T) <<send>> <<send>> <<send>> <<exception>> CapacidadeExcedida LEEC@IST UML 49/87

50 Interfaces e Pacotes definição As interfaces e os pacotes são mecanismos úteis para desenvolvimento de sistemas de grande dimensão: As interfaces separam a especificação da implementação. Os pacotes agrupam elementos distintos num único grupo. LEEC@IST UML 50/87

51 Interfaces definição (1) Uma interface é um conjunto de protótipos de métodos (sem implementações) que especifica um serviço bem definido: As interfaces não podem conter atributos, mas podem conter constantes. A implementação duma interface é realizada pela classe concreta. Na implementação ou concretização: Determina-se os atributos necessários à correcta implementação da interface. Descreve-se o código dos métodos das interface. LEEC@IST UML 51/87

52 Interfaces definição (2) Uma interface pode herdar as definições de outra interface. Interfaces podem usar polimorfismo. Se uma classe concretizar mais de uma interface, e várias interfaces contiverem métodos com a mesma assinatura, basta definir uma única implementação. Uma interface não pode ser instanciada. LEEC@IST UML 52/87

53 Interface vs classe abstracta Semelhanças: Não podem ser instanciadas directamente. Diferenças: Uma classe abstracta pode ter atributos (constantes ou não), enquanto que uma interface apenas pode ter constantes. Uma classe abstracta pode conter métodos implementados. UML 53/87

54 Interfaces UML (1) As interfaces são representadas como classes com o estereótipo <<interface>>. Uma interface, para além das operações oferecidas, só pode conter atributos constantes, representados com a propriedade {readonly}. <<interface>> Verbose + silent : integer = 0 {readonly} + terse : integer = 1 {readonly} + normal : integer = 2 {readonly} + verbose: integer = 3 {readonly} + setverbosity (integer level) + getverbosity (): integer LEEC@IST UML 54/87

55 Interfaces UML (2) As interfaces podem participar em relações de herança (simples ou múltipla). <<interface>> Stack <<interface>> PriorityStack UML 55/87

56 Interfaces UML (3) A classe de concretização está associada à interface por uma relação de realização, representada graficamente por uma seta a tracejado. Uma classe pode realizar uma ou mais interfaces. <<interface>> Stack <<interface>> A <<interface>> B StackList StackTable AB LEEC@IST UML 56/87

57 Pacotes definição (1) Um pacote é um mecanismo de agrupamento de informação: Os pacotes podem conter outros pacotes, classes, interfaces e objectos. O pacote forma um espaço de nomes (namespace), logo os seus membros têm de ter identificadores únicos (por exemplo, num pacote não pode haver duas classes com o mesmo nome). O identificador dum pacote pode consistir num nome simples ou num nome qualificado. O nome qualificado corresponde ao nome simples prefixado pelo nome do pacote onde este reside, se existir. É usual usar-se :: para separar os nomes simples. LEEC@IST UML 57/87

58 Pacotes definição (2) A importação adiciona o conteúdo do pacote importado ao espaço de nomes do pacote importador, de tal forma que passa a ser desnecessário usar o seu nome qualificado. A importação não é transitiva. Se o pacote B importar o pacote A, e o pacote C importar o pacote B, no pacote C não são importados os elementos do pacote A. Caso o pacote C queira importar igualmente os elementos do pacote A, devem ser inseridas duas directivas de importação, uma para o pacote A e outra para o pacote B. O conjunto de métodos de um pacote é referido por API (Application Programmer Interface). LEEC@IST UML 58/87

59 Pacotes UML (1) Os pacotes são representados por pastas, identificados com o respectivo nome. Pacote1 Pacote1::Pacote2 LEEC@IST UML 59/87

60 Pacotes UML (2) A importação é representada por uma seta tracejada com o estereótipo <<import>>. Pacote1 <<import>> Pacote2 LEEC@IST UML 60/87

61 Pacotes UML (3) Os elementos dum pacote podem ter visibilidade diversa: public: elementos acessíveis ao pacote e aos pacotes que o importam (+) private: elementos inacessíveis fora do pacote (-) protected: elementos acessíveis no pacote e subpacotes (#) package: elementos acessíveis apenas no pacote (~) As partes públicas dum pacote constituem a interface do pacote. GUI GUI GUI + Janela + Menu # ManipuladorExcepção + Janela + Menu # ManipuladorExcepção LEEC@IST UML 61/87

62 Pacotes UML (4) Um pacote exporta apenas a sua parte pública. As partes exportadas por um pacote são visíveis apenas para os pacotes que explicitamente o importam. Pacote1 + Classe1A + Classe1B - Classe1C <<import>> Pacote2 + Classe2A - Classe2B <<import>> Pacote3 + Classe3A + Classe3B # Classe3C LEEC@IST UML 62/87

63 Diagramas UML UML v2 disponibiliza 13 diagramas, dos quais apenas os seguintes são abordados na cadeira de PO: Modelação estrutural: Diagrama de classes: classes, interfaces e relações. Diagrama de objectos: objectos e relações. Diagrama de pacotes: pacotes. Modelação de comportamento: Diagrama de actividades: mostra a dinâmica de sociedades de objectos, ou o controlo de fluxo de um método. Diagrama de sequência de mensagens: modela a evocação de métodos entre objectos. LEEC@IST UML 63/87

64 Diagrama de classes definição O diagrama de classes é usado para modelar: Colaboração entre classes. Esquemas de bases de dados: Normalmente, os sistemas contêm objectos persistentes. O diagrama de classes é um superconjunto do diagrama ER (entity-relationship). Os diagramas ER focam apenas os dados, enquanto que os diagramas de classes permitem, para além dos dados, modelar comportamento. Tipicamente, o diagrama de classes contém classes, interfaces e relações. Pode ainda conter pacotes e objectos. É o diagrama mais comum na modelação de sistemas orientados a objectos. LEEC@IST UML 64/87

65 Diagrama de classes UML (1) Pessoa 1..* 1 Empresa empregado empregador 1 Emprego # vencimento: float # dataentrada: long * Departamento 0..1 LEEC@IST UML 65/87

66 Diagrama de classes UML (2) 1..* Pessoa 1..* Conta ContaOrdem ContaPrazo UML 66/87

67 Diagrama de objectos definição O diagrama de objectos contém um conjunto de objectos e as suas relações (num determinado instante no tempo). Enquanto que com o diagrama de classes é possível especificar completamemente a semântica das abstracções e correspondentes relações num sistema, tal é impossível no diagrama de objectos. O diagrama de objectos apenas consegue capturar subconjuntos interessantes dos objectos do sistema. LEEC@IST UML 67/87

68 Diagrama de objectos UML c:empresa Empresa 1 * Departamento 0..1 d1:departamento nome = Vendas d3:departamento nome = Vendas US d2:departamento nome = I&D LEEC@IST UML 68/87

69 Diagrama de pacotes UML O diagrama de pacotes mostra a decomposição do modelo em unidades de organização (pacotes) e correspondentes dependências (importações). Pacote1 + Classe1A + Classe1B - Classe1C <<import>> Pacote2 + Classe2A - Classe2B <<import>> Pacote3 + Classe3A + Classe3B # Classe3C LEEC@IST UML 69/87

70 Diagrama de actividades definição O diagrama de actividades é usado para modelar: A dinâmica de sociedades de objectos. O controlo de fluxo de um método. Neste contexto o diagrama de actividades pode ser visto como o equivalente OO dos fluxogramas. LEEC@IST UML 70/87

71 Diagrama de actividades UML (1) Um diagrama de actividades contém: Estados: Estado inicial Estado final Actividades: Actividade atómica Actividade composta Actividade protegida e manipuladores de excepções associados Fluxos entre actividades: Fluxo simples Fluxo alternativo Fluxo paralelo Objectos e fluxo associado LEEC@IST UML 71/87

72 Diagrama de actividades UML (2) As actividades podem ser: Atómicas, i.e., não divisíveis avaliação de expressões atribuição dum valor/expressão a um atributo chamada dum método num objecto enviar um sinal a um objecto criar ou destruir objectos Compostas, i.e., podem ser representadas por outros diagramas de actividades. As actividades são representadas por um rectângulo com cantos arredondados. São permitidas actividades aninhadas. a:=x+1; LEEC@IST UML 72/87

73 Diagrama de actividades UML (3) O fluxo simples é representado por setas. O estado inicial é representado por um círculo preenchido e o estado final um círculo preenchido dentro de um outro círculo. Pedir cartão crédito Receber código Levantar cartão crédito LEEC@IST UML 73/87

74 Diagrama de actividades UML (4) O fluxo alternativo é representado por um diamante não preenchido de onde parte uma ramificação: A ramificação pode resultar em 2 ou mais fluxos simples. Cada fluxo tem uma guarda (expressão Booleana). As guardas devem ser mutuamente disjuntas (prevenir ambiguidade) e devem cobrir todas as possibilidades (prevenir congelamento da transição). Pode usar-se o else para representar o fluxo a seguir caso nenhuma das outras guardas seja verdadeira. LEEC@IST UML 74/87

75 Diagrama de actividades UML (5) Processar pedido cartão crédito [aprovado] Enviar código [reprovado] Notificar cliente UML 75/87

76 Diagrama de actividades UML (6) O fluxo paralelo é representado com uma barra de sincronização, representada por uma barra negra, para especificar o início (fork) e fim (join) do paralelismo. Num diagrama de actividades o número fluxos inicíados numa barra de sincronização deve igualar o número de fluxos que finaliza a mesma. LEEC@IST UML 76/87

77 Diagrama de actividades UML (7) Pagar propinas Frequentar aulas Submeter provas UML 77/87

78 Diagrama de actividades UML (8) O lançamento de excepções é representado por um raio partindo da actividade protegida em direcção ao manipulador de excepção. Pode haver mais que uma excepção, cada uma processada pelo seu manipulador. Actividade protegida Manipulador excepção LEEC@IST UML 78/87

79 Diagrama de actividades UML (9) Abrir URL Abrir visualizador Copiar conteúdo do URL para visualizador Fechar URL e visualizador ExcepçãoURLInválido ExcepçãoES Pedir novo URL Informar impossibilidade copiar conteúdo LEEC@IST UML 79/87

80 Diagrama de actividades UML (10) O fluxo de controlo associado a um diagrama de actividades pode envolver objectos. Os objectos são representados no diagrama de actividades, ligados por uma seta a tracejado a partir da actividade que os criou, modificou, ou destruio. Tal representação é denominada fluxo de objectos pois representa a participação dum objecto no fluxo de actividades. Para além da representação do seu fluxo é possível mostrar como o seu estado varia no percurso do mesmo. O estado é representado com o auxílio de parêntesis rectos por baixo do identificador do objecto. É usual organizar um diagrama de actividades em faixas que separam as diferentes actividades pela respectiva participação nas diferentes classes do sistema. LEEC@IST UML 80/87

81 Diagrama de actividades UML (11) Cliente Vendedor Conta Armazém Devolver produto Receber produto Enviar produto :Produto [devolvido] Creditar conta Receber produto Armazenar produto :Produto [disponível] UML 81/87

82 Diagrama de actividades UML (12) A modelação de um método num diagrama de actividades é particularmente interessante quando o comportamento do método é complexo e difícil de compreender apenas com recurso ao código que o implementa. else [saldo >= valor] saldo = saldo - valor levantamento(valor: float) { if (saldo >= valor) saldo = saldo - valor; } LEEC@IST UML 82/87

83 Diagrama de sequência de mensagens definição O diagrama de sequência de mensagens é usado para modelar a troca de mensagens (chamadas a métodos) entre objectos. LEEC@IST UML 83/87

84 Diagrama de sequência de mensagens UML (1) Um diagrama de sequência de mensagens contém objectos, liagações entre eles e as mensagens (métodos chamados) que deram origem a estas ligações. Um diagrama de sequência de mensagens representa os objectos no eixo das abcissas e os métodos chamados entre os respectivos objectos, ordeandos temporalmente, no eixo das ordenadas. Os objectos são colocados no topo do diagrama, ao longo do eixo das abcissas, da esquerda para a direita à medida que vão participando na interacção. Os métodos chamados são colocados ao longo do eixo das ordenadas, temporalmente ordenados de cima para baixo, ligando por meio de setas os objectos envolvidos. LEEC@IST UML 84/87

85 Diagrama de sequência de mensagens UML (2) objectos :Pessoa :ATM inserircartão() tempo pedircódigo() inserircódigo(****) pedirlevantamento(100) entregardinheiro() UML 85/87

86 Diagrama de sequência de mensagens UML (3) Nos diagramas de sequência de mensagens os objectos são criados e destruídos: A sua existência começa com uma seta com o estereótipo <<create>> ligando os objectos envolvidos. A sua existência termina com uma seta com o estereótipo <<destroy>> ligando os objectos envolvidos. LEEC@IST UML 86/87

87 Diagrama de sequência de mensagens UML (4) :ATM :Conta :OBBCProxy pedirlevantamento(100) entregardinheiro() <<create>> :Transacção levantamento(100) decsaldo(100) commited <<destroy>> {transient} UML 87/87