Notas de Aula - 12.08.2013

ArKnowD - Agent-oriented Recipe for Knowledge

- Construtivismo x Gestão de Conhecimento: 6 princípios
- Tropos + AORML
- MDD

Para se conhecer um ambiente organizacional, é importante identificar os componentes envolvidos. Tropos pode ser usado com um foco mais voltado à análise de requisitos e arquitetura.
AORML pode ser usado em combinação para permitir o projeto detalhado.
ArKnowD propõe essa combinação, utilizando ainda técnicas de MDD (Model Driven Development).
Três viewpoints:
- CIM (Computation Independent Model);
- PIM (Plataform Independent Model);
- PSM (Plataform Specific Model).

UFO foi utilizada para embasar o mapeamento entre Tropos e AORML.

Notas de Aula - 29.07.2013

Continuação de Ontological Foundations for the i* Framework

Foi discutida a relação de Dependência (dependency link). A partir da percepção de que ocorrem relações com a mesma função (construct overload), foi dividida em:

- Dependency: definida por uma relação formal entre atores (papeis depender e dependee), e

- Delegation: definida por uma relação material (precisa do relator)

Um modelo foi utilizado para identificar os tipos de relação entre agentes, dependências (objetivo, tarefa e recurso), objetivos e recursos.

Open Dependence: Ator A --> hard goal --> Ator B   (define o objetivo)

Close Dependence: Ator A --> tarefa --> Ator B         (prescreve como atingir o objetivo)

Sintaticamente, dependency é presentada por uma seta aberta e delegation por uma seta fechada.

Com a utilização de fundamentação ontológica em i* é possível esclarecer os significados das construções da linguagem. É importante um experimento para comprovação.

Por fim, alguns modelos foram analisados, identificando-se algumas inconsistências e anti-padrões.

Notas Palestra Roel Weringa 08.07.2013

Prof. Roel Weringa, Universidade de Twente, Holanda

Palestra sobre Technical Action Research (TAR) em Engenharia de Software.

TAR é um método de pesquisa no qual um pesquisador utiliza uma nova técnica na prática, para ajudar um cliente a resolver um problema real. Para o cliente é uma consultoria, para o pesquisador, é uma validação em ambiente real.

É uma forma de “testar” a pesquisa em empresas do mundo real, e obter feedback para evolução, enquanto apoia a solução de problemas nas empresas. Por exemplo, um pesquisador desenvolve uma técnica de avaliação de riscos, aplica a técnica a um problema em uma organização, produz orientações para a organização resolver o problema, e obtém lições aprendidas sobre o uso da técnica.

O pesquisador exerce três papeis:

- Designer: projetando a técnica

- Pesquisador: identificando lições aprendidas sobre a técnica

- Ajudante: usando a técnica para apoiar as empresas

Uma questão importante em TAR é manter os papéis separados.

TAR não lida apenas com a identificação e resolução de um problema (Classical Action Research), mas também com o aprendizado e desenvolvimento da técnica utilizada para resolver o problema.

Discutiu as vantagens de TAR para pesquisador e cliente e apresentou alguns exemplos.

Ciclo de Engenharia de TAR

- Investigação do Problema

- Projeto da Solução

- Validação do Projeto

- Implementação da Solução

- Avaliação da Implementação

Ciclo de Pesquisa (x Ciclo de Pesquisa Empírica) x Ciclo do Cliente

Tipos de Generalização em TAR, envolvendo inferência estatística e baseada em casos.

Limitações de TAR: atenção para as condições do caso, competências das pessoas no contexto, possiblidades de generalização.

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)

Notas 6ª Aula 15.07.2013

Apresentação do trabalho de conclusão de curso Gleyce.

Integração semântica entre dot-project e ODE
Foi usado o OBA-SI que é uma abordagem de integração de sistemas.
Cenário de integração no contexto de gerência de projeto
- ODE e Doc-Project.
ODE(Ontology-based software Development Environment)é um ADS (Ambiente de Desenvolvimento de Software) centrado em processo e fundamentado em ontologias.

OPL- Define vários padrões usados dependendo dos problema endereçados ao domínio.

A ontologia foi desenvolvida através da linguagem de padrões

Foi feito o mapeamento horizontal entre:

o modelo conceitual do ODE - Ontologia- Modelo conceitual do dotProject

E foi feito o mapeamento Vertical de relacionamentos entre a Ontologia e dotProject.

Foi adicionada a ontologia algumas classes e foi transformada em Modelo de Integração.

Foi necessário a simplificação do Modelo de Integração para adequação do dotProject para o ODE.

Cenário de Integração

Banco ODE->mediador(regras de negócio) ->API-> Banco dotProject
Artefato produzido: Cronograma dentro de ODE.

Notas 5ª Aula 01.07.2013

Linguagem de modelagem i* para Engenharia de requisitos

Notas 4ª Aula 24.06.2013

Conceitos de UFO-C e uso de Ontologias de Fundamentação para a avaliar Metamodelos da Linguagem.
Agente, todo aquele que realiza ações, intencional moments, a entidade bears intential moments.
Object, entidades físicas (cadeira) e sociais, entidades normativas que é reconhecido por pelo menos um agente(dinheiro, congresso nacional).
Intencional moments é tudo que se refere a realidade, estados do mundo.
Intencional moments pode ser mental moments ou social moment.
Mental moment está na mente do agente, podem ser crença, desejo e intenção.
A crença se refere a fatos do mundo, exemplo: vai chover, vai haver manifestação.
O desejo é um conteúdo proposional, é a meta do indivíduo.
A intenção está ligada ao objeto e é ligada a uma ação, exemplo: emagracer(intenção), fazer dieta(ação).
Social Moments é inerente ao agente e existencialmente dependente a outra entidade.
Social commitment, compromisso com alguém.
Commitment é um compromisso, exemplo: entregar o artigo para fulano.
Claim é o reinvidicação do compromisso, exemplo: que o artigo seja entregue.
Fullfil commitment, a demanda é concretizada.
Action, especializa o conceito do evento, intenção de realizar a ação, exemplo: fazer dieta para emagrecer.
Complex action é todo o evento.
Participation, pode ser intencional ou não intencional.
Interação é uma ação complexa com mais de duas actions contribuitions.

