Accepted Papers

  • Fangzhe Chang, Pavithra Prabhakar and Ramesh Viswanathan. Behavior Based Service Composition
  • Elie Fares, Jean-Paul Bodeveix and Mamoun Filali-Amine. Design of a BPEL Verification Tool
  • Loic Helouet, Albert Benveniste and Benoit Masson. Compatibility of Data-Centric Web Services
  • Roberto Bruni, Andrea Corradini, Gianluigi Ferrari, Tito Flagella, Roberto Guanciale and Giorgio Spagnolo. Applying Process Analysis to the Italian eGovernment Enterprise Architecture
  • Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni and Anirban Bhattacharyya. Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations - A Process Algebra Perspective
  • Etienne Lozes and Jules Villard. Reliable Contracts for Unreliable Half-Duplex Communications
  • Juan Pedro Silva Gallino, Miguel De Miguel, Javier Fernandez Briones and Alejandro Alonso. Domain-Specific Multi-Modeling of Security Concerns in Service-Oriented Architectures
  • Jose Antonio Mateo, Valentin Valero and Gregorio Diaz. An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework
  • Hugo A. López and Jorge A. Pérez. Integrating Time and Exceptional Behavior in Multiparty Structured Interactions