FOCLASA 2007
 |
 |
| Call for Papers / TXT | Program / TXT |
program / txt
FOCLASA 2007 — Workshop Programme
6th International Workshop on the Foundations of Coordination Languages
and Software Architectures
A satellite workshop of CONCUR 2007
Lisbon, Portugal — Saturday 8 September 2007
Organisers: Carlos Canal (Universidad de Malaga, Spain)
Pascal Poizat (INRIA Rocquencourt / Universite d'Evry, France)
Mirko Viroli (Universita di Bologna, Italy)
========================================================================
09:00 - 09:30 Opening session: presentation of the workshop
09:30 - 10:00 A Service-oriented Model for Embedded Peer-to-Peer Systems
Antonio Brogi, Razvan Popescu
University of Pisa, Italy
Francisco Gutierrez, Pablo Lopez, Ernesto Pimentel
University of Malaga, Spain
10:00 - 10:30 Modelling of Service-Oriented Architectures with UML
Marcos Lopez-Sanz, Cesar J. Acuna, Carlos E. Cuesta,
Esperanza Marcos
Universidad Rey Juan Carlos, Spain
10:30 - 11:00 Coffee break
11:00 - 11:30 Comparing Three Coordination Models: Reo, ARC, and RRD
Shangping Ren
Illinois Institute of Technology, USA
Marjan Sirjani
University of Tehran and IPM, Iran
Carolyn Talcott
SRI International, USA
11:30 - 12:00 Coordination Models Orc and Reo Compared
Jose Proenca, Dave Clarke
CWI, The Netherlands
12:00 - 12:20 Modeling Sequential and Concurrent Programs with Reo
and Constraint Automata [short presentation]
Bahman Pourvatan, Arash Afshar, Nima Ruhy
Amirkabir University of Technology, Iran
12:20 - 14:00 Lunch time
14:00 - 14:30 Connector Rewriting with High-Level Replacement Systems
Christian Koehler, Alexander Lazovik, Farhad Arbab
CWI, The Netherlands
14:30 - 15:00 Executable Models as Composition Elements in the
Construction of Families of Applications
Jorge Villalobos, Mario Sanchez, Daniel Romero
Universidad de los Andes, Colombia
15:00 - 15:30 Component Interfaces based on relative-timed Linda
Ernesto Pimentel
University of Malaga, Spain
Ana M. Roldan
University of Huelva, Spain
15:30 - 16:00 Coffee break
16:00 - 16:30 Prototyping A&A ReSpecT in Maude <<<<<
Matteo Casadei, Andrea Omicini, Mirko Viroli
Universita di Bologna, Italy
16:30 - 17:00 Prototyping Concurrent Systems with Agents and
Artifacts: Framework and Core Calculus
Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
Universita di Bologna, Italy
17:00 - 17:20 Coordinated Mobility in Open Distributed Systems
[short presentation]
Gabriel Ciobanu
"A. I. Cuza" University, Romania
17:20 - 17:50 Closing session: conclusions from the workshop