RiSD, PRiM e herança em i*
Aluna: Turah Xavier de Almeida
Professor: Jaelson Castro
Roteiro
 A linguagem i*
 Modelo SD
 Modelo SR
 RiSD
 PRiM
 RiSD x PRiM
 Herança em i*
A linguagem i*
 Mais difundida entre as linguagens usadas
para modelar sistemas multi-agentes
 Muito usada por metodologias orientadas a
agentes na fase de requisitos
 Faz uso de dois modelos, cada um
correspondendo a um nível de abstração
diferente:
SD (Strategic Dependency): nível intencional
 SR (Strategic Rationale): nível racional

Modelo SD
Modelo SR
A linguagem i*
 A construção dos modelos i* pode ser
difícil devido ao grau de liberdade
fornecido pela linguagem
 Criação
de métodos que fornecem
guidelines para construção dos modelos i*
• Metodologia RiSD
• Metodologia PRiM
RiSD
 Construir modelos i* SD reduzidos para
sistemas de software (Reduced i* SD)
 Conjunto de atividades estruturadas em
duas fases:
 1ª
fase: construção do sistema social, não
inclui o sistema de software.
 2ª fase: inclui o sistema de software
RiSD: Exemplo 1ª fase
RiSD: Exemplo 2ª fase
PRiM
 Desenvolvimento do sistema é um
processo de reengenharia
 Especificação do sistema a ser
construído a partir da observação e
análise do sistema atual, passando pela
construção e avaliação de alternativas
de processo
PRiM
 Metodologia composta por cinco fases:
 1ª fase: Processo atual é analisado e a
informação obtida é armazenada em DIS
(Detailed Interaction Scripts) para fases
futuras.
 2ª fase: construção do modelo i*(SD e SR)
através de um guideline
PRiM
 3ª
fase: geração sistemática de
alternativas de processo através da adição
de novos atores e realocação das
responsabilidades entre eles
 4ª fase: Avaliação das diferentes
alternativas e escolha da solução
 5ª fase: Especificação do novo sistema é
gerada baseada na alternativa escolhida
RiSD x PRiM
Critério de
Comparação
Contexto de
Desenvolvimento
RiSD
- Especificação de
software novo
Cobertura do Ciclo -Early requirements
de vida
-Late requirements
PRiM
- Reuso de
componentes
-Early Requirements
-Late Requirements
-Arch. Design
Guidelines
-Heurística para
-Guidelines de
identificação do
elemento i*
-Heurística para
decidir o tipo do
dependum
mapeamento a partir
do DIS
-Checagem de
consistência
RiSD x PRiM
Critério de
Comparação
Recursos
Produzidos
RiSD
PRiM
-SD completo
-SD completo
-SR parcial
-SR parcial
-Considera caminhos
alternativos
i*
Restrições
-i* básico
-i* básico
-Adiciona o
-Restringe a
construtor support
decomposição do
SR
-
- Processo atual
como ponto de
partida
Herança em i*
 Relação “is-a”
 Em Yu, nível de detalhe insuficiente
 Considerou-se duas alternativas para
herança:
Template: intentional element, links e
dependências no SR do super ator devem ser
satisfeitas em todos os SRs dos sub atores
 Prototype: intentional element, link ou outcoming
dependency do SR do super ator pode ser
modificada em um SR de algum sub ator em
particular

Herança em i*
 Definiu-se 3 operações (não arbitrárias) de
especialização diferentes para a abordagem
Prototype:
Extension: adição de um intentional element e
suas relações com outros elementos
 Redefinition: redefine um intentional element e
suas relações (não muda o tipo do IE)
 Refinement: adição de uma cláusula invariante
(satisfação do novo intentional element implica na
satisfação do intentional element refinado)

Extension
Redefinition
Refinement
Referências
1.
2.
3.
4.
Clotet R., Franch X., López L., Marco J., Seyff N., Grünbacher P., The
Meaning of Inheritance in i*, 17th International Workshop on Agent-oriented
Information Systems (AOIS-2007), Trondheim, Norway
Gemma Grau, Carlos Cares, Xavier Franch, Fredy Navarrete: A Comparative
Analysis of i*Agent-Oriented Modelling Techniques. SEKE 2006: 657-663
"RiSD: A Methodology for Building i* Strategic Dependency Models"
Grau, Gemma; Franch, Xavier; Mayol, Enric; Ayala, Claudia; Cares, Carlos;
Haya, Mariela; Navarrete, Freddy; Botella, Pere; Quer, Carme
Seventeenth International Conference on Software Engineering and
Knowledge Engineering. SEKE'05. Howard International House, Taipei,
Taiwan. July, 2005.
"A Goal-Based Round-Trip Method for System Development"
Grau, Gemma; Franch, Xavier; Maiden, Neil
Proceedings of the 11th International Workshop on Requirements
Engineering: Foundations for Software Quality (REFSQ'05). Erik Kamsties,
Vincenzo Gervasi, Pete Sawyer, Essener Informatik Beiträge. ISBN:3922602-98-3. 2005.
Download

RiSD, PRiM e herança em i