Título: Simulação e verificação de protocolos de interação construídos
usando a plataforma JamSession


Resumo: JamSession foi proposto como uma plataforma para coordenar a
construção de ambientes inteligentes distribuídos, por médio de protocolos
de interação que consideram a mobilidade como noção central. Para isso é
usado um grafo de localizações e um conjunto de entidades ou agentes que
habitam as localizações. A plataforma propõe uma linguagem declarativa
simples para especificar os protocolos, combinando movimentações de agentes
no grafo, predicados e chamadas a outros protocolos. Durante as interações,
vários protocolos podem ser executados concorrentemente; por isso é
importante garantir que as movimentações dos agentes não levem á
comportamentos indesejados. Nesse seminário apresentaremos uma abordagem à
semântica do JamSession baseada em redes de Petri  e discutiremos sua
aplicação na análise, simulação e verificação de interações na
plataforma.