From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 7D025BBCA for ; Sat, 10 May 2008 15:26:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhQBAAo/JUjAEL8Ilmdsb2JhbACSCQEBAQEJBQgYmEE X-IronPort-AV: E=Sophos;i="4.27,464,1204498800"; d="scan'208";a="12068830" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 May 2008 15:26:29 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m4ADQTNx017627 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 10 May 2008 15:26:29 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhQBAAo/JUjAEL8Ilmdsb2JhbACSCQEBAQEJBQgYmEE X-IronPort-AV: E=Sophos;i="4.27,464,1204498800"; d="scan'208";a="12068829" Received: from hera.cwi.nl ([192.16.191.8]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 May 2008 15:26:28 +0200 Received: from kwast.sen.cwi.nl (kwast.sen.cwi.nl [192.16.201.189]) by hera.cwi.nl with ESMTP id m4ADQ4xr006396 for ; Sat, 10 May 2008 15:26:04 +0200 (MEST) Received: from kwast.sen.cwi.nl (localhost [127.0.0.1]) by kwast.sen.cwi.nl (Postfix) with ESMTP id 2964810062; Sat, 10 May 2008 15:26:03 +0200 (CEST) Message-ID: <4825A26B.9060302@cwi.nl> Date: Sat, 10 May 2008 15:26:03 +0200 From: Sun Meng User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.13) Gecko/20080417 Fedora/1.1.9-2.fc8 SeaMonkey/1.1.9 MIME-Version: 1.0 To: coalgebras@iti.cs.tu-bs.de, pvs@csl.sri.com, isabelle-users@cl.cam.ac.uk, reliable_computing@interval.louisiana.edu, components@artist-embedded.org, agents@cs.umbc.edu, behavior@cs.ucsd.edu, comlab@comlab.ox.ac.uk, formal-methods@cs.uidaho.edu, concurrency@cwi.nl, grin@di.unipi.it, categories@mta.ca, moca-announce@list.it.uu.se, eacsl@dimi.uniud.it, fmics@inrialpes.fr, ipa@win.tue.nl, petrinet@informatik.uni-hamburg.de, logic-announce@uclink4.berkeley.edu, logic-list@Helsinki.FI, nvti-list@cwi.nl, prog-lang@diku.dk, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, acl2@cs.utexas.edu, agents@cs.umbc.edu, asci@twi.tudelft.nl, caml-list@inria.fr, coq-club@pauillac.inria.fr, formal-methods@cs.uidaho.edu, jml@cs.iastate.edu, lfcs-interest@dcs.ed.ac.uk, nwpt-info@sool.ioc.ee, puml-list@cs.york.ac.uk, stochver@cs.bham.ac.uk, theorem-provers@ai.mit.edu, forum@prg.ox.ac.uk, csl@dbai.tuwien.ac.at, ccp@sics.se, appsem@tcs.informatik.uni-muenchen.de, procos@jiscmail.ac.uk, seworld@cs.colorado.edu, haskell@haskell.org, se-group@cs.umn.edu, umsec-events@cs.umn.edu, seminar@iist.unu.edu Subject: call for papers - QAC'08 References: <457948DC.5040409@cwi.nl> In-Reply-To: <457948DC.5040409@cwi.nl> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Miltered: at discorde with ID 4825A285.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; co-located:01 encapsulated:01 users':01 algebra:01 trade-offs:01 multi-agent:01 model:01 universita':01 kwiatkowska:01 universiteit:01 uppsala:01 entcs:01 entcs:01 20,:98 end-to-end:98 We apologize if you receive multiple copies Call for papers ************************************************************************************ International Workshop on Quality Aspects of Coordination (QAC 2008) http://www.cwi.nl/qac08 August 31, 2008, Istanbul, Turkey Co-located with ICTAC 2008 ************************************************************************************ ------------------------------------------------------------------------------------ Important dates: Abstract submission deadline: June 20, 2008. Submission deadline: June 27, 2008. Acceptance notification: July 21, 2008. Camera ready version due: July 31, 2008. Workshop: August 31, 2008. ------------------------------------------------------------------------------------ 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: * Theoretical models (probabilistic, timed, stochastic, quantitative) of QoS aspects * Compositional QoS models * Specification and modeling formalisms and methodologies (process algebra, petri nets, automata, Markov Chains, quantitative UML, etc.) * Quantitative models for connectors, coordination, components and services composition, architectures with QoS * Modeling and analysis of trade-offs along different QoS dimensions * Relation between QoS in adjacent architectural layers * QoS issues in web services, multi-agent systems and component-based systems * Performance metrics of systems (response time, reliability, availability, safety, security, survivability, efficiency, etc.) * QoS-sensitive monitoring and adaptation mechanisms * Dynamic reconfiguration * Quantitative model checking * Testing quantitative models * Numerical evaluation, simulation and verification of non-functional properties * Schedulability analysis * Relation between Resource Management and QoS * Experience with QoS in coordination (case studies and tools) Program Committee (tentative) * Bernhard Aichernig, TU Graz, Austria * Farhad Arbab, CWI and Leiden University, The Netherlands (Chair) * Christel Baier, University of Dresden, Germany * Luis Barbosa, Universidade do Minho, Portugal * Tom Chothia, CWI, The Netherlands * Rocco De Nicola, Universita' di Firenze, Italy * Dang Van Hung, Institute of Information Technology, Vietnam * Marta Kwiatkowska, Oxford University, UK * Zhiming Liu, UNU-IIST, Macao * Antonia Lopes, University of Lisbon, Portugal * Rob Van der Mei, CWI and Vrije Universiteit Amsterdam, The Netherlands * Sun Meng, CWI, The Netherlands (Chair) * Ugo Montanari, University of Pisa, Italy * Jun Pang, Université du Luxembourg, Luxembourg * Emilio Tuosto, University of Leicester, UK * Wang Yi, Uppsala University, Sweden Submission and Proceedings A submitted paper must contain original contributions, clearly written in English. Papers should not exceed 15 pages in ENTCS format. The workshop proceedings is planning to 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. If there are enough high quality submissions, publication of selected best papers in a special issue of a leading international journal is also under consideration. 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. Submissions should be done using the EasyChair service from the website.