Terceira Aula: UFO 

Ontologia como método de análise:

Surgiu com a intenção de representar os processos comuns de fundamentos presentes em normas de engenharia de software através de ontologias. Conceitos como os de recurso, processo, risco gerência de configuração e qualidade. O estudo evoluiu na área de engenharia de software para um nível genérico em que a intenção era construir ambientes que geravam ambientes, ou seja, criando ambientes semânticos de suporte (ODE). Então a abordagem que foi utilizada baseou-se na consulta a especialistas e modelos de referência para o desenvolvimento da ontologia de engenharia de software. Porém verificou-se que quando essas ontologias quando passadas pra UFO apresentavam inconsistências, o que demonstra a importância de se utilizar uma ontologia de fundamentação nesse processo. 

Ontologia como Modelo de Referência:

Quando se tenta integrar diferentes padrões de diferentes abordagens, ocorre que na maioria dos casos mantem-se os vícios de cada uma. A análise sobre as relações entre os conceitos presentes nos modelos que se deseja integrar podem servir de base para solucionar as questões de competência. Através da análise e correção dos problemas semânticos se consegue promover a interoperabilidade. 

Classificação das Ontologias 

< ------------------------------I-------------------I-----------------------I--->

Fundamentação                   Core                     Domínio               Aplicação

{UFO, DOLCE}               {Serviço}           {Processo Software}    {G1}

UFO - A:

         (fonte:  GUIZZARDI, 2010 ¹)        

UFO possibilita a expressão de propriedades contraditórias do mesmo indivíduo por diferenciar os QUA de determinado tipo. Pode-se dizer que Romário qua jogador é bom mas Romário qua deputado é ruim. Logo existem atributos que Romário assume devido ao papel que exerce. Os sortais anti-rigidos role e phase especializam um sortal rigido de acordo com uma propriedade intrínseca ou de acordo com alguma relação com outros sortais. 

Relações:

Relações binárias ou ternárias em UML escondem informações importantes, que precisam ser explicitadas através dos relators e das relações de mediação e suas respectivas cardinalidades. A relação material é somente uma relação derivada das relações de mediação. 

UFO - B

A UFO - B trata de eventos que acontecem no tempo.

O evento casamento é dividido em partes que o caracterizam. Como por exemplo o aceite dos noivos. 

A palavra sim de ambos representa um conjunto de atribuições. Eventos podem ser interpretados em diferentes visões. Pode-se falar sobre o evento que está programado, sobre o acontecimento em sí ou sobre os artefatos. Eventos tem participações e podem ser relacionados a 7 diferentes tipos d ordenação temporal:

antes, depois , etc...Eventos também podem causar outros eventos. É de onde surge a ideia de causalidade. 

1 disponível em  http://www.inf.ufes.br/~gguizzardi/TAO-CR.pdf