4th International Workshop “Foundations of Coordination Languages and Software Architecture”
San Francisco, CA, USA, 27/08/2005
A number of hot research topics are currently sharing the common problem of combining concurrent, distributed, mobile and heterogenous components, trying to harness the intrinsic complexity of the resulting systems. These include coordination, peer-to-peer systems, grid computing, web-services, multi-agent systems, and component-based systems. Coordination languages and software architectures are recognised as fundamental approaches to tackle these issues, improving software productivity, enhancing maintainability, advocating modularity, promoting reusability, and leading to systems 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, to share and identify common problems, and to devise general solutions in the contexts of coordination languages and software architectures.
temi di interesse
- 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
evento ospitante
CONCUR'05
funge da
evento origine per pubblicazione
evento contenitore per presentazione
evento della serie
Designing a BPEL Orchestration Engine based on ReSpecT Tuple Centres (articolo in atti, 2006) — Michele Cabano, Enrico Denti, Alessandro Ricci, Mirko Viroli
A Framework for Engineering Interactions in Java-based Component Systems (FOCLASA 2005 @ CONCUR'05, 27/08/2005) — Enrico Oliva (Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli)