Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
QAC'07 deadline extended
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-02-19 (15:24)
From: Sun Meng <M.Sun@c...>
Subject: QAC'07 deadline extended
             Quality Aspects of Coordination (QAC'07)
   Satellite Workshop of TASE 2007, June 4-5, 2007, Shanghai, China

Overview and Topics of Interest:

Modeling, analysis, and ensuring end-to-end Quality of Service (QoS)
represent key concerns in large-scale distributed applications.
Deregulation and increased competition in the telecommunications
industry mean that, increasingly, providers use components and services
offered by multiple vendors to compose such applications.  This
highlights the conspicuous absence of compositional models of QoS that
reflect their underlying architecture of component/service composition.

Connectors have emerged as a powerful concept for composition and
coordination of concurrent activities encapsulated as components and
services. Compositional coordination models and languages serve as a
means to formally specify and implement component and service
connectors. They support large-scale distributed applications by
allowing construction of complex component connectors out of simpler
ones. A promising approach to support compositional models of QoS
involves augmenting connector models to reflect and account for the QoS
properties of composed systems. This presents an emerging area of
research with potential high impact. Dynamic changes in a distributed
environment may lead to scarcity of resources (e.g., bandwidth, CPU
cycles, and memory), and cause perceptible degradation of QoS of a
running application. Offering performance guarantees to satisfy users'
end-to-end QoS requirements raises additional challenges for component
connectors. It involves monitoring fluctuations that can trigger such
degradations, and escalating them to the proper architectural levels
where actors can take counter-measures such as substitution of alternate
components and services from other vendors.

The aim of this workshop is to provide a forum for international experts
to discuss issues related to coordination and compositional models of
connectors with QoS guarantees in large-scale distributed systems.
Topics of interest include, but are not limited to:

* Compositional QoS models
* Compositional models for connectors and coordination with QoS
* Quantitative models for components and connectors
* Relation between QoS in adjacent architectural layers
* Modeling and analysis of trade-offs along different QoS dimensions
* QoS issues in coordination of web services
* Performance of middleware-based architectures
* QoS-sensitive monitoring and adaptation mechanisms
* Dynamic reconfiguration of systems and connectors
* Quantitative model checking
* Testing quantitative models
* Experience with QoS in coordination (case studies)

Submission and Proceedings

Submissions to the workshop will be evaluated on the basis of
originality, relevance, technical soundness and presentation
quality. Papers should be written in English and not exceed 15
pages in ENTCS format. The workshop proceedings will be published
in Electronic Notes in Theoretical Computer Science, Elsevier,
as post-proceedings; in addition, informal workshop proceedings
will be handed out to participants during the workshop.

Papers must be submitted in electronic form by email to
Submissions must not have been published or be concurrently
considered for publication elsewhere. All submissions will be
reviewed by at least three members of the program committee.
The final version of the papers must be prepared in LaTeX,
adhering to the ENTCS format instructions (see

Note that within one or two days after submitting your paper, you
will get a message from the program committee chair, confirming
that your paper was received complete and printed fine. Should you
need help with your submission, or should you have any questions,
please contact Sun Meng at

Important Dates:

* Paper submission deadline: March 23, 2007.
* Acceptance notification:  April 16, 2007.
* Camera ready version due: May 4, 2007.
* Workshop: June 4-5, 2007.


The workshop is organised by CWI, Centrum voor Wiskunde en Informatica,
Amsterdam, Netherlands.

Organising Committee:

* Farhad Arbab, CWI, The Netherlands
* David Clarke, CWI, The Netherlands
* Sun Meng, CWI, The Netherlands (Chair)
* Jan Rutten, CWI, The Netherlands
* Naixiao Zhang, PKU and ECNU, China

Program Committee:

* Bernhard Aichernig, TU Graz, Austria
* Farhad Arbab, CWI, The Netherlands (Co-Chair)
* Christel Baier, University of Bonn, Germany
* Luis S. Barbosa, University of Minho, Portugal
* Marcello Bonsangue, LIACS-Leiden University, The Netherlands
* Frank de Boer, CWI, The Netherlands
* Manfred Broy, TU Munich, Germany
* Tom Chothia, CWI, The Netherlands
* Rocco De Nicola, Universita' di Firenze, Italy
* Pu Geguang, ECNU, China
* Mei Hong, Peking University, China
* Dang Van Hung, UNU-IIST, Macao
* Marta Kwiatkowska, University of Birmingham, UK
* Zhiming Liu, UNU-IIST, Macao
* Antonia Lopes, University of Lisbon, Portugal
* Rob Van der Mei, CWI, The Netherlands
* Sun Meng, CWI, The Netherlands (Co-Chair)
* Ugo Montanari, University of Pisa, Italy
* Jun Pang, University of Oldenburg, Germany
* Jan Rutten, CWI, The Netherlands
* Bernhard Schaetz, TU of Munich, Germany
* Marjan Sirjani, Tehran University and IPM, Iran
* Carolyn Talcott, SRI International, USA
* Emilio Tuosto, University of Leicester, UK
* Wang Yi, Uppsala University, Sweden

Invited Speakers:

* He Jifeng, ECNU, China
* Kishor S. Trivedi, Duke University, USA