Alcides Calsavara alcides@epsilon.pucpr.br Orientação a Objetos Alcides Calsavara alcides@epsilon.pucpr.br

Objetivo Estudar técnicas e ferramentas para análise, projeto e implementação de sistemas orientados a objetos (OO)

Ementa Conceituação de OO Método para modelagem OO Programação OO Modelagem de Objetos Modelagem Dinâmica Modelagem Funcional Programação OO

Bibliografia Básica James Rumbaugh et al. Modelagem e Projetos Baseados em Objetos. Editora Campus, 1994. ISBN 85-7001-8410-X. Grady Booch. Object-Oriented Analysis and Design with Applications. Second Edition. Addison-Wesley, 1994. ISBN 0-8053-5340-2. Ivar Jacobson. Object-Oriented Software Engineering - a Use Case Driven approach. Addison-Wesley, 1996. ISBN 0-201-54435-0. Peter Coad. Objet Models - Strategies, Patterns & Applications. Prentice-Hall, 1997. ISBN 0-13-840117-9. Dennis de Champeaux. Object-Oriented Development Process and Metrics. Prentice-Hall, 1997. ISBN 0-13-099755-2. Gregory Satir and Doug Brown. C++ : The Core Language. O’Reilly & Associates, 1995. ISBN 1-56592-116-X.

Bibliografia Complementar Jag Sodhi and Prince Sodhi. Object-Oriented Methos for Software Development. McGraw Hill, 1996. ISBN 0-07-059574-7. Chris Zimmermann (Ed). Advances in Object-Oriented Metalevel Architectures and Reflection. CRC Pr, 1996. ISBN 0-84-932663-X. Jonathan Pletzke. Advanced Smalltalk.. John Wiley & Sons, 1996. ISBN 0-47-116350-3. Al Stevens. C++ Database Development. Mis Pr, 1994. ISBN 1-55-828357-9. Grady Booch and Ed Eykholt (Eds). The Best of Booch: Designing Strategies for Object Technology. Prentice-Hall, 1996. ISBN 0-13-739616-3.

Grupo de Usuários da Tecnologia de Objetos (GUTO) Página WWW http://www2.pucpr.br/guto/ Lista de discussões Mensagem para: maiser@rla12.pucpr.br Com conteúdo: sub GUTO-L

Conceitos de OO Modelagem de Objetos

Vantagens Independência de implementação Esconder detalhes Flexibilidade Clareza conceitual Modularização Reusabilidade

Áreas de aplicação Linguagens de programação Bancos de dados Sistemas operacionais Sistemas distribuídos Interface gráfica Métodos de modelagem de sistemas Métodos formais: Z++ Empacotamento de software: classes, componentes Integração de sistemas: CORBA, DCOM Reflexão: tolerância a falhas, reconfiguração

Conceitos fundamentais Objeto Identidade Encapsulamento Classificação/Instanciação Generalização/Especialização Herança Polimorfismo

Objeto Um conceito, uma abstração, algo com limites e significados definidos para o problema em questão Um objeto do mundo real Um conjunto de atributos (estado) e métodos (comportamento) Uma instância de uma classe

Identidade Característica peculiar de um objeto que denota a existência em separado do objeto, mesmo que ele tenha os mesmos valores de atributos de outro objeto Uma identificação única de cada objeto

Encapsulamento Técnica de modelagem e implementação que separa os aspectos externos de um objeto dos detalhes internos de implementação do mesmo objeto Os atributos (estado) de objeto só é modificável a partir de seus métodos (interface)

Atributo Propriedade denominada de uma classe, que descreve o valor de um dado contido por cada objeto da classe Todo atributo tem um tipo e, opcionalmente, um valor default inicial Cada instância de uma classe possui todos os atributos definidos pela classe

Método (ou Operação) Função ou transformação que pode ser aplicada aos objetos de uma classe Todo método definido para uma classe pode ser aplicado a qualquer instância daquela classe Um método tem um nome, uma lista de argumentos, um tipo de retorno e uma implementação

