linguagens de modelagem (cont.) (iv) equipe do curso de es para sma {lucena, furtado, choren,...
TRANSCRIPT
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