FOCLASA 2006

A number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogenous 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 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 solutions.

• Theoretical models (coordination, component 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