Classe Descrição de um grupo de objetos com propriedades semelhantes, comportamento, relacionamentos e semântica comuns Instância: um objeto descrito por uma classe

Generalização Relacionamento entre uma classe e uma ou mais versões refinadas ou especializadas da classe Especialização: relacionamento inverso Superclasse: versão mais abstrata de outra classe, a subclasse Subclasse: versão mais refinada de outra classe, a superclasse

Herança Mecanismo baseado em objetos que permite que as classes compartilhem atributos e operações baseados em um relacionamento, geralmente generalização Uma subclasse herda atributos e métodos da superclasse

Polimorfismo Assume muitas formas A propriedade segundo a qual uma operação (método) pode comportar-se diferentemente em classes diferentes A subclasse redefine a implementação de um método herdado da superclasse Onde se espera uma instância de um certa classe pode aparecer uma instância de qualquer subclasse daquela classe

Exemplos/Exercícios Componentes de uma interface gráfica: botões, menus, barras, ... Pessoas: aluno, professor, secretária, reitor Veículos: bicicleta, veleiro, carro, caminhão, avião, planador, motocicleta, cavalo Habitações: tenda, caverna, barraco, garagem, celeiro, casa, arranha-céu

Ligação Uma conexão física ou conceitual entre objetos Exemplo: O país Brasil tem como capital a cidade de Brasília. Exemplo: O funcionário João trabalha na empresa Transamérica S.A. Exemplo: O artigo “OO Solutions” foi publicado na conferencia OOPSLA’99.

Associação Relacionamento entre instâncias de duas ou mais classes descrevendo um grupo de ligações com estrutura e semântica comuns. Exemplo: Um país tem como capital uma cidade. Exemplo: Um funcionário trabalha numa empresa.

Agregação Forma especial de associação, entre o todo e suas partes, na qual o todo é composto pelas partes Também chamada de herança horizontal Exemplo: Um artigo é publicado em uma conferência, isto é, o artigo faz parte da conferência (ou dos anais da conferência).

Multiplicidade e Papel Multiplicidade: Número de instâncias de uma classe que podem se relacionar a uma única instância de um classe associada (ou agregada). Papel: nome que identifica inequivocamente uma extremidade de uma associação.

Atributo de Ligação Um valor de dados presente em cada ligação (nível de instâncias) de uma associação (nível de classes) Uma propriedade da ligação entre objetos, e não dos objetos ligados, propriamente ditos Exemplos: permissão de acesso que um usuário possui para a um arquivo; o salário de uma pessoa em um emprego em uma companhia

Associação como uma Classe Cada ligação de uma associação é uma instância de uma classe Uma ligação é um objeto, com atributos e métodos Útil quando ligações podem participar em associações com outros objetos Útil quando ligações sofrem operações Exemplo: autorização para usuários em estações de trabalho

Associação Ternária Representa ligações entre 3 objetos Não pode ser dividida em associações binárias sem que haja perda de informações Associações de grau maior que 3 são raras e devem ser evitadas devido a complexidade de entendimento e implementação Exemplo: pessoas que são programadoras usam linguagens de programação em projetos

Ordenação em Associações Em alguns casos o conjunto de objetos associados a um certo objeto apresenta uma ordem A palavra "ordenado" deve aparecer junto à multiplicade "muitos" de uma associação para indicar que existe uma ordem entre os objetos ligados Exemplos: as janelas visíveis em uma tela possuem uma ordem; os vértices de um polígono

Associação Qualificada Relaciona dois objetos e um qualificador O qualificador reduz a multiplicidade Exemplo: Um diretório contém muitos arquivos, mas é o nome do arquivo dentro do diretório que identifica o arquivo (e identifica um único arquivo) Maior precisão na informação!!

Uso de Agregação Na dúvida, use associação! Herança não representa o relacionamento parte-todo Agregados recursivos são frequentes Agregação normalmente implica em propagação de operações

