modelo de ontologias amanda meincke melo [email protected] ra: 007250 disciplina: engenharia de...
TRANSCRIPT
![Page 1: Modelo de Ontologias Amanda Meincke Melo melo@ic.unicamp.br RA: 007250 Disciplina: Engenharia de Software I Professora: Eliane Martins](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/1.jpg)
Modelo de Ontologias
Amanda Meincke Melo
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/2.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/3.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/4.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/5.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/6.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/7.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/8.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/9.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/10.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/11.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/12.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/13.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/14.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/15.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/16.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/17.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/18.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/19.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/20.jpg)
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](https://reader036.vdocuments.mx/reader036/viewer/2022062512/552fc10b497959413d8c119d/html5/thumbnails/21.jpg)
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.