Topics for discussion
The conference will especially welcome novel contributions reflecting recent developments in the area, in particular the development from distributed objects, into distributed components, and more recently distributed services. Areas of interest in that field include, but are not limited, to:
  • Formal models
  • Formal techniques for specification, design or analysis
  • Verification, testing and validation
  • Component-based design
  • Formal aspects of service oriented computing
  • Semantics of programming, coordination or modelling languages
  • Type systems for programming, coordination or modelling languages
  • Behavioural typing
  • Multiple viewpoint modelling and consistency between different models
  • Transformations of models
  • Integration of quality of service requirements into formal models
  • Formal models for security
  • Formal approaches to distributed component frameworks
  • Applications and experience, carefully described