Coordination Models, Languages and Applications Special Track of the 28th ACM Symposium on Applied Computing

Coimbra, Portugal, 18/03/2013 – 22/03/2013. Evento di SAC 2013.

Description

Building on the success of the fourteenth previous editions (1998-2012), a special track on coordination models, languages and applications will be held at SAC 2013. Over the last decade, we have witnessed the emergence of models, formalisms and mechanisms to describe concurrent and distributed computations and systems based on the concept of coordination. The purpose of a coordination model is to enable the integration of a number of possibly heterogeneous components (processes, objects, agents, services) in such a way that the resulting ensemble can execute as a whole, forming a distributed software system with desired characteristics and functionalities. This is done in terms of coordination abstractions, languages, algorithms, mechanisms, and middleware specifically focused on the management of component interaction.

The coordination paradigm crosscuts a number of contemporary software engineering approaches and fields, which we aim to cross-fertilize and bring contribution to, including in particular: multi-agent systems, self-adaptative and self-organising systems, service-oriented architectures, component-based systems, and all related middleware platforms.

Topics of Interest

  • Novel models, languages, programming and implementation techniques
  • Applications
  • Internet, Web, and pervasive computing coordinated systems
  • Coordination of multi-agent systems, including mobile agents, intelligent agents, and agent-based simulations
  • Languages for service description and composition
  • Models, frameworks and tools for Group Decision Making
  • All aspects related to Cooperative Information Systems (e.g. workflow management, CSCW)
  • Software architectures and software engineering techniques
  • Configuration and Architecture Description Languages
  • Middleware platforms
  • Self-organising and nature-inspired coordination approaches
  • Coordination technologies, systems and infrastructures
  • Relationship with other computational models such as object oriented, declarative (functional, logic, constraint) programming or their extensions with coordination capabilities
  • Formal aspects (semantics, reasoning, verification)
  • Coordination models and specification in Service-Oriented Architectures, Web Service technologies (orchestration, choreography, etc), and Pervasive Computing

Articoli e volumi  

Stefano Mariani, Andrea Omicini Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages 28th ACM Symposium on Applied Computing (SAC 2013), 18-22 March 2013
Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks Proceedings of the 28th ACM Symposium On Applied Computing (SAC 2013), March 2013
Stefano Mariani, Andrea Omicini Tuple-based Coordination of Stochastic Systems with Uniform Primitives: Formal Semantics & Expressive Power 28th ACM Symposium on Applied Computing (SAC 2013), September 2012
Ronaldo Menezes, Andrea Omicini, Mirko Viroli Dynamic Composition of Coordination Abstractions in LogOp 28th ACM Symposium on Applied Computing (SAC 2013), September 2012

Presentazioni  

Tags:
    

Evento

Coordination Models, Languages and Applications

Special Track of the 28th ACM Symposium on Applied Computing

— acronimo

CM @ SAC 2013

— tipo

special track  

— serie

CM @ SAC (2013)

— dove

Coimbra, Portugal

— quando

18/03/2013–22/03/2013

Date

— invio articolo

28/09/2012

— notifica

10/11/2012

— camera-ready

30/11/2012

URL

home page
invio contributi

APICe

— program chair

Mirko Viroli

— membro PC

Alessandro Ricci, Andrea Omicini

— docente/oratore

Mirko Viroli, Stefano Mariani

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY