Linguagens de Modelagem (cont.) (IV) Equipe do Curso de ES para SMA {lucena, furtado, choren,...

Linguagens de Modelagem (cont.)

(IV)

Equipe do Curso de ES para SMA

{lucena, furtado, choren, viviane}@inf.puc-rio.br

Graph Transformation e UML

Software Engineering Lab (LES) – PUC-Rio

Graph Transformation e UML

• Diagrama estendidos– Diagrama de case de uso -> Diagrama UER– Diagrama de classe

• Propõe o uso de transformações aplicadas a gráficos para descrever o sistema antes e depois da execução de um caso de uso

• Fase de requisitos• Fase de análise (foca na troca de mensagens)• Fase de design (foca na execução do agente)

Software Engineering Lab (LES) – PUC-Rio

Mensagem x Operação

• Mensagem:– Agentes enviam e recebem mensagens

• Operação:– Agentes executam operações– Não são chamadas por outros agentes/objetos– São invocadas pelo próprio agente para atingir um

objetivo

• As mensagens recebidas, são analisadas e o agente executa ou não uma operação de acordo com a mensagem

Software Engineering Lab (LES) – PUC-Rio

Fase de Requisitos (foco: caso de uso)

• Diagrama de caso de uso

• Diagrama de classe– Agentes entidades ativas– Agentes possuem atributos e responsabilidades

• Diagrama de transformação– Transformações como conseqüência da ocorrência de um

caso de uso

• Diagrama de seqüência– Usado para complementar a descrição de casos de uso

Software Engineering Lab (LES) – PUC-Rio

Diagrama UER

• Diagrama de caso de uso para modelar agentes e objetivosobjetivos

agente

Software Engineering Lab (LES) – PUC-Rio

Diagrama de classe

agente

Software Engineering Lab (LES) – PUC-Rio

Diagrama de transformação

caso de usosai de uma contapara a outra

Software Engineering Lab (LES) – PUC-Rio

Diagrama de seqüência

mensagens com atos da fala

Software Engineering Lab (LES) – PUC-Rio

Fase de análise (foco: mensagens)

• Modelo estrutural– Diagrama de classes– Especificam as mensagem dos agentes

• Modelo funcional– Diagrama de transformação– Transformações decorrentes da aplicação de mensagens– Regras de transformação podem estar incompletas

• Modelo dinâmico– Diagrama de seqüência– Descreve a comunicação associada a um protocolo– Reforça a semântica em relação ao diagrama da fase de

requisitos

Software Engineering Lab (LES) – PUC-Rio

Diagrama de classe

mensagens

Software Engineering Lab (LES) – PUC-Rio

Diagrama de seqüência

Software Engineering Lab (LES) – PUC-Rio

Fase de design (foco: operações)

• Modelo estrutural– Diagrama de classes– Adiciona operações autônomas

• Modelo funcional– Diagrama de transformação– Descreve a conseqüência da aplicação de uma

operação

• Modelo dinâmico– Diagrama de estado– Especifica a ordem de operações

Software Engineering Lab (LES) – PUC-Rio

Diagrama de classe

operações

Software Engineering Lab (LES) – PUC-Rio

Diagrama de transformação

operação

Software Engineering Lab (LES) – PUC-Rio

Diagrama de estado

nome da operação

Fipa Modeling

Software Engineering Lab (LES) – PUC-Rio

Fipa Modeling

Agent Classifier

AgentClass

Agent RoleClass

Agent

AgentifiedGroup

Non-AgentifiedGroup

Group

0..*0..*0..*1..*

0..*0..*

Classifier(from Kernel)

classifiedinstanceclassifier

/groupmember

permittedroles

InstanceSpecification(from Kernel)

Structured Classifier(from Composite

Structures)

supportingbasic class

1..*

1..*grouproles

assignedgroup/group