| 08.45-09.00 | Opening |
| | |
| 09.00-10.00 | Invited Talk |
| | Guiding distributed systems synthesis with language-based security policies |
| | Andrew Myers |
|
| | |
| 10.00-10.30 | Coffee break |
|
|
| 10.30-12.00 | Session 1: Platforms (chair: Gianluigi Zavattaro) |
| | Actors with Multi-Headed Message Receive Patterns |
| | Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert |
|
| | Encrypted Shared Data Spaces |
| | Giovanni Russello, Changyu Dong, Naranker Dulay, Michel Chaudron, Maarten Van Steen |
|
| | Implementing Session Centered Calculi |
| | Lorenzo Bettini, Rocco De Nicola, Michele Loreti |
|
| | |
| 12.00-14.00 | Lunch |
|
|
| 14.00-15.30 | Session 2: Language constructs (chair: Rocco De Nicola) (Joint with FMOODS) |
| | Implementing Joins using Extensible Pattern Matching |
| | Philipp Haller, Tom Van Cutsem |
|
| | Advice for Coordination |
| | Chris Hankin, Flemming Nielson, Hanne Riis Nielson, Fan Yang |
|
| | CoBoxes: Unifying Active Objects and Structured Heaps (FMOODS) |
| | Jan Schäfer, Arnd Poetzsch-Heffter |
|
| | |
| 15.30-16.00 | Coffe break |
|
|
| 16.00-17.30 | Session 3: Constraints (chair: John Field) |
| | Timed Soft Concurrent Constraint Programs |
| | Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini |
|
| | Alternating-Time Stream Logic for Multi-Agent Systems |
| | Sascha Klüppelholz, Christel Baier |
|
| | Modeling and Analysis of Reo Connectors Using Alloy |
| | Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi |
|
| | |
| 19.00 | Town Hall Reception |
|
| | |
| 09.00-10.00 | Invited Talk (chair: Kurt Geihs) |
| | New Uses of Simulation in Distributed System Engineering |
| | Alexander L. Wolf |
|
| | |
| 10.00-10.30 | Coffee break |
|
|
| 10.30-12.00 | Session 4: Services (chair: Roberto Bruni) |
| | A formal account of WS-BPEL |
| | Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi |
|
| | A compositional trace semantics for Orc |
| | Dimitrios Vardoulakis, Mitchell Wand |
|
| | Service Combinators for Farming Virtual Machines |
| | Karthikeyan Bhargavan, Andy Gordon, Iman Narasamdya |
|
| | |
| 12.00-14.00 | Lunch |
|
|
| 14.00-15.30 | Session 5: DisCoTec Joint Session on Services (chair: Frank Eliassen) |
| | Sessions and Pipelines for Structured Service Programming (FMOODS) |
| | Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti |
|
| | A coordination model for service-oriented interactions (COORD) |
| | João Abreu, José Luiz Fiadeiro |
|
| | Adaptive and Fault-tolerant Service Composition in Peer-to-Peer Systems (DAIS) |
| | Vivian Prinz, Florian Fuchs, Peter Ruppel, Christoph Gerdes, Alan Southall |
|
| | |
| 15.30-16.00 | Coffe break |
|
|
| 16.00-17.30 | Session 6: Mobility (chair: Carolyn Talcott) |
| | From Flow Logic to Static Type Systems for Coordination Languages |
| | Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, |
| | Christian W. Probst, Rosario Pugliese |
|
| | A Process Calculus for Mobile Ad Hoc Networks |
| | Anu Singh, C. R. Ramakrishnan, Scott A. Smolka |
|
| | An Event-Based Coordination Model for Context-Aware Applications |
| | Angel Núñez, Jacques Noyé |
|
| | |
| 20.00 | Conference Dinner |
|
| | |
| 09.00-10.00 | Invited Talk (chair: Doug Lea) |
| | Fiji: A Platform for Data-Intensive Sensor Network Applications |
| | Matt Welsh |
|
| | |
| 10.00-10.30 | Coffee break |
|
|
| 10.30-12.00 | Session 7: Workflow (chair: Jan Vitek) |
| | CiAN: A Workflow Engine for MANETs |
| | Rohan Sen, Gruia-Catalin Roman, Christopher Gill |
|
| | Formalizing Higher-order Mobile Embedded Business Processes with Binding Bigraphs |
| | Mikkel Bundgaard, Arne Glenstrup, Thomas Hildebrandt, Espen Højsgaard, Henning Niss |
|
| | Formal analysis of BPMN via a translation into COWS |
| | Davide Prandi, Paola Quaglia, Nicola Zannone |
|
| | |
| 12.00-14.00 | Lunch |
|
|
| 14.00-15.30 | Session 8: Sessions (chair: Vasco Vasconcelos) |
| | Multiparty sessions in SOC |
| | Roberto Bruni, Ivan Lanese, Hernan Melgratti, Emilio Tuosto |
|
| | Session Types for Orchestration Charts |
| | Alessandro Fantechi, Elie Najm |
|
| | How to infer finite session types in a calculus of services and sessions |
| | Leonardo Gaetano Mezzina |
