21
Modelo de Ontologias Amanda Meincke Melo [email protected] RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

Modelo de Ontologias Amanda Meincke Melo [email protected] RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

Embed Size (px)

Citation preview

Page 1: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

Modelo de Ontologias

Amanda Meincke Melo

[email protected]

RA: 007250

Disciplina: Engenharia de Software IProfessora: Eliane Martins

Page 2: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

2

Roteiro Visão Geral

– Sistemas de Informação– MEASUR– MEASUR – diferentes abordagens

O Diagrama de Ontologias (DO)– Análise Semântica– Sintaxe para o DO– Estudo de Caso– Ferramentas e Linguagens– Sobre a Corretude do Modelo– Validação

Conclusão

Page 3: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

3

Estrutura dos Sistemas de InformaçãoSI Informal

Significados são estabelecidos.Intenções são compreendidas.

Crenças são formadas.Comprometimentos com responsabilidades são construídos.

SI FormalBurocracia onde formas e regras substituem significado e intenção.

SI TécnicoSistema baseado em máquina

para automatizar parte do sistema formal.

Page 4: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

4

Methods for Eliciting, Analysing and Specifying Users’ Requirements.

Conceito subjacente– As próprias organizações são sistemas de

informações e a norma social é a unidade apropriada de especificação.

MEASUR

Page 5: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

5

Desenvolvimento de um SI

Alternativa 1 Alternativa 2 Alternativa 3 Alternativa 4

Análise deRequisitos

SAM, NAM SAM, NAM SAM, NAM SAM, NAM

Análise doSistema

SAM, NAM SAM, NAM SAM, NAM Outros métodos(ex: OO) ouanáliseestruturada

Projeto doSistema

SAM, NAM SAM, NAM Outros métodos(ex: OO) oudesignestruturado, E-R

Outros métodos(ex: OO) oudesignestruturado, E-R

Implementaçãodo Sistema

NB Outros métodos(ex: OO) ououtraslinguagens eferramentasCASE

Outros métodos(ex: OO) ououtraslinguagens eferramentasCASE

Outros métodos(ex: OO) ououtraslinguagens eferramentasCASE

MEASUR – Diferentes Abordagens

Page 6: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

6

O Modelo de Ontologias

Produto da Análise Semântica (SAM); Oferece uma clara descrição da organização (ou de

um problema focal), em termos de padrões gerais de comportamento, estados, etc;

Delineia o problema focal a ser analisado e define os significados da terminologia usada no modelo (vocabulário da organização);

Serve como base para a Análise de Normas (NAM), onde as intenções das ações representadas são discutidas.

Page 7: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

7

Fases da Análise Semântica

Candidato a

affordance

produzir uma lista de vocabulário de unidades semânticas que podem ser utilizados no diagrama de ontologias, para descrever agentes e seus padrões de comportamento.

AgrupandoCandidatos

permitir a análise de unidades semânticas, relacionando-as.

MapeamentoOntológico

o diagrama de ontologias completo é produzido.

Definição doproblema

Análise deNormas

Page 8: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

8

Sintaxe para o DO

Page 9: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

9

Definição do Problema

Page 10: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

10

Candidatos à affordance

Page 11: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

11

Agrupamento de Candidatos

Page 12: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

12

Mapeamento Ontológico

Alguns dos agentes identificados no enunciado do problema

elevador

andar botão

conjunto-de-botões botão

Page 13: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

13

Mapeamento Ontológico (Cont.)

# iluminação

elevador

andar botão

conjunto-de-botões botão

pessoa

sociedade

prédio

# número

# existir

# iluminação

# número

sobe

desce

Page 14: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

14

# iluminação

Mapeamento Ontológico (Cont.)

elevador

andar botão

conjunto-de-botões botão

pessoa

sociedade

prédio

iluminar

apagar

pressionar

iluminar

apagar

pressionar

mover

parar

# número

# existir

# iluminação

# número

sobe

desce

Page 15: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

15

Mapeamento Ontológico (Cont.)

elevador

andar botão

conjunto-de-botões botão

pessoa

sociedade

prédio

iluminar

apagar

pressionar

iluminar

apagar

pressionar

mover

parar

# número

# existir# iluminação

# iluminação

# número

# direção

sobe

desce

Page 16: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

16

NORMA (NORM and Affordance)– Linguagem de representação de conhecimento, que possibilita a

especificação de normas e affordances (dependências ontológicas).

– Função principal: conduzir a análise semântica. LEGOL

– Linguagem de manipulação de conhecimento usada para tratar dados com semântica rica e características temporais.

Ontology Chart Tool NormBase System (The Norm Base Engine:)

– Analisador Semântico.– Analisador de Normas.– Interpretador LEGOL.

Linguagens e Ferramentas

Page 17: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

17

Corretude do Modelo de OntologiasDesenvolvimento de um SI

Alternativa 1 Alternativa 2 Alternativa 3 Alternativa 4

Análise de Requisitos

SAM, NAM SAM, NAM SAM, NAM SAM, NAM

Análise do Sistema

SAM, NAM SAM, NAM SAM, NAM Outros métodos (ex: OO) ou análise estruturada

Projeto do Sistema

SAM, NAM SAM, NAM Outros métodos (ex: OO) ou design estruturado, E-R

Outros métodos (ex: OO) ou design estruturado, E-R

Implementação do Sistema

NB Outros métodos (ex: OO) ou outras linguagens e ferramentas CASE

Outros métodos (ex: OO) ou outras linguagens e ferramentas CASE

Outros métodos (ex: OO) ou outras linguagens e ferramentas CASE

Page 18: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

18

Validação

Realizada com o Usuário– Conferência Semiótica (Rodrigo Bonacin).

Page 19: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

19

Conclusão

Modelo Formal:– sintaxe e semântica bem definidos.

Descreve a semântica do domínio do problema:– Representa os agentes e seus padrões de

comportamento; A validação (com a especificação) é

realizada com os “donos” do problema.

Page 20: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

20

Conclusão (cont.)

Não comercial; Ferramentas desenvolvidas ainda

incipientes; Foca na investigação do problema, na

análise de requisitos; Há várias pesquisas em andamento

(ex: Inglaterra, Brasil).

Page 21: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins

maio/2003 Engenharia de Software I - Modelo Ontológico

21

Referências

Liu, K. (2000). “Semiotics in Information Systems Engineering”. Cambridge University Press. 218 p.

Simoni, C. A. C.; Baranauskas, M. C. C. (2002). “Um Estudo Comparativo de Metodologias de Desenvolvimento de Software na Prática de Trabalho e a Abordagem da Semiótica Organizacional”. Projeto de Mestrado. IC-UNICAMP.

Bonacin, R.; Baranauskas, M. C. C. (2003). “Semiotic Conference: Work Signs and Participatory Design”. (em processo de avaliação). 5 p.