WOA 2012
Workshop on Objects and Agents

Table of Contents

Session 1: APPLICATIONS

• Semantic-based Smart Homes: a Multi-Agent Approach
  Giuseppe Loseto, Floriano Scioscia, Michele Ruta, Eugenio Di Sciascio
• Agent Modeling of a Pervasive Application to Enable Deregulated Energy Markets
  Nicola Capodieci, Giacomo Cabri, Giuliano Andrea Pagani, Marco Aiello
• HORUS: an Agent System for Home Automation
  Attilio Giordana, Dino Mendola, Davide Monfrecola, Andrea Moio

Session 2: PEDESTRIAN SIMULATION

• Experimental and Real World Applications of Agent-Based Pedestrian Group Modeling
  Giuseppe Vizzari, Lorenza Manenti, Kazumichi Ohtsuka, Kenichiro Shimura
• Towards Modeling Activity Scheduling in an Agent-based Model for Pedestrian Dynamics Simulation
  Lorenza Manenti, Sara Manzoni, Giuseppe Vizzari, Jan Dijkstra

Session 3: AGENT PROGRAMMING

• Programming Distributed Multi-Agent Systems in simpAL
  Andrea Santi, Alessandro Ricci
• An Actor-Based Software Framework for Developing and Simulating Complex Systems
  Agostino Poggi

Session 4: WEB APPLICATIONS

• The Indiana MAS Project: Goals and Preliminary Results
  Angela Locoro, Viviana Mascardi, Daniela Briola, Maurizio Martelli, Massimo Ancona, Vincenzo Deufemia, Luca Paolino, Genny Tortora, Giuseppe Polese, Rita Francese
• Software Agents for Distributed Social Networking
  Enrico Franchi, Michele Tomaiuolo

Session 5: FOUNDATIONAL AND FORMAL ASPECTS

• Some Thoughts about Commitment Protocols
  Matteo Baldoni, Cristina Baroglio
• A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
  Matteo Casadei, Mirko Viroli

Session 6: PERVASIVE COMPUTING

• Behavior Predictability Despite Non-Determinism in the SAPERE Ecosystem Preliminary Ideas
  Gabriella Castelli, Marco Mamei, Alberto Rosi, Franco Zambonelli
• Towards a Comprehensive Approach to Spontaneous self-composition in Pervasive Ecosystems
  Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez Marquez