FOCLASA 2007

   page       attach   
6th International Workshop “Foundations of Coordination Languages and Software Architecture”
Lisbon, Portugal, 08/09/2007

A number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogeneous services and components, while harnessing the intrinsic complexity of the resulting systems.
These include Web Services, multi-agent systems, peer-to-peer systems, grid computing, and component-based systems. Fundamental approaches to tackle these issues rely on foundational works in the context of coordination languages and software architectures, which are generally claimed to improve software productivity, enhance maintainability, advocate modularity, promote reusability, and lead to systems which are more tractable and more amenable to verification and global analysis. The goal of this workshop is to put together researchers and practitioners of the aforementioned fields, and to share and identify general and specific problems and solutionsThe FOCLASA workshop was organized on August 30th 2004 as a satellite event of Concur'04 with the aim of bringing together researchers working on the foundations of component-based computing, coordination, and software architectures.

temi di interesse
  • Theoretical models (coordination, component and service composition, concurrency, semantics, expressiveness)
  • Specification, refinement, and analysis of software systems (architectures, patterns and styles, verification of functional and non-functional properties)
  • Languages for interaction, coordination, architectures, and interface definition (implementation, interoperability, heterogeneity)
  • Dynamic software architectures (mobile agents, self-organizing/adaptive/reconfigurable systems)
  • Tools and environments for the development of applications.
  • Practice, experience and methodologies from the following areas are solicited as well:
    • Web Services
    • Multi-agent systems
    • Peer-to-peer systems
    • Grid computing
    • Component- based systems
evento ospitante
world CONCUR'07
funge da
evento origine per pubblicazione
page_white_acrobatPrototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus (articolo in atti, 2008) — Alessandro Ricci, Mirko Viroli, Maurizio Cimadamore
page_white_acrobatPrototyping A&A ReSpecT in Maude (articolo in atti, 2008) — Matteo Casadei, Andrea Omicini, Mirko Viroli
page_white_acrobatPrototyping A&A ReSpecT in Maude (articolo in atti, 2007) — Matteo Casadei, Andrea Omicini, Mirko Viroli
evento contenitore per presentazione
page_white_powerpointPrototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07, 08/09/2007) — Andrea Omicini (Matteo Casadei, Andrea Omicini, Mirko Viroli)
evento della serie