| Vol-892 urn:nbn:de:0074-892-9 Copyright © 2012 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# WOA 2012
Workshop on Objects and Agents

### Proceedings of the 13th Workshop on Objects and Agents

### Milano, Italy, September 17-19, 2012.

Edited by

### Flavio De Paoli *
Giuseppe Vizzari *

* University of Milano-Bicocca, DISCO, Viale Sarca 336/14, 20126, Milano (MI), Italy

## 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

12-Sep-2012: submitted by Giuseppe Vizzari
12-Sep-2012: published on CEUR-WS.org