Classes Abstratas e Concretas Classe abstrata: classe que não pode ter instâncias diretas, mas cujos descendentes sim; organizam características comuns a diversas classes; mecanismo para reutilizar código; pode definir operações abstratas (sem um correspondente método) Classe concreta: classe que pode ter instâncias diretas; não pode definir operações abstratas

Cancelamento para extensão A nova operação é igual à operação herdada, exceto pelo fato de acrescentar alguns detalhes de comportamento, normalmente afetando novos atributos da subclasse.

Cancelamento para restrição A nova operação restringe o protocolo (assinatura da operação), podendo reduzir os tipos de argumentos. A operação herdada fica fechada (restrita) dentro de cada subclasse específica.

Cancelamento para otimização O novo método tem o mesmo protocolo externo e apresenta o mesmos resultados A implementação do novo método (algoritmo utilizado) pode ser completamente diferente

Cancelamento por conveniência Emprego adhoc de herança para reutilizar classes. Uma nova classe é tornada subclasse de uma classe existente e substitui os métodos inconvenientes. Semanticamente errado e conduz a problemas de manutenção; recomenda-se criar uma terceira classe (superclasse das demais)

Herança Múltipla Uma classe possui mais de uma subclasse e herda características de todos os seus ancestrais Maior capacidade de especificação de classes Maior oportunidade de reutilização Perda em simplicidade conceitual e de implementação Surgem classes de junção

Modelagem Dinâmica

Modelo Dinâmico Representa os aspectos de um sistema relativos ao tempo e às modificações de estado Abrangência: interações seqüência de operações fluxo de controle

Controle de um sistema Descreve as seqüências de operações que ocorrem em resposta a estímulos externos, sem consideração ao que as operações fazem, sobre o que elas atuam ou como são implementadas.

Conceitos fundamentais EVENTO: representa um estímulo externo; conduz informação de um objeto para outro. ESTADO: representa valores (atributos e ligações) de um objeto; estado externo do objeto. MÁQUINA DE ESTADOS FINITOS Permite especificação de controle

Diagrama de Estados Representação gráfica de uma máquina de estados finitos Representa o padrão de eventos, estados e transições de estados para uma classe O modelo dinâmico de um sistema é composto por um conjunto de diagramas de estados, uma para cada classe. Cada máquina de estado funciona de maneira independente; são combinadas através de eventos compartilhados.

Eventos Um evento é algo que acontece "instantaneamente", em um certo momento. Exemplos: pressionar um botão do mouse aparecer uma janela na tela partida de um avião chegada de um avião tocar um telefone atender ao telefone

Relacionamentos entre eventos Causal: existe uma ordem entre os eventos. Exemplo: O vôo 123 deve partir de Chicago antes de chegar a São Francisco. Concorrente: ordem dos eventos é irrelevante. Exemplo: O vôo 123 pode partir antes ou depois que o vôo 456 parta de Roma. (Se fosse "para Roma", deveríamos considerar se não usam a mesma pista.)

Classes de eventos Indicam estrutura e comportamentos comuns a eventos. Simplificam a construção de diagramas de estados. Exemplo: classe partidas de aviões, com atributos linha aérea, número de vôo, cidade de origem, cidade destino. O momento ocorrência de um eventos é um atributo implícito.

Cenário Sequência de eventos que ocorrem durante uma determinada execução do sistema Ilustra uma situação típica do sistema Auxilia no entendimento do problema e na condução para uma representação geral (modelo dinâmico) Diagrama de eventos: representação gráfica de um cenário. Exemplo: uma chamada telefônica.

Diagramas de Estados Relaciona eventos e estados Um objeto muda de estado dependendo do evento e do estado atual. Transição: modificação de estado causada por um evento (mesmo quando estado final e inicial coincidem). Um evento pode ser irrelevante para um objeto em um certo estado. Exemplo: linha telefônica

Tipos de diagramas de estados Diagrama de laço contínuo: representa um ciclo de vida; sem estado inicial ou final. Exemplo: linha telefônica. Diagrama de uma só passagem: representa objetos com vida finita; possuem um estado inicial (criação do objeto) e um estado final (destruição do objeto). Exemplo: jogo de xadrez

