Notas 7ª Aula 22.07.2013

Ontological Foundations for the i* Framework

Motivação
- Melhorar a comunicação entre os expertes da linguagem i*.
- Dificulta a comunicação.
- Curva de aprendizagem muito alta.
- Facilidade maior de levar para a indústria.

Guias
- i* wiki.
- istartML (interoperabilidade em dialetos em i*, salvar em i* e abrir o modelo em outra ferramenta).

Linguagens
Ontoistar (Conceito ontológico)
Our work (Não possui fundamentação Ontológica, teórico)

Por que usar ontologias
- Prover semântica. - Prover significado entre conceitos. - Prover guias para analistas.

i* Language's Metamodel deve ser isomorfico e UFO Reference Ontology

Research Question
- Definição lógicas.
- Elementos que podem ser ligadas.
- Quais propriedades ontologicas é preenchido pelos elementos.


Alguns conceitos Ontoistar

Or-Decomposition vs. Means-end

Objetivo - meio fim - Tarefa X (correto)
Objetivo - meio fim - Objetivo (errado)
Obj. G5 -> G6 -> G7 -> G8 (Alternativas) G6 ou G7 ou G8 (Decomposto)
Obj. G1 -|>G2 -|>G3 -|>G4 (Definição de subobjetivos) G2^G3^G4 (Decomposto em objetivos)
Obj. G1 ->(means-end) T2 ou T1.


Means-end vs. Make-contribution

Make = atinge G1 completamente(efeito colateral, consequência) Não deliberadamente, intensionalmente. (Não intensionais)
Break = impede que G1 seja atingido. (Lei Seca(tarefa)- Beber vinho- Se divertir no jantar)
Help = ajuda G1 a ser atingido, mas que não satisfaz o objetivo. (Não intensionais) Atingi uma subsituação que atinge o objetivo.
Hurt = dificulta que G1 seja atingido. ( não atingir o objetivo)