Ações, planos e ações agendadas:
Compromisso fechado é um compromisso descrito passo a passo.
Compromisso aberto é um compromisso sem restrições de como, quando e onde.
Appointment, compromisso cujo objetivo se refere em um intervalo de tempo, exemplo: dar aula(compromisso), com hora de começar e hora de terminar.
Self appointment é uma intenção em relação a uma disposição, exemplo: pretenção de exercitar todos os dias.
Social appointment é o compromisso com outra pessoa.
Close appointment descrição de um plano, exemplo: rotina em uma empresa.
Scheduled action execução de um close appointment.

Como usar uma ontologia de fundamentação para avaliar linguagens
O ideal é que a Linguagem do Metamodelo seja isomorfica a Ontologia de Referência, ou seja o contexto 100% representado.
Overlap, quando se tem no modelo de referência mais de um significado representando um conceito no metamodelo da linguagem.
Construct Redudancy, quando se tem no metamodelo da linguagem duas representações para um mesmo conceito na ontologia de referência.
Incompletness, quando a linguagem ou ontologia estão com representações sobrando.

Notas 3ª Aula 17.06.2013

Usar a Ontologia de Funadamentação UFO como método de análise. Integração de sistemas, interobabilidade semântica entre os modelos. Alguns dos processos comuns da Engenharia de Software: recursos, processos, riscos, gerência de configuração, qualidade, medida, serviços, entre outros. Foi utilizado UFO para interoperar padrões em processos. Capturando através de ontologias meta ambientes, que geram ambientes para processos de software.

Tipos de Ontologia





UFO-A e UFO-B
UFO-A é uma ontologia de Endurants, são objetos que persistem no tempo que mudam qualitativamente, exemplo: uma pessoa, um carro. Enquanto que UFO-B é uma ontologia de Perdurants, onde os indivíduos são compostas por unidades temporais e, ao contrário de Endurants, ocorrem no tempo, no sentido de que elas se estendem no tempo, acumulando partes temporais, exemplo: aula, guerra.

UFO-A Um entidade pode ser atômica, exemplo: um grupo de homens, ou disjunta, exemplo: pessoa tipo homem ou mulher. Substantials são padrões aplicados a individuos singulares. Exemplo: eu, cadeira. Moment são existencialmente dependentes de outros individuos, inerentes ao indivíduo. Moments podem ser intrisic Moment,denotam propriedades intrínsecas do portador, exemplo: cor da caneta ou Relator, individuos interventores ou mediadores de certa relação entre indivíduos, exemplo: casamento mediado entre João e Maria. Intrinsic Moment pode ser Qualidade, quando a propriedade intrínseca é mensuravel em espaços conceituais, exemplo: o peso de João , ou Modo, que não tem representação em um sistema de medida, exemplo: dor de cabeça de Rafael. Um tipo especial de modo é chamado QUA-Individual, que refere-se a um Moment que representa um conjunto de caracteristicas que um individuo adquiri em um certo contexto, por exemplo: RonaldoQuaJogadordeFutebol tem propriedades diferentes de RonaldoQuaDeputado.

UFO-B A situação habilitada no mundo causa eventos. A disposição dos objetos são as propriedades do indivíduo. Por exemplo: O evento-Dar aula, só ocorrerá se o professor tiver disposição-para Ir dar aula, o que causa outra situação no mundo. Sendo que a manifestação da disposição pode falhar, como: ir dar aula. O tempo que um evento ocorre pode ser linear ou ramificado.

Notas 2ª Aula 10.06.2013

A aula abordou os temas Interoperabilidade Semântica e Desenvolvimento de Ontologias

Sobre Interoperabilidade Semântica, alguns tópicos de destaque foram:
* Refere-se ao compartilhamento de significado (entre aplicações, sistemas, organizações etc.);
* Pode ser viabilizada pela utilização de (a mesma) ontologia de fundamentação;
* Casos práticos de aplicações de ontologias em busca de interoperabilidade:
   - Petrobrás, Globo.com, Ministério do Planejamento
   - Situações em que um mesmo conceito possui diferentes interpretações de acordo com o contexto. Utilização de padrão de Role, para diferenciar os qua indivíduos.

Sobre Desenvolvimento de Ontologias, os principais tópicos foram:
* Distância Semântica, na representação e compreensão de modelos;
* Visão da Engenharia de Ontologia / Engenharia de Ontologias
   - Modelagem Conceitual -> Design -> Implementação

Notas 1ª Aula 03.06.2013

Nesta aula foi debatido o significado de Ontologia e Engenharia de Software. Foram introduzidos conceitos sobre UFO-A,UFO-B,UFO-C e OntoUML. Foram ainda discutidos brevemente os tópicos da disciplina: - uso de ontologias de fundamentação; - ontologias no domínio de EngSw e sua aplicação em ferramentas de desenvolvimento de software; - ontologias sociais. Por fim, alguns alunos expressaram a expectativa de ver a parte prática de experiências de aplicação de ontologias em organizações.