Condições Uma condição é uma função booleana de valores, válida dentro de um intervalo de tempo. Condições funcionam como guardas nas transições: uma transição só dispara quando ocorre o evento e a condição de guarda for verdadeira. Exemplo: Pessoa com relação ao atributo "estar de luvas".

Controle de Operações Atividades e ações podem ser vinculadas a estados e eventos a fim de se especificar o que faz o objeto quando está em um determinado estado e o que faz em resposta a estímulos externos. Definem o comportamento do objeto!

Atividade Está sempre vinculada a um estado Consome tempo para se completar É executada continuamente durante o tempo em que o objeto está num certo estado Notação: faça: atividade Exemplo: Um vendedor logo após ter recebido dinheiro para pagamento do item vendido deve calcular o troco. faça: calcular troco

Ação Está normalmente vinculada a um evento, mas também pode estar vinculada a um estado (ações de entrada, saída e internas) É executada "instantaneamente" Notação: evento / ação Exemplo: Exibir um menu quando o botão direito do mouse é pressionado. botão direito pressionado / exibir menu

Diagramas de Estados Nivelados Permitem refinamentos sucessivos do modelo dinâmico Permitem uma descrição estruturada do sistema Pode-se expandir: um evento e sua correspondente ação uma atividade realizada em um certo estado Exemplo: Máquina de vender

Generalização de Estados Os estados de um objeto podem ser organizados de forma hierárquica, em super-estados e sub-estados. Um sub-estado é um refinamento de um super-estado, ie, um sub-estado é um dos possíveis estados do objeto dentro daquele super-estado. Um sub-estado herda as transições do super-estado; transições que se aplicam ao super-estado também se aplicam ao sub-estado. Exemplos: linha telefônica, transmissão automática de um automóvel

Generalização de Eventos Os eventos que ocorrem em um sistema podem ser organizados de forma hierárquica, em super-eventos e sub-eventos. Um sub-evento herda atributos do super-evento. Onde um evento é descrito qualquer sub-evento seu é implicitamente descrito. A generalização de eventos facilita a abstração e permite concisão na representação de diagramas. Exemplo: Entrada do usuário.

Concorrência de Agregação O estado de um objeto composto (um agregado) é determinado pelos estados dos objetos que o compõem. Exemplo: O estado de um carro é determinado pelo estado da ignição, da transmissão, do freio, do acelerador, do motor, ... Os componentes de um agregado normalmente interagem entre si: a mudança de estado de um componente pode disparar uma transição em outro componente. A interação entre diagramas de estados de componentes é representada através de eventos compartilhados e/ou condições de guarda.

Concorrência Interna de Objetos O diagrama de estados de um objeto pode ser particionado de acordo com atributos e ligações em sub-diagramas. O estado do objeto compreende um estado de cada sub-diagrama. Um mesmo evento pode causar transições em mais de um sub-diagrama. Exemplo: Jogo de bridge rubber.

Transição Automática Disparada quando a atividade vinculada a um estado termina O "evento" que causa a transição é o término da atividade Exemplo: Máquina de vender no estado correspondente a atividade testar item e calcular troco pode disparar uma de quatro transições automáticas.

Ações de Entrada e de Saída Ações vinculadas ao ato de entrar ou sair de um estado Não adicionam poder de expressão, mas permitem uma representação mais concisa Exemplo: Controle de uma porta de garagem

Envio de Eventos Uma ação pode ser especificada como enviar um certo evento para outro objeto. Notação: enviar E (atributos) (palavra enviar pode ser omitida) Exemplo: Uma linha telefônica envia o evento ligar(número-de-telefone) para o comutador quando um número completo é discado. número completo / ligar(número-de-telefone)

Sincronização de Eventos Concorrentes Um objeto pode executar várias atividades de forma concorrente (paralela). As atividades não são necessariamente sincronizadas, mas todas devem terminar para que ocorra transição de estado. Exemplo: Caixa automática.