RiSD, PRiM e herança em i* Aluna: Turah Xavier de Almeida Professor: Jaelson Castro.

Apresentação em tema: "RiSD, PRiM e herança em i* Aluna: Turah Xavier de Almeida Professor: Jaelson Castro."— Transcrição da apresentação:

1 RiSD, PRiM e herança em i* Aluna: Turah Xavier de Almeida Professor: Jaelson Castro

2 Roteiro A linguagem i*  Modelo SD  Modelo SR RiSD PRiM RiSD x PRiM Herança em i*

3 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

4 Modelo SD

5 Modelo SR

6 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

7 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

8 RiSD: Exemplo 1ª fase

9 RiSD: Exemplo 2ª fase

10 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

11 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

12 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

13 RiSD x PRiM Critério de Comparação RiSDPRiM Contexto de Desenvolvimento - Especificação de software novo - Reuso de componentes Cobertura do Ciclo de vida - Early requirements - Late requirements - Early Requirements - Late Requirements - Arch. Design Guidelines - Heurística para identificação do elemento i* - Heurística para decidir o tipo do dependum - Guidelines de mapeamento a partir do DIS - Checagem de consistência

14 RiSD x PRiM Critério de Comparação RiSDPRiM Recursos Produzidos - SD completo - SR parcial - Considera caminhos alternativos - SD completo - SR parcial i* - i* básico - Adiciona o construtor support - i* básico - Restringe a decomposição do SR Restrições -- Processo atual como ponto de partida

15 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

16 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)

17 Extension

18 Redefinition

19 Refinement

20 Referências 1. 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 2. Gemma Grau, Carlos Cares, Xavier Franch, Fredy Navarrete: A Comparative Analysis of i*Agent-Oriented Modelling Techniques. SEKE 2006: 657-663Carlos CaresXavier FranchFredy NavarreteSEKE 2006 3. "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. 4. "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:3- 922602-98-3. 2005.