Speakers, Discussion Panel & Workshops
This talk presents a short journey through Runtime Verification as it has been faced in the "RML project" (https://rmlatdibris.github.io/) at the University of Genova in the last eight years. The journey started in 2012 with
"Multiparty Global Session Types" [1], implemented by monitors integrated in a well known agent infrastructure for Belief-Desire-Intentions agents [2], Jason [3]. The work evolved over time leading to "Trace Expressions"
[4] which were also used to monitor multiagent systems implemented in Jade [5]. Recently "RML" [6], a rewriting-based and system agnostic Domain Specific Language for Runtime Verification which decouples monitoring from
instrumentation, has been designed, implemented, and used in a wide range of domains, from robotic systems to IoT, from resource management to object-oriented interfaces. The more we work on Runtime Verification, the more
exciting applications we devise for it: the talk will mainly look at the future, whilst taking inspiration from the past.
[1] Ancona D., Drossopoulou S., Mascardi V. (2013) Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. DALT 2012. LNCS 7784. Springer
[2] Rao A.S., and Georgeff M.P. (1995). BDI agents: from theory to practice. In ICMAS (Vol. 95, pp. 312-319).
[3] Bordini R.H., Hübner J.F., Wooldridge M. (2007) Programming multi-agent systems in AgentSpeak using Jason, John Wiley & Sons
[4] Ancona D., Ferrando A., Mascardi V. (2016) Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification. In Theory and Practice of Formal Methods. LNCS 9660. Springer
[5] Bellifemine F.L., Caire G., Greenwood D. (2007) Developing multi-agent systems with JADE, John Wiley & Sons
[6] Franceschini L. (2019) RML: runtime monitoring language: a system-agnostic DSL for runtime verification. In Programming '19, ACM
Descrição provisória!
Os mercados globais estão impondo fortes mudanças na forma como as empresas industriais conduzemos seus negócios, enfrentando fortes pressões relacionadas com a personalização de produtos em sistemas de produção altamente flexíveis. A iniciativa Indústria 4.0 promove a digitalização das indústrias tradicionais, de forma a atingir fábricas inteligentes caracterizadas por adaptabilidade, eficiência, funcionalidade, confiabilidade, segurança e usabilidade. Os sistemas ciber-físicos constituem a base tecnológica para enfrentar este desafio, proporcionando benefícios significativos em vários domínios de aplicação, tais como redes elétricas inteligentes, edifícios inteligentes, sistemas de transporte inteligentes, sistemas de saúde inteligentes e, particularmente, nos sistemas de produção inteligentes. Esta apresentação discute a utilização de sistemas multi-agentes na implementação de sistemas ciber-físicos industriais inteligentes, dinâmicos e auto-organizados. Neste contexto, serão descritos alguns projetos industriais / de pesquisa bem-sucedidos, enfatizando os resultados alcançados, a inovação no uso de soluções baseadas em agentes, além de apontar as tendências e desafios atuais.
Esta palestra introduz as noções de "capabilidades organizacionais" e "estruturação de sociedades de agentes com base em capabilidades organizacionais". Uma analogia entre sistemas operacionais e plataformas para sociedades de agentes fornece as características básicas das capabilidades organizacionais, através da redução dos mecanismos de proteção de recursos com base em capabilidades a mecanismos de empoderamento de atores sociais. O modo como mecanismos de capabilidades organizacionais podem suportar a estruturação de sociedades de agentes é esquematizado. Diversas características das capabilidades organizacionais são analisadas. O impacto das capabilidades organizacionais sobre a estrutura das unidades organizacionais das sociedades de agentes é indicado. Perspectivas de trabalho futuro sobre estruturação de sociedades de agentes com base em capabilidades organizacionais são mencionadas.
GAMA (GIS Agent-based Modeling Architecture) é uma plataforma de desenvolvimento, modelagem e simulação constituída de ferramentas que auxiliam na concepção de modelos complexos através da integração entre programação baseada em agentes, gerenciamento de dados geográficos, ferramentas de visualização flexíveis, representação em vários níveis. A ideia da oficina é apresentar a ferramenta e desenvolver um pequeno exemplo de simulação multiagente com dados georreferenciados.
Link para o currículo Lattes - Prof. Diana F. Adamatti.
Essa oficina pretende apresentar como implementar um agente usando o framework JaCaMo; como integrar agentes JaCaMo com a ferramenta de simulação urbana SUMO; e ainda como integrar aplicações baseadas em agentes com plataformas de hardware. Como cenário de aplicação será utilizado um Estacionamente Inteligente.
Link para o currículo Lattes - Lucas Castro.
In this discussion panel professors Anarosa Brandão (USP), Jaime Sichman (USP) and Jomi Hübner (UFSC) will be discussing leading paths of agents and multi-agent research in Brazil, bringing also some of the recent developments in the area in foreign countries.