Inserire una breve descrizione delle modifiche fatte
